Showing 1 - 5
of 5
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer science
Subject: Logic, Symbolic and mathematical
Subject: Formal methods (Computer science)
Collection: Electronic Access
Institution
Collection
Format
Subject
Computer science
Formal methods (Computer science)
Logic, Symbolic and mathematical
4
Software engineering
3
Artificial intelligence
3
Computer logic
more ...
3
Computer software Verification
2
Computer simulation
2
Formal languages
2
Programming languages (Electronic computers)
1
Computation by Abstract Devices
1
Computer programming
1
Computer science Mathematics
1
Computer security
1
Computers
1
Data protection
1
Database management
1
Electronic data processing
1
Logic
1
Machine learning
1
Robots Programming
1
Uncertainty (Information theory)
see all ...
less ...
Author
5
SpringerLink (Online service)
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Furia, Carlo A., 1979-
1
Hawblitzel, Chris
1
ISoLA (Symposium)
more ...
1
ISoLA (Symposium) Kerkyra, Greece)
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Maynooth, Ireland)
1
Jøsang, Audun,
1
Lamprecht, Anna-Lena,
1
Lawford, Mark,
1
Liu, Shaoying, 1960-
1
Miller, Dale
1
Ogata, Kazuhiro,
1
Winter, Kirsten,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication