Showing 1 - 3
of 3
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: Logic, Symbolic and mathematical
Subject: Computer logic
Subject: Computer simulation
Institution
Collection
Format
Subject
Computer logic
3
Computer science
Computer simulation
Logic, Symbolic and mathematical
3
Software engineering
1
Algorithms
more ...
1
Computation by Abstract Devices
1
Computer software Verification
1
Computers
1
Database management
1
Formal methods (Computer science)
1
Machine learning
1
Programming languages (Electronic computers)
1
Robots Programming
see all ...
less ...
Author
3
SpringerLink (Online service)
1
Abate, Alessandro,
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Geeraerts, Gilles,
1
ISoLA (Symposium)
more ...
1
ISoLA (Symposium) Kerkyra, Greece)
1
Lamprecht, Anna-Lena,
1
Li, Xuandong,
1
Liu, Zhiming, 1961-
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing, China)
1
Yi, Wang,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication