Limit Search Results
Author
SpringerLink (Online service)
(48)
Olsson, Mikael. author.
(4)
Afsarmanesh, Hamideh. editor.
(1)
Akama, Seiki. editor.
(1)
Al-Begain, Khalid. editor.
(1)
Language
Publication Date
-
Subject
Computer Science Logic and Foundations of Programming.
(9)
Software engineering.
(9)
Theory of Computation.
(9)
Artificial intelligence.
(8)
Computer Science, general.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
51 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model
Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model
Author 
Bassi, Alessandro. editor. Bauer, Martin. editor. Fiedler, Martin. editor. Kramp, Thorsten. editor. Kranenburg, Rob. editor.
Preferred Shelf Number 
ONLINE(334941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40403-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Guide to Biometric Reference Systems and Performance Evaluation
Guide to Biometric Reference Systems and Performance Evaluation
Author 
Dorizzi, Bernadette. editor. Chollet, Gérard. editor. Petrovska-Delacrétaz, Dijana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-292-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Itil® Version 3 at a Glance Information Quick Reference
Itil® Version 3 at a Glance Information Quick Reference
Author 
Long, John O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77393-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for MooTools Essentials The Official MooTools Reference for JavaScript™ and Ajax Development
MooTools Essentials The Official MooTools Reference for JavaScript™ and Ajax Development
Author 
Newton, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0984-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Beginning HTML with CSS and XHTML Modern Guide and Reference
Beginning HTML with CSS and XHTML Modern Guide and Reference
Author 
Schultz, David. author. Cook, Craig. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0350-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
Author 
Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69336-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for New Metaheuristic Schemes: Mechanisms and Applications
New Metaheuristic Schemes: Mechanisms and Applications
Author 
Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Zaldívar, Daniel. author. Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Author 
Akama, Seiki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action