Limit Search Results
Author
SpringerLink (Online service)
(23)
Das, Swagatam. editor.
(2)
Dash, Shubhransu Sekhar. editor.
(2)
Panigrahi, Bijaya Ketan. editor.
(2)
Suganthan, Ponnuthurai Nagaratnam. editor.
(2)
Language
Publication Date
-
2013
(23)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
Cover image for Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
Author 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334812.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335178.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45008-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Author 
Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334034.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Author 
Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334073.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
Author 
Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334174.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36315-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Author 
Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number 
ONLINE(334280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency VII
Transactions on Petri Nets and Other Models of Concurrency VII
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Preferred Shelf Number 
ONLINE(334545.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38143-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Author 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334651.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Author 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334844.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Availability 
Online Library~1
Available:
Copies: