Limit Search Results
Author
SpringerLink (Online service)
(23)
Aalst, Wil M. P. editor.
(1)
Abdulla, Parosh Aziz. editor.
(1)
Balbo, Gianfranco. editor.
(1)
Berdine, Josh. editor.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
Author 
Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334617.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38536-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Author 
Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334465.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37635-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
8. 
Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334630.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38592-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
Author 
Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334665.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38768-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies: