Limit Search Results
Author
SpringerLink (Online service)
(270)
Yang, Laurence T. editor.
(6)
Dongarra, Jack. editor.
(5)
Sloot, Peter M. A. editor.
(5)
Albada, Geert Dick. editor.
(4)
Language
Subject
Computer science.
(270)
Computer Communication Networks.
(100)
Information systems.
(90)
Logic design.
(80)
Artificial intelligence.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
271 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Author 
Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69738-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings
Author 
Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69830-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Author 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
Author 
Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69968-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
Author 
Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70816-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Author 
Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers
Author 
Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71500-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
Author 
Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings
Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings
Author 
Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72901-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action