Showing 1 - 15
of 15
for search: '"LNCS sublibrary. Theoretical computer science and general issues."',
query time: 0.53s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ISoLA (Symposium)
Institution
Collection
Format
Subject
15
Computer software Verification
15
Formal methods (Computer science)
8
Machine learning
8
Robots Programming
4
Software engineering
2
Computer software Validation
more ...
1
Artificial intelligence
1
Blockchains (Databases)
1
Computer architecture
1
Computers, Special purpose
1
Logic, Symbolic and mathematical
see all ...
less ...
Author
ISoLA (Symposium)
15
Margaria-Steffen, Tiziana, 1964-
15
SpringerLink (Online service)
11
Steffen, Bernhard,
4
ISoLA (Symposium) Kerkyra, Greece)
4
ISoLA (Symposium) Online)
more ...
4
Steffen, Bernhard
3
ISoLA (Symposium) Limassol, Cyprus)
2
ISoLA (Symposium) Ērakleion, Greece)
1
ISoLA (Symposium) Limassol, Cyprus),
1
ISoLA (Symposium) Rhodes, Greece)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication