Showing 1 - 18
of 18
for search: '"Machine learning"',
query time: 0.23s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer software Verification
Formal methods (Computer science)
11
Machine learning
10
Robots Programming
8
Software engineering
1
Computation by Abstract Devices
more ...
1
Computer logic
1
Computer science
1
Computer simulation
1
Computer software Testing
1
Computers
1
Database management
1
Logic, Symbolic and mathematical
see all ...
less ...
Author
18
SpringerLink (Online service)
16
ISoLA (Symposium)
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
Bartocci, Ezio (Computer scientist),
1
Hähnle, Reiner,
1
ISoLA (Symposium) Limassol, Cyprus),
1
ISoLA (Symposium) Online)
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
Majumdar, Rupak,
1
Narodytska, Nina
1
Nenzi, Laura
1
RV (Conference)
1
RV (Conference) Vienna, Austria)
1
Steffen, Bernhard
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication