Limit Search Results
Author
SpringerLink (Online service)
(79)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Theory of Computation.
(23)
Software engineering.
(19)
Computer Science Logic and Foundations of Programming.
(18)
Artificial intelligence.
(17)
Computer science -- Mathematics.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
81 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
Author 
Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330636.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4765-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Author 
Pianykh, Oleg S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10850-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Soft Computing Approach to Pattern Classification and Object Recognition A Unified Concept
Soft Computing Approach to Pattern Classification and Object Recognition A Unified Concept
Author 
Ray, Kumar S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5348-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Apartness and Uniformity A Constructive Development
Apartness and Uniformity A Constructive Development
Author 
Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22415-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspective
Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspective
Author 
Chowdhury, Ananda S. author. Bhandarkar, Suchendra M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-296-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Author 
Pianykh, Oleg S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74571-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approach
Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approach
Author 
Elnashaie, Said S. E. H. author. Uhlig, Frank. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68167-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
Author 
Ramachandran, S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5829-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Exploring C for Microcontrollers A Hands on Approach
Exploring C for Microcontrollers A Hands on Approach
Author 
Parab, Jivan S. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Restarting Automata Extensions and Generalizations
Restarting Automata Extensions and Generalizations
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-78701-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets