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 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:
2. 
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:
3. 
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:
4. 
Cover image for Foundational Java Key Elements and Practical Programming
Foundational Java Key Elements and Practical Programming
Author 
Parsons, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2479-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Doing Design Ethnography
Doing Design Ethnography
Author 
Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
Author 
Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35506-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
Author 
Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-4-431-54216-2
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 Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Author 
Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27694-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action