Limit Search Results
Author
SpringerLink (Online service)
(109)
Dix, Jürgen. editor.
(3)
Voronkov, Andrei. editor.
(3)
Calude, Cristian S. editor.
(2)
Dawar, Anuj. editor.
(2)
Language
English
(109)
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
109 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
Author 
Governatori, Guido. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14183-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Author 
Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13182-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Hliněný, Petr. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15155-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author 
Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15205-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Author 
Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Understanding Concurrent Systems
Understanding Concurrent Systems
Author 
Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-258-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
Author 
Müller, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13010-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
Author 
Dediu, Adrian-Horia. editor. Fernau, Henning. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13089-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
Author 
Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13321-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13464-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
Author 
Calude, Cristian S. editor. Hagiya, Masami. editor. Morita, Kenichi. editor. Rozenberg, Grzegorz. editor. Timmis, Jon. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13523-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
Author 
Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13688-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action