Limit Search Results
Author
SpringerLink (Online service)
(142)
Gavrilova, Marina L. editor.
(4)
Albada, Geert Dick. editor.
(3)
Bubak, Marian. editor.
(3)
Dongarra, Jack. editor.
(3)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
143 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software engineering foundations a software science perspective
Software engineering foundations a software science perspective
Author 
Wang, Yingxu.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Author 
Amadio, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Parsing Techniques A Practical Guide
Parsing Techniques A Practical Guide
Author 
Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68954-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Automatic Program Development A Tribute to Robert Paige
Automatic Program Development A Tribute to Robert Paige
Author 
Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Analysis and Design of Information Systems Third Edition
Analysis and Design of Information Systems Third Edition
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-655-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Principles of the Spin Model Checker
Principles of the Spin Model Checker
Author 
Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Maturing Usability Quality in Software, Interaction and Value
Maturing Usability Quality in Software, Interaction and Value
Author 
Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-941-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
Author 
Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Foundations of 3D Graphics Programming Using JOGL and Java3D
Foundations of 3D Graphics Programming Using JOGL and Java3D
Author 
Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-284-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for A Concise Introduction to Software Engineering
A Concise Introduction to Software Engineering
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-302-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modeling Semantic Web Services The Web Service Modeling Language
Modeling Semantic Web Services The Web Service Modeling Language
Author 
Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68172-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement
The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement
Author 
Bundschuh, Manfred. author. Dekkers, Carol. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68188-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action