Showing 1 - 20
of 192
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
Remove Filters
Author: SpringerLink (Online service)
Call Number: Q - Science
Literary Form: Non fiction
Subject: Computer software Verification
Institution
Collection
Format
Subject
Computer software Verification
65
Software engineering
57
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
8
Computer networks Security measures
8
Computer science
8
Computer security
7
Compilers (Computer programs)
7
Computer software Quality control
7
Logic, Symbolic and mathematical
5
Computer logic
5
Electronic digital computers Evaluation
5
Machine learning
5
Programming languages (Electronic computers)
4
Computer systems
4
Integrated circuits Verification
4
Robots Programming
4
Software architecture
3
Computer input-output equipment
2
Computer programming
2
Computer science Mathematics
2
Computer software Development
see all ...
less ...
Author
SpringerLink (Online service)
29
CAV (Conference)
20
ETAPS (Conference)
19
TACAS (Conference)
17
Margaria-Steffen, Tiziana, 1964-
16
International SPIN Workshop
more ...
15
ISoLA (Symposium)
13
RV (Conference)
13
Steffen, Bernhard,
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)
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)
3
Federated Logic Conference
3
Huisman, Marieke,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication