Limit Search Results
Author
SpringerLink (Online service)
(93)
Chen, Jianer. editor.
(2)
Governatori, Guido. editor.
(2)
Hofmeister, Christine. editor.
(2)
Palsberg, Jens. editor.
(2)
Language
Subject
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
93 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Functions and Equations Examples and Exercises
Logic Functions and Equations Examples and Exercises
Author 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Author 
Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
Author 
Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93900-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Author 
Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-93920-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Author 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 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 
Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00768-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
Author 
Kaklamanis, Christos. editor. Nielson, Flemming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00945-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
Author 
Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
Author 
Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets