Showing 1 - 20
of 38
for search: '"Machine learning"',
query time: 0.34s
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)
19
Software engineering
18
Computer software Verification
12
Machine learning
10
Robots Programming
3
Artificial intelligence
more ...
3
Computer logic
2
Logic, Symbolic and mathematical
1
Big data
1
Computation by Abstract Devices
1
Computer architecture
1
Computer network protocols
1
Computer science
1
Computer science Mathematics
1
Computer simulation
1
Computer software Testing
1
Computers
1
Computers, Special purpose
1
Data mining
1
Database management
1
Electronic data processing Distributed processing
1
Lattice theory
1
Mathematical analysis
1
Microprogramming
1
Natural language processing (Computer science)
1
Object-oriented methods (Computer science)
see all ...
less ...
Author
38
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 ...
4
International Conference on Software Engineering and Formal Methods
3
ISoLA (Symposium) Limassol, Cyprus)
3
International Conference on Formal Engineering Methods
2
DataMod (Symposium)
1
ABZ (Conference)
1
ABZ (Conference) Pisa, Italy)
1
Abdessalem, Talel
1
Aït-Ameur, Yamine,
1
Bartocci, Ezio (Computer scientist),
1
Beckert, Bernhard
1
Beek, Maurice H. ter,
1
Black, Elizabeth (Lecturer in Computer Science)
1
Bowles, Juliana
1
Broccia, Giovanna
1
Calinescu, Radu C., 1968-
1
Cerone, Antonio
1
Cerone, Antonio,
1
Chechik, Marsha,
1
CoSim-CPS (Workshop)
1
DataMod (Symposium) Online)
1
Derrick, John, 1963-
1
Deshmukh, Jyotirmoy,
1
Dong, Wei,
1
Dongol, Brijesh,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication