Showing 1 - 20
of 314
for search: '"Lecture notes in computer science ;"',
query time: 0.36s
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: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
88
Software engineering
57
Computer software Verification
21
Computer software Testing
20
Computer science Mathematics
20
Computer simulation
more ...
19
Computer programs Verification
18
Temporal automata
16
Component software
15
Artificial intelligence
15
Computer software Development
15
Electronic data processing Distributed processing
15
Logic, Symbolic and mathematical
14
Formal languages
13
Computer software Reliability
13
System analysis
12
Computer programs Reliability
12
Computer systems Evaluation
12
Object-oriented methods (Computer science)
11
Computer logic
9
Computer network protocols
9
Computer science
9
Object-oriented programming (Computer science)
8
Computer security
8
Machine theory
7
Computer programming
7
Computer systems
7
Computers Reliability
6
Machine learning
6
Programming languages (Electronic computers)
see all ...
less ...
Author
SpringerLink (Online service)
20
International Conference on Software Engineering and Formal Methods
17
FORMATS (Conference)
17
International Workshop on Formal Methods for Industrial Critical Systems
16
ISoLA (Symposium)
16
International Conference on Formal Engineering Methods
more ...
16
International Symposium of Formal Methods Europe
16
Margaria-Steffen, Tiziana, 1964-
14
RV (Conference)
13
Brazilian Symposium on Formal Methods
13
DCFS (Workshop)
13
International Conference on Integrated Formal Methods
12
EPEW (Workshop)
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
11
FACS (Symposium)
11
Liu, Shaoying, 1960-
11
Steffen, Bernhard,
10
International Federated Conferences on Distributed Computing Techniques
9
Duan, Zhenhua,
9
FMCO (Symposium)
9
NFM (Symposium)
9
SOFL+MSVL (Workshop)
8
International Conference on Formal Concept Analysis
7
Bernardo, Marco
7
Boer, Frank S. de
6
FORTE (Conference)
6
Steffen, Bernhard
5
FAST (Workshop)
5
Havelund, Klaus, 1955-
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication