Showing 1 - 20
of 936
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
Call Number: Q - Science
Genre: Conference papers and proceedings
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
258
Computer science
154
Computer networks
150
Artificial intelligence
100
Computer software
94
Formal methods (Computer science)
more ...
91
Computer software Development
69
Computer software Verification
68
Computer logic
54
Programming languages (Electronic computers)
43
Computer security
35
Computer programming
35
Human-computer interaction
33
Computer software Testing
31
Logic, Symbolic and mathematical
30
Management information systems
29
Computer software Quality control
26
Computers
25
Computer science Mathematics
24
Computer organization
24
Computer simulation
23
Computer software Reliability
22
Database management
22
User-centered system design
21
Computers, Special purpose
19
Computer architecture
19
Parallel processing (Electronic computers)
19
User interfaces (Computer systems)
18
Algorithms
18
Computer programs Verification
see all ...
less ...
Author
876
SpringerLink (Online service)
69
ICCSA (Conference)
55
SpringerLink (Online Service)
46
Rocha, Ana Maria A. C.
35
ETAPS (Conference)
33
Gervasi, Osvaldo,
more ...
32
Apduhan, Bernady O.,
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
Tarantino, Eufemia
15
Computer Science On-line Conference Online)
15
ICSOFT (Conference)
15
Lee, R. Y.
14
ENASE (Conference)
13
FASE (Conference)
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication