Showing 1 - 4
of 4
for search: '"Machine learning"',
query time: 0.18s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: International Conference on Software Engineering and Formal Methods
Subject: Formal methods (Computer science)
Institution
Collection
Format
Author
International Conference on Software Engineering and Formal Methods
4
SpringerLink (Online service)
1
Calinescu, Radu C., 1968-
1
Cerone, Antonio
1
Cerone, Antonio,
1
CoSim-CPS (Workshop)
more ...
1
DataMod (Symposium)
1
FAACS (Workshop)
1
International Conference on Software Engineering and Formal Methods Online)
1
International Conference on Software Engineering and Formal Methods Oslo, Norway)
1
International Workshop on the Foundations of Coordination Languages and Software Architectures
1
MSE (Workshop)
1
Păsăreanu, Corina S.,
1
Roveri, Marco,
1
Salaün, G.
1
Ölveczky, Peter Csaba,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication