Limit Search Results
Author
SpringerLink (Online service)
(53)
Boer, Frank S. editor.
(2)
Demirli, Nihat.
(2)
Grotegut, Martin. author.
(2)
Negus, Christopher.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
59 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
Author 
Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Author 
Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
Author 
Ramalingam, G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings
Author 
Matsuura, Kanta. editor. Fujisaki, Eiichiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89598-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
Author 
Issarny, Valérie. editor. Schantz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
Author 
Sadayappan, Ponnuswamy. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89894-8
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Provenance and Annotation of Data and Processes Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers
Provenance and Annotation of Data and Processes Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers
Author 
Freire, Juliana. editor. Koop, David. editor. Moreau, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89965-5
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Author 
Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Linux bible
Linux bible
Author 
Negus, Christopher.
Preferred Shelf Number 
QA76.76.O63 N422 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for Ubuntu Linux toolbox : 1000+ commands for Ubuntu and Debian power users
Ubuntu Linux toolbox : 1000+ commands for Ubuntu and Debian power users
Author 
Negus, Christopher. Caen, François.
Preferred Shelf Number 
QA76.76.O63 N426 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action