Showing 1 - 20
of 1,210
for search: '',
query time: 0.11s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Software engineering
316
Computer science
190
Computer networks
151
Artificial intelligence
113
Computer software Development
102
Formal methods (Computer science)
more ...
101
Computer software
77
Computer logic
73
Computer software Verification
67
Programming languages (Electronic computers)
65
Management information systems
55
Computer security
49
Computer programming
38
Logic, Symbolic and mathematical
37
Computer software Testing
36
Computers
36
Human-computer interaction
36
Information technology
32
Computer software Quality control
31
User interfaces (Computer systems)
30
Computer simulation
27
Computer organization
27
Computer science Mathematics
26
Business Data processing
26
Computers, Special purpose
26
Database management
25
Logic design
25
Software architecture
25
Web services
24
Computer software Reliability
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,
22
International Conference on Software Engineering and Formal Methods
20
Taniar, David,
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
EuroSPI (Conference)
16
International Conference on Formal Engineering Methods
16
Tarantino, Eufemia
15
ICSOFT (Conference)
14
ENASE (Conference)
14
Margaria-Steffen, Tiziana, 1964-
13
FASE (Conference)
13
International Conference on Web Information Systems Engineering
13
Stankova, Elena,
12
O'Connor, Rory V.,
see all ...
less ...
Language
Genre
Literary Form
Era
Region
Call Number
Year of Publication