Limit Search Results
Author
SpringerLink (Online service)
(98)
Chen, Jianer. editor.
(2)
Governatori, Guido. editor.
(2)
Hofmeister, Christine. editor.
(2)
Palsberg, Jens. editor.
(2)
Language
English
(101)
Subject
Logic design.
(99)
Computer science.
(93)
Software engineering.
(55)
Computer software.
(27)
Artificial intelligence.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
103 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Fundamentals of digital logic with VHDL design
Fundamentals of digital logic with VHDL design
Author 
Brown, Stephen D. Vranesic, Zvonko G.
Preferred Shelf Number 
TK7888.4 B76 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Electronics System Design Techniques for Safety Critical Applications
Electronics System Design Techniques for Safety Critical Applications
Author 
Sterpone, Luca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair
Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair
Author 
Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9365-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Introduction to Embedded System Design Using Field Programmable Gate Arrays
Introduction to Embedded System Design Using Field Programmable Gate Arrays
Author 
Dubey, Rahul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-016-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Author 
Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-745-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Pattern Calculus Computing with Functions and Structures
Pattern Calculus Computing with Functions and Structures
Author 
Jay, Barry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89185-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author 
Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00255-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action