Limit Search Results
Author
SpringerLink (Online service)
(146)
Dongarra, Jack. editor.
(5)
Albada, Geert Dick. editor.
(4)
Shi, Yong. editor.
(4)
Sloot, Peter M. A. editor.
(4)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
149 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
Author 
Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
Author 
Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Conceptual Modelling in Information Systems Engineering
Conceptual Modelling in Information Systems Engineering
Author 
Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72677-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
Author 
Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72794-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
Author 
Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
Author 
Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73031-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
Author 
Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
Author 
Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73101-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Ruby on Rails for PHP and Java Developers
Ruby on Rails for PHP and Java Developers
Author 
Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Author 
Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Effective IT Service Management To ITIL and Beyond!
Effective IT Service Management To ITIL and Beyond!
Author 
Addy, Rob. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73198-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action