Limit Search Results
Author
SpringerLink (Online service)
(150)
Liu, Honghai. editor.
(3)
Margaria, Tiziana. editor.
(3)
Rakheja, Subhash. editor.
(3)
Steffen, Bernhard. editor.
(3)
Language
Subject
Computer science.
(150)
Software engineering.
(150)
Logic design.
(56)
Artificial intelligence.
(42)
Information Systems.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
155 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Author 
Birkedal, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28729-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools
A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools
Author 
Yevick, David.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-233-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arduino and Kinect Projects Design, Build, Blow Their Minds
Arduino and Kinect Projects Design, Build, Blow Their Minds
Author 
Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Beginning Android ADK with Arduino
Beginning Android ADK with Arduino
Author 
Böhmer, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4198-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Service Virtualization Reality is Overrated
Service Virtualization Reality is Overrated
Author 
Michelsen, John. author. English, Jason. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4672-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
Author 
Blunden, Bill. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Configuration Problem Solving
Automated Configuration Problem Solving
Author 
Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
Author 
Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17336-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22430-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Software Process Definition and Management
Software Process Definition and Management
Author 
Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24291-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action