Showing 1 - 16
of 16
for search: '"Machine learning"',
query time: 0.27s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
16
Computer software Verification
Formal methods (Computer science)
10
Machine learning
10
Robots Programming
7
Software engineering
1
Computation by Abstract Devices
more ...
1
Computer logic
1
Computer science
1
Computer simulation
1
Computers
1
Database management
1
Logic, Symbolic and mathematical
see all ...
less ...
Author
ISoLA (Symposium)
16
SpringerLink (Online service)
14
Margaria-Steffen, Tiziana, 1964-
13
Steffen, Bernhard,
5
ISoLA (Symposium) Kerkyra, Greece)
5
ISoLA (Symposium) Rhodes, Greece)
more ...
3
ISoLA (Symposium) Limassol, Cyprus)
1
Hähnle, Reiner,
1
ISoLA (Symposium) Limassol, Cyprus),
1
ISoLA (Symposium) Online)
1
Lamprecht, Anna-Lena,
1
Steffen, Bernhard
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication