Showing 1 - 20
of 1,055
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Author: SpringerLink (Online service)
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
288
Computer science
151
Computer networks
131
Artificial intelligence
113
Computer software Development
102
Formal methods (Computer science)
more ...
100
Computer software
77
Computer logic
73
Computer software Verification
66
Programming languages (Electronic computers)
49
Computer programming
45
Computer security
42
Management information systems
38
Logic, Symbolic and mathematical
37
Computer software Testing
33
Human-computer interaction
32
Computer software Quality control
29
Computers
27
Computer science Mathematics
27
Computer simulation
26
User interfaces (Computer systems)
25
Computer organization
24
Computer software Reliability
24
Software architecture
23
Database management
23
Logic design
22
Computers, Special purpose
21
Algorithms
21
Electronic data processing
20
Intelligent agents (Computer software)
see all ...
less ...
Author
SpringerLink (Online service)
69
ICCSA (Conference)
46
Rocha, Ana Maria A. C.
34
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,
18
Taniar, David
17
International Workshop on Formal Methods for Industrial Critical Systems
17
Maciaszek, Leszek,
17
Misra, Sanjay
16
Blečić, Ivan
16
EuroSPI (Conference)
16
International Conference on Formal Engineering Methods
16
Tarantino, Eufemia
15
ICSOFT (Conference)
14
ENASE (Conference)
13
FASE (Conference)
13
Margaria-Steffen, Tiziana, 1964-
13
Stankova, Elena,
12
O'Connor, Rory V.,
12
SSBSE (Symposium)
12
Sinderen, Marten J. van, 1958-
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication