Showing 1 - 20
of 1,183
for search: '',
query time: 0.09s
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)
Call Number: Q - Science
Institution: Colorado Mesa University
Language: English
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
303
Computer science
162
Computer networks
160
Artificial intelligence
123
Computer software Development
102
Formal methods (Computer science)
more ...
100
Computer software
77
Computer logic
75
Programming languages (Electronic computers)
73
Computer software Verification
62
Computer programming
46
Computer security
45
Management information systems
39
Human-computer interaction
38
Logic, Symbolic and mathematical
37
Computer software Testing
32
Computer software Quality control
30
Computer science Mathematics
29
Computers
28
User interfaces (Computer systems)
27
Computer simulation
26
Database management
26
Software architecture
25
Computer organization
25
Electronic data processing
24
Computer software Reliability
23
Logic design
22
Algorithms
22
Computers, Special purpose
22
User-centered system design
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,
21
International Conference on Software Engineering and Formal Methods
20
Taniar, David,
19
Silhavy, Radek,
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)
13
FASE (Conference)
13
Margaria-Steffen, Tiziana, 1964-
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication