Showing 1 - 11
of 11
for search: '',
query time: 0.80s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Call Number: Q - Science
Institution: Colorado Mesa University
Subject: Machine learning
Subject: Software engineering
Institution
Collection
Format
Subject
Machine learning
Software engineering
4
Computer science
2
Artificial intelligence
2
Computer software Verification
2
Formal methods (Computer science)
more ...
2
Logic, Symbolic and mathematical
1
Cloud computing
1
Computation by Abstract Devices
1
Computer logic
1
Computer simulation
1
Computers
1
Database management
1
Decision making
1
Formal languages
1
Machine theory
1
Mathematical statistics
1
Metaheuristics
1
Robots Programming
see all ...
less ...
Author
SpringerLink (Online service)
3
Guarda, Teresa, 1966-
3
International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability
2
Augusto, Maria Fernanda,
2
International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability Santiago de Compostela, Spain)
2
Portela, Filipe,
more ...
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
Bilgaiyan, Saurabh, 1990-
1
Das, Swagatam
1
Das, Swagatam,
1
Dash, Subhransu Sekhar,
1
EPEW (Workshop)
1
EPEW (Workshop) Santa Pola, Spain)
1
Gilly, Katja,
1
Houdek, Frank,
1
ICICA (Conference)
1
ICICA (Conference) Ghaziabad, India)
1
ISoLA (Symposium)
1
ISoLA (Symposium) Kerkyra, Greece)
1
International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability La Libertad, Ecuador)
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
Jena, Ajay Kumar
1
Kashyap, Patanjali,
1
Katz, Guy
1
Lamprecht, Anna-Lena,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication