Limit Search Results
Author
SpringerLink (Online service)
(60)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(4)
Fu, Haohuan. editor.
(3)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(3)
Lees, Michael Harold. editor.
(3)
Language
Publication Date
-
Subject
Logic design.
(58)
Computer science.
(53)
Software engineering.
(16)
Computer software.
(15)
Artificial intelligence.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Author 
Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings
Author 
Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03351-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Author 
Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03429-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Author 
Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Author 
Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings
Author 
Bournez, Olivier. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04420-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
Author 
He, Xiangdong. editor. Horty, John. editor. Pacuit, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04893-7
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00596-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computable Models
Computable Models
Author 
Turner, Raymond. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-052-4
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
Author 
Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action