Showing 1 - 20
of 1,355
for search: '',
query time: 0.13s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Institution: Colorado Mesa University
Language: English
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
334
Computer science
205
Computer networks
181
Artificial intelligence
123
Computer software Development
102
Formal methods (Computer science)
more ...
101
Computer software
77
Computer logic
76
Programming languages (Electronic computers)
73
Computer software Verification
68
Management information systems
65
Computer programming
56
Computer security
42
Human-computer interaction
38
Logic, Symbolic and mathematical
37
Computer software Testing
37
Information technology
36
Computers
34
User interfaces (Computer systems)
32
Computer software Quality control
30
Computer science Mathematics
30
Computer simulation
30
Database management
28
Electronic data processing
28
Software architecture
27
Business Data processing
27
Computer organization
26
Computers, Special purpose
25
Logic design
25
Web services
see all ...
less ...
Author
SpringerLink (Online service)
69
ICCSA (Conference)
46
Rocha, Ana Maria A. C.
35
ETAPS (Conference)
33
Gervasi, Osvaldo,
32
Apduhan, Bernady O.,
more ...
30
Gervasi, Osvaldo
30
Murgante, Beniamino
29
Murgante, Beniamino,
28
Garau, Chiara
25
Torre, Carmelo Maria
23
Misra, Sanjay,
22
International Conference on Software Engineering and Formal Methods
20
Taniar, David,
19
Silhavy, Radek,
18
ICWE (Conference)
18
Taniar, David
17
International Workshop on Formal Methods for Industrial Critical Systems
17
Maciaszek, Leszek,
17
Misra, Sanjay
16
Blečić, Ivan
16
Computer Science On-line Conference
16
EuroSPI (Conference)
16
International Conference on Formal Engineering Methods
16
Lee, R. Y.
16
Tarantino, Eufemia
15
Computer Science On-line Conference Online)
15
ICSOFT (Conference)
14
ENASE (Conference)
14
Margaria-Steffen, Tiziana, 1964-
see all ...
less ...
Language
Genre
Literary Form
Era
Region
Call Number
Year of Publication