Limit Search Results
Author
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Das, Vinu V. editor.
(2)
Dingel, Juergen. editor.
(2)
Gleizes, Marie-Pierre. editor.
(2)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
115 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Author 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Author 
Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16478-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Author 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Author 
Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17796-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
Author 
Fernandes, João M. editor. Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18023-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Author 
Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18026-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18070-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Author 
Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19583-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19805-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Author 
Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets