Showing 1 - 20
of 408
for search: '"Science."',
query time: 0.17s
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
277
Computer science
126
Computer networks
94
Formal methods (Computer science)
76
Artificial intelligence
73
Computer software
more ...
42
Computer logic
37
Computer software Verification
27
Management information systems
25
Computer science Mathematics
25
Computer simulation
25
Logic, Symbolic and mathematical
23
Programming languages (Electronic computers)
19
Algorithms
19
Computers, Special purpose
18
Computer programs Verification
18
Computer security
18
Computers
16
Database management
15
Data encryption (Computer science)
15
Logic design
12
Computer architecture
12
Computer programs Reliability
12
Data structures (Computer science)
12
Information technology
11
Computer programming
11
Computer software Reliability
11
User interfaces (Computer systems)
10
Electronic data processing
9
Computer system failures
see all ...
less ...
Author
407
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
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)
7
ICCSA (Conference) Malaga, Spain ; Online)
7
ICCSA (Conference) Online)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication