Limit Search Results
Author
SpringerLink (Online service)
(107)
Aßmann, Uwe. editor.
(2)
Fiadeiro, José Luiz. editor.
(2)
Michaelson, Greg J. editor.
(2)
Orejas, Fernando. editor.
(2)
Language
Subject
Logic design.
(110)
Computer science.
(104)
Software engineering.
(70)
Computer Communication Networks.
(30)
Artificial intelligence.
(28)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
118 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Introduction to logic design
Introduction to logic design
Author 
Marcovitz, Alan B.
Preferred Shelf Number 
TK7868 L6 M355 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Logic design of nanoICs
Logic design of nanoICs
Author 
Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number 
TK7874.8 .Y36 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of digital logic and microcomputer design
Fundamentals of digital logic and microcomputer design
Author 
Rafiquzzaman, Mohamed.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=232609
John Wiley http://dx.doi.org/10.1002/0471733520
John Wiley http://dx.doi.org/10.1002/9780471733522
http://www3.interscience.wiley.com/cgi-bin/bookhome/110551380
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logically determined design clockless system design with NULL convention logic
Logically determined design clockless system design with NULL convention logic
Author 
Fant, Karl M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Author 
Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer-aided intelligent recognition techniques and applications
Computer-aided intelligent recognition techniques and applications
Author 
Sarfraz, Muhammad. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0470094168
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Baker's dozen real analog solutions for digital designers
A Baker's dozen real analog solutions for digital designers
Author 
Baker, Bonnie (Bonnie C.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678193
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Author 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104217
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems
Author 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138392
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
Author 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138249
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Einführung in die Informatik Objektorientiert mit Java
Einführung in die Informatik Objektorientiert mit Java
Author 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138253
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action