Limit Search Results
Author
SpringerLink (Online service)
(125)
Arbab, Farhad. editor.
(2)
Derrick, John. editor.
(2)
Gibbons, Jeremy. editor.
(2)
Gnesi, Stefania. editor.
(2)
Language
Subject
Logic design.
(128)
Computer science.
(120)
Software engineering.
(89)
Artificial intelligence.
(41)
Computer software.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
133 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Circuit Design Selected Methods
Logic Circuit Design Selected Methods
Author 
Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27657-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Digital logic design a rigorous approach
Digital logic design a rigorous approach
Author 
Even, Guy. Medina, Moti, 1979-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The NCL Natural Constraint Language
The NCL Natural Constraint Language
Author 
Zhou, Jianyang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23845-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Author 
Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27269-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
Author 
Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27872-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27901-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Author 
Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28279-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Language and Automata Theory and Applications 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Author 
Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings
Author 
Lukasiewicz, Thomas. editor. Sali, Attila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28472-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets