Showing 1 - 20
of 1,385
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
Institution
Collection
Format
Subject
Software engineering
338
Computer science
206
Computer networks
180
Artificial intelligence
127
Computer software Development
101
Computer software
more ...
101
Formal methods (Computer science)
77
Computer logic
75
Programming languages (Electronic computers)
73
Computer software Verification
67
Computer programming
67
Management information systems
56
Computer security
44
Human-computer interaction
38
Information technology
37
Computer software Testing
37
Logic, Symbolic and mathematical
35
Computers
35
User interfaces (Computer systems)
30
Computer science Mathematics
30
Computer simulation
30
Computer software Quality control
30
Software architecture
29
Database management
29
Electronic data processing
27
Business Data processing
27
Computer organization
26
Cloud computing
26
Web services
25
Computers, Special purpose
see all ...
less ...
Author
1,343
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
28
ScienceDirect (Online service)
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
International Conference on Formal Engineering Methods
16
Lee, R. Y.
16
Tarantino, Eufemia
15
Computer Science On-line Conference Online)
15
EuroSPI (Conference)
15
ICSOFT (Conference)
14
ENASE (Conference)
see all ...
less ...
Language
Genre
Literary Form
Era
Region
Call Number
Year of Publication