Showing 1 - 20
of 38
for search: '"Machine learning"',
query time: 0.36s
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)
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