Showing 1 - 20
of 22
for search: '"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
Institution
Collection
Format
Subject
22
Formal methods (Computer science)
21
Computer software Verification
10
Machine learning
10
Robots Programming
9
Software engineering
2
Computer software Validation
more ...
2
Logic, Symbolic and mathematical
1
Artificial intelligence
1
Blockchains (Databases)
1
Computation by Abstract Devices
1
Computer architecture
1
Computer logic
1
Computer science
1
Computer simulation
1
Computers
1
Computers, Special purpose
1
Database management
see all ...
less ...
Author
ISoLA (Symposium)
22
SpringerLink (Online service)
19
Margaria-Steffen, Tiziana, 1964-
15
Steffen, Bernhard,
5
ISoLA (Symposium) Kerkyra, Greece)
5
ISoLA (Symposium) Rhodes, Greece)
more ...
4
ISoLA (Symposium) Online)
4
Steffen, Bernhard
3
ISoLA (Symposium) Limassol, Cyprus)
2
ISoLA (Symposium) Ērakleion, Greece)
1
Bartocci, Ezio (Computer scientist)
1
Falcone, Yliès
1
Havelund, Klaus, 1955-
1
Hähnle, Reiner,
1
ISoLA (Symposium) Limassol, Cyprus),
1
Lamprecht, Anna-Lena,
1
Leucker, Martin,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication