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
Select an Action
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 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:
3. 
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:
4. 
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:
5. 
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:
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 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:
8. 
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:
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 Intelligent Engineering Optimisation with the Bees Algorithm
Intelligent Engineering Optimisation with the Bees Algorithm
Author 
Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action