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
000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for JavaScript Programmer’s Reference
JavaScript Programmer’s Reference
Author 
Reid, Jonathan. author. Valentine, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330621.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for C++ Quick Syntax Reference
C++ Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330767.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6278-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for C# Quick Syntax Reference
C# Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330768.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6281-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for PHP Quick Scripting Reference
PHP Quick Scripting Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330769.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Java Quick Syntax Reference
Java Quick Syntax Reference
Author 
Olsson, Mikael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330770.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Collaborative Networks: Reference Modeling
Collaborative Networks: Reference Modeling
Author 
Camarinha-Matos, Luis M. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79426-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Objective-C Programmer’s Reference
Objective-C Programmer’s Reference
Author 
Oliveira, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330726.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5906-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Objective-C Quick Syntax Reference
Objective-C Quick Syntax Reference
Author 
Campbell, Matthew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-6488-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Data Compression The Complete Reference
Data Compression The Complete Reference
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-603-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author 
Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for AutoCAD 2006 VBA A Programmer’s Reference
AutoCAD 2006 VBA A Programmer’s Reference
Author 
Sutphin, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0069-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
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 Guide to Modeling and Simulation of Systems of Systems User’s Reference
Guide to Modeling and Simulation of Systems of Systems User’s Reference
Author 
Zeigler, Bernard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4570-7
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 Artificial Intelligence and Machine Learning in Sports Science
Artificial Intelligence and Machine Learning in Sports Science
Author 
Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70155-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
25. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
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:
28. 
Cover image for Electromagnetic Sources and Electromagnetic Fields
Electromagnetic Sources and Electromagnetic Fields
Author 
Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9449-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Structural Decision Diagrams in Digital Test Theory and Applications
Structural Decision Diagrams in Digital Test Theory and Applications
Author 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Spiking Neural P Systems Theory, Applications and Implementations
Spiking Neural P Systems Theory, Applications and Implementations
Author 
Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9282-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Anomaly Detection in Video Surveillance
Anomaly Detection in Video Surveillance
Author 
Wang, Xiaochun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-3023-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Terminological Dictionary of Automatic Control, Systems and Robotics
Terminological Dictionary of Automatic Control, Systems and Robotics
Author 
Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35755-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Informatics and machine learning : from Martingales to metaheuristics
Informatics and machine learning : from Martingales to metaheuristics
Author 
Winters-Hilt, Stephen, author.
Preferred Shelf Number 
Q325.5 .W558 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Self-Aware Computing Systems
Self-Aware Computing Systems
Author 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Computational Intelligence for Network Structure Analytics
Computational Intelligence for Network Structure Analytics
Author 
Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for LaTeX in 24 Hours A Practical Guide for Scientific Writing
LaTeX in 24 Hours A Practical Guide for Scientific Writing
Author 
Datta, Dilip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47831-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Theory of Reversible Computing
Theory of Reversible Computing
Author 
Morita, Kenichi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-56606-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Modern Language Models and Computation Theory with Applications
Modern Language Models and Computation Theory with Applications
Author 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for An Introduction to Online Computation Determinism, Randomization, Advice
An Introduction to Online Computation Determinism, Randomization, Advice
Author 
Komm, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42749-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Encyclopedia of Algorithms
Encyclopedia of Algorithms
Author 
Kao, Ming-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-2864-4
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Hybrid Metaheuristics Powerful Tools for Optimization
Hybrid Metaheuristics Powerful Tools for Optimization
Author 
Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30883-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for IP telephony deploying VoIP protocols and IMS infrastructure
IP telephony deploying VoIP protocols and IMS infrastructure
Author 
Hersent, Olivier.
Preferred Shelf Number 
ONLINE(318961.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589190
ebrary http://site.ebrary.com/id/10419090
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=339156
John Wiley http://dx.doi.org/10.1002/9780470973080
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Introduction to data technologies
Introduction to data technologies
Author 
Murrell, Paul., author.
Preferred Shelf Number 
QA76 .M894 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: