Showing 1 - 20
of 495
for search: '"Science."',
query time: 0.29s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Software engineering
Institution
Format
Subject
Software engineering
333
Computer science
133
Computer networks
102
Formal methods (Computer science)
82
Artificial intelligence
76
Computer software
more ...
49
Computer logic
39
Computer software Verification
39
Management information systems
34
Programming languages (Electronic computers)
30
Computer science Mathematics
30
Logic, Symbolic and mathematical
28
Computer simulation
26
Electronic data processing
23
Computer programming
22
Algorithms
20
Computer security
20
Computers
19
Computer programs Verification
19
Computers, Special purpose
18
Database management
17
Logic design
15
Data encryption (Computer science)
15
Information technology
15
User interfaces (Computer systems)
13
Data structures (Computer science)
13
Object-oriented programming (Computer science)
12
Business Data processing
12
Computer architecture
12
Computer programs Reliability
see all ...
less ...
Author
465
SpringerLink (Online service)
69
ICCSA (Conference)
46
Rocha, Ana Maria A. C.
33
Gervasi, Osvaldo,
32
Apduhan, Bernady O.,
30
Gervasi, Osvaldo
more ...
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
21
SpringerLink (Online Service)
20
Taniar, David,
18
Taniar, David
17
International Workshop on Formal Methods for Industrial Critical Systems
17
Misra, Sanjay
16
Blečić, Ivan
16
International Conference on Formal Engineering Methods
16
Tarantino, Eufemia
13
Stankova, Elena,
12
Torre, Carmelo Maria,
11
ICCSA (Conference) Athens, Greece)
11
Karaca, Yeliz
11
Margaria-Steffen, Tiziana, 1964-
10
ICCSA (Conference) Cagliari, Italy ; Online)
9
ISoLA (Symposium)
9
Scorza, Francesco,
8
ICIST (Conference)
8
Steffen, Bernhard,
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication