Showing 1 - 20
of 204
for search: '"Lecture notes in computer science ;"',
query time: 0.35s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer software Verification
65
Software engineering
61
Formal methods (Computer science)
38
Computer software Testing
21
Computer programs Verification
21
System analysis
more ...
19
System design
12
Artificial intelligence
11
Computer algorithms
11
Computer programs Reliability
11
Computer software Reliability
11
Computer software Validation
9
Machine learning
8
Computer networks Security measures
8
Computer science
8
Computer security
8
Robots Programming
7
Compilers (Computer programs)
7
Computer software Quality control
7
Logic, Symbolic and mathematical
5
Computer logic
5
Computer networks Evaluation
5
Electronic digital computers Evaluation
5
Programming languages (Electronic computers)
4
Computer systems
4
Integrated circuits Verification
4
Software architecture
3
Computer input-output equipment
3
Data encryption (Computer science)
3
Electronic voting
see all ...
less ...
Author
SpringerLink (Online service)
29
CAV (Conference)
21
Margaria-Steffen, Tiziana, 1964-
20
ETAPS (Conference)
19
ISoLA (Symposium)
19
TACAS (Conference)
more ...
17
Steffen, Bernhard,
16
International SPIN Workshop
13
RV (Conference)
11
International Workshop on Formal Methods for Industrial Critical Systems
10
TAP (Conference)
10
VMCAI (Conference)
10
VSTTE (Conference)
9
SAT (Conference)
7
International Haifa Verification Conference
6
International Haifa Verification Conference Haifa, Israel)
6
STAF (Federation of conferences)
5
Beyer, Dirk, 1972-
5
ISoLA (Symposium) Rhodes, Greece)
5
Steffen, Bernhard
5
TGC (Symposium)
5
VECoS (Conference)
4
ISoLA (Symposium) Kerkyra, Greece)
4
ISoLA (Symposium) Online)
4
Larsen, K. G. 1957-
4
Legay, Axel,
3
Bartocci, Ezio (Computer scientist),
3
Beckert, Bernhard
3
Biere, Armin,
3
CAV (Conference) Paris, France)
see all ...
less ...
Language
Literary Form
Year of Publication