Showing 1 - 12
of 12
for search: '"Machine learning Congresses."',
query time: 0.31s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
12
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