Limit Search Results
Author
SpringerLink (Online service)
(45)
Mura, Anna. editor.
(4)
Butler, Michael. editor.
(3)
Lepora, Nathan F. editor.
(3)
Prescott, Tony J. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(17)
Theory of Computation.
(11)
Software engineering.
(9)
Logic design.
(8)
Computer software.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
45 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Virtual Machines
Virtual Machines
Author 
Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Support Vector Machines
Support Vector Machines
Author 
Christmann, Andreas. author. Steinwart, Ingo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77242-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Compiler Design Virtual Machines
Compiler Design Virtual Machines
Author 
Wilhelm, Reinhard. author. Seidl, Helmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14909-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Support Vector Machines for Pattern Classification
Support Vector Machines for Pattern Classification
Author 
Abe, Shigeo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-098-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Adaptive Motion of Animals and Machines
Adaptive Motion of Animals and Machines
Author 
Kimura, Hiroshi. editor. Tsuchiya, Kazuo. editor. Ishiguro, Akio. editor. Witte, Hartmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/4-431-31381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Speech Separation by Humans and Machines
Speech Separation by Humans and Machines
Author 
Divenyi, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b99695
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Support Vector Machines for Pattern Classification
Support Vector Machines for Pattern Classification
Author 
Abe, Shigeo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-219-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Concise Introduction to Languages and Machines
A Concise Introduction to Languages and Machines
Author 
Parkes, Alan P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Abstract Computing Machines A Lambda Calculus Perspective
Abstract Computing Machines A Lambda Calculus Perspective
Author 
Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138965
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Author 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Author 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Author 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action