Showing 1 - 20
of 994
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
Remove Filters
Genre: Conference papers and proceedings
Author: SpringerLink (Online service)
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
274
Computer science
179
Computer networks
140
Artificial intelligence
100
Computer software
94
Formal methods (Computer science)
more ...
87
Computer software Development
69
Computer software Verification
68
Computer logic
55
Programming languages (Electronic computers)
50
Computer security
47
Management information systems
35
Computer programming
33
Computer software Testing
33
Computers
31
Information technology
31
Logic, Symbolic and mathematical
29
Computer software Quality control
29
Human-computer interaction
27
Computer simulation
26
Computer organization
25
Database management
25
Web services
24
Computer science Mathematics
23
Computer software Reliability
23
Computers, Special purpose
23
World Wide Web
22
Computer architecture
22
User interfaces (Computer systems)
20
Logic design
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
Call Number
Year of Publication