Showing 1 - 20
of 340
for search: '"Computer science Congresses."',
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
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
92
Software engineering
66
Computer software Verification
21
Computer simulation
20
Computer software Testing
19
Electronic data processing Distributed processing
more ...
18
Temporal automata
17
Computer programs Verification
17
Computer science Mathematics
16
Component software
15
Artificial intelligence
15
Computer software Development
15
Logic, Symbolic and mathematical
13
Computer software Reliability
13
Formal languages
13
System analysis
12
Computer logic
12
Computer network protocols
12
Computer programs Reliability
12
Computer systems Evaluation
12
Machine learning
12
Object-oriented methods (Computer science)
11
Computer science
11
Object-oriented programming (Computer science)
11
Web services
10
Robots Programming
9
Computer security
9
Machine theory
7
Computer systems
7
Computers Reliability
see all ...
less ...
Author
334
SpringerLink (Online service)
22
ISoLA (Symposium)
20
International Conference on Software Engineering and Formal Methods
20
Margaria-Steffen, Tiziana, 1964-
17
FORMATS (Conference)
17
International Workshop on Formal Methods for Industrial Critical Systems
more ...
16
International Conference on Formal Engineering Methods
16
International Symposium of Formal Methods Europe
15
Steffen, Bernhard,
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-
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
8
Ölveczky, Peter Csaba,
7
Bernardo, Marco
7
Boer, Frank S. de
6
FORTE (Conference)
6
International Conference on Formal Methods for Open Object-Based Distributed Systems
6
WS-FM (Workshop)
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication