Limit Search Results
Author
SpringerLink (Online service)
(95)
Boer, Frank S. editor.
(5)
Bonsangue, Marcello M. editor.
(5)
Graf, Susanne. editor.
(4)
Proper, Erik. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(71)
Computer Communication Networks.
(38)
Artificial intelligence.
(29)
Logic design.
(26)
Information systems.
(20)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
95 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings
Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings
Author 
Kolfschoten, Gwendolyn. editor. Herrmann, Thomas. editor. Lukosch, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15714-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
Author 
Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
Author 
Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
Author 
Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
Author 
Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15485-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Author 
Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16164-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings
Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings
Author 
Harmsen, Frank. editor. Proper, Erik. editor. Schalkwijk, Frank. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16770-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings
Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings
Author 
Proper, Erik. editor. Lankhorst, Marc M. editor. Schönherr, Marten. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16819-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17071-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Author 
Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00454-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author 
Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04912-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action