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: Computer simulation
Collection: Electronic Access
Institution
Collection
Format
Subject
Computer science
Computer simulation
Logic, Symbolic and mathematical
4
Software engineering
3
Computer logic
2
Artificial intelligence
more ...
2
Formal methods (Computer science)
2
Programming languages (Electronic computers)
1
Algorithms
1
Computation by Abstract Devices
1
Computer software Verification
1
Computers
1
Database management
1
Machine learning
1
Robots Programming
1
User interfaces (Computer systems)
see all ...
less ...
Author
5
SpringerLink (Online service)
1
Abate, Alessandro,
1
FORMATS (Conference)
1
FORMATS (Conference) Berlin, Germany)
1
Furia, Carlo A., 1979-
1
Geeraerts, Gilles,
more ...
1
German Conference on Artificial Intelligence
1
German Conference on Artificial Intelligence Dresden, Germany)
1
Hölldobler, Steffen, 1957-
1
ISoLA (Symposium)
1
ISoLA (Symposium) Kerkyra, Greece)
1
International Conference on Integrated Formal Methods
1
International Conference on Integrated Formal Methods Maynooth, Ireland)
1
Krötzsch, Markus,
1
Lamprecht, Anna-Lena,
1
Li, Xuandong,
1
Liu, Zhiming, 1961-
1
Peñaloza, Rafael,
1
Rudolph, Sebastian (Computer scientist)
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications
1
Symposium on Dependable Software Engineering: Theories, Tools and Applications Nanjing, China)
1
Winter, Kirsten,
1
Yi, Wang,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication