Showing 1 - 12
of 12
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
Formal methods (Computer science)
Machine learning
11
Computer software Verification
10
Robots Programming
2
Software engineering
1
Artificial intelligence
more ...
1
Computation by Abstract Devices
1
Computer logic
1
Computer science
1
Computer simulation
1
Computers
1
Database management
1
Logic, Symbolic and mathematical
see all ...
less ...
Author
12
SpringerLink (Online service)
10
ISoLA (Symposium)
8
Margaria-Steffen, Tiziana, 1964-
8
Steffen, Bernhard,
5
ISoLA (Symposium) Kerkyra, Greece)
3
ISoLA (Symposium) Limassol, Cyprus)
more ...
1
ABZ (Conference)
1
ABZ (Conference) Pisa, Italy)
1
Derrick, John, 1963-
1
Hähnle, Reiner,
1
ISoLA (Symposium) Limassol, Cyprus),
1
International Workshop on Numerical Software Verification
1
International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems
1
International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems Haifa, Israel)
1
Isac, Omri
1
Ivanov, Radoslav, 1950-
1
Katz, Guy
1
Lamprecht, Anna-Lena,
1
Narodytska, Nina
1
Nenzi, Laura
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication