Logging in...
User ID
:
Password
:
Register
Forgot your PIN?
Forgot my PIN
Enter your username and a recovery link will be emailed to the email address on file at your library.
User ID
:
Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Rooms Restriction Values
All Fields
Title
Author
General Note
Keyword in Author headings
Subject
Keyword in Subject headings
ISBN
Preferred Shelf Number
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.
Advanced Search
Home Room
Book Collection
E-Book Collection
Multimedia Collection
Thesis Collection
Transportation Engineering Collection
Periodicals Collections
Green Campus
109 Results Found
Actions:
Add to My Lists
Email
Print
Place Hold(s)
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Select All
1
..
6
7
8
9
10
0
DEFAULT
Select a list
Temporary List
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
One or more items could not be added because you are not logged in.
109.
Logically determined design : clockless system design with NULL convention logic
Logically determined design : clockless system design with NULL convention logic
by
Fant, Karl M.
https://learning.oreilly.com/library/view/~/9780471684787
https://learning.oreilly.com/library/view/~/9780471684787/?ar
https://go.oreilly.com/library-access/library/view/-/9780471684787/?ar
Format:
Electronic Resources
Select All
1
..
6
7
8
9
10
109 Results Found
Actions:
Add to My Lists
Email
Print
Place Hold(s)
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
Limit Search Results
Narrowed by:
Included
Publication Date: 2005
Included
Subject: Logic design.
Author
Include
Exclude
SpringerLink (Online service)
(105)
Aßmann, Uwe. editor.
(2)
Fant, Karl M.
(2)
Fiadeiro, José Luiz. editor.
(2)
Michaelson, Greg J. editor.
(2)
Orejas, Fernando. editor.
(2)
Rudolph, Larry. editor.
(2)
Schwiegelshohn, Uwe. editor.
(2)
Stafford, Judith A. editor.
(2)
Trinder, Phil. editor.
(2)
Voronkov, Andrei. editor.
(2)
Zavattaro, Gianluigi. editor.
(2)
Abadi, Martín. editor.
(1)
Abdallah, Ali E. editor.
(1)
Adi, Asaf. editor.
(1)
Aksit, Mehmet. editor.
(1)
Aldini, Alessandro. editor.
(1)
Alfaro, Luca. editor.
(1)
Alonistioti, Nancy. editor.
(1)
Alonso, Eduardo. editor.
(1)
Anderson, Thomas. editor.
(1)
Andrade, Aline Maria Santos. editor.
(1)
Araki, Keijiro. editor.
(1)
Assis Silva, Flávio Morais. editor.
(1)
Baader, Franz. editor.
(1)
Bailey, Brian. editor.
(1)
Baker, Bonnie (Bonnie C.)
(1)
Baker, Bonnie.
(1)
Banach, Richard. editor.
(1)
Barley, Michael Wayne. editor.
(1)
Barthe, Gilles. editor.
(1)
Baumeister, Hubert. editor.
(1)
Becker, Steffen. editor.
(1)
Beek, Peter. editor.
(1)
Benjamins, V. Richard. editor.
(1)
Bernardo, Marco. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Black, Andrew P. editor.
(1)
Bodik, Rastislav. editor.
(1)
Boer, Frank S. editor.
(1)
Bogliolo, Alessandro. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bordini, Rafael H. editor.
(1)
Borrione, Dominique. editor.
(1)
Brauer, W. editor.
(1)
Bravetti, Mario. editor.
(1)
Broy, Manfred. editor.
(1)
Burdy, Lilian. editor.
(1)
Cabeza, Daniel. editor.
(1)
Calude, Cristian S. editor.
(1)
Calude, Elena. editor.
(1)
Caromel, Denis. author.
(1)
Cerioli, Maura. editor.
(1)
Chang, Chip-Hong. editor.
(1)
Conte, Tom. editor.
(1)
Coppo, Mario. editor.
(1)
Cosp, Jordi. editor.
(1)
Cousot, Radhia. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Crossley, John Newsome. author.
(1)
Dahll, Gustav. editor.
(1)
Dastani, Mehdi. editor.
(1)
Dearle, Alan. editor.
(1)
Dignum, Frank. editor.
(1)
Dinneen, Michael J. editor.
(1)
Dix, Jürgen. editor.
(1)
Eijk, Rogier M. editor.
(1)
Eisenbach, Susan. editor.
(1)
Eisinger, Norbert. editor.
(1)
Etalle, Sandro. editor.
(1)
Etessami, Kousha. editor.
(1)
Fages, François. editor.
(1)
Fallah Seghrouchni, Amal. editor.
(1)
Faltings, Boi V. editor.
(1)
Feitelson, Dror G. editor.
(1)
Feitelson, Dror. editor.
(1)
Felice, Clelia. editor.
(1)
Fiadeiro, José Luiz. author.
(1)
Fitzgerald, John. editor.
(1)
Frachtenberg, Eitan. editor.
(1)
Gabbrielli, Maurizio. editor.
(1)
Gabriel Silva, João. editor.
(1)
Giesl, Jürgen. editor.
(1)
Gil, Yolanda. editor.
(1)
Giorgini, Paolo. editor.
(1)
Godefroid, Patrice. editor.
(1)
Gorrieri, Roberto. editor.
(1)
Grabowski, Jens. editor.
(1)
Graf, Susanne. editor.
(1)
Gran, Bjørn Axel. editor.
(1)
Grelck, Clemens. editor.
(1)
Gschwind, Thomas. editor.
(1)
Guelfi, Nicolas. editor.
(1)
Gupta, Gopal. editor.
(1)
Halbwachs, Nicolas. editor.
(1)
Hankin, Chris. editor.
(1)
Harman, Neil. editor.
(1)
Hartman, Alan. editor.
(1)
Hayes, Ian J. editor.
(1)
Heineman, George T. editor.
(1)
Henrio, Ludovic. author.
(1)
Henson, Martin. editor.
(1)
Hermenegildo, Manuel V. editor.
(1)
Hinchey, Michael G. editor.
(1)
Holcombe, Mike. editor.
(1)
Huch, Frank. editor.
(1)
Huget, Marc-Philippe. editor.
(1)
Huisman, Marieke. editor.
(1)
Hung, Dang. editor.
(1)
Hunter, Anthony. editor.
(1)
Hurd, Joe. editor.
(1)
Hwu, Wen-mei W. editor.
(1)
Jermann, Christophe. editor.
(1)
Jones, Cliff B. editor.
(1)
Jonsson, Bengt. editor.
(1)
Jȩdrzejowicz, Joanna. editor.
(1)
Kasabov, Nik. editor.
(1)
Katoen, Joost-Pieter. editor.
(1)
Kazakov, Dimitar. editor.
(1)
King, Steve. editor.
(1)
Kloul, Leïla. editor.
(1)
Kluge, W. author.
(1)
Kreische, David. editor.
(1)
Kreowski, Hans-Jörg. editor.
(1)
Kudenko, Daniel. editor.
(1)
Kurki-Suonio, Reino. author.
(1)
Kutvonen, Lea. editor.
(1)
Lanet, Jean-Louis. editor.
(1)
Lau, Kung-Kiu. editor.
(1)
Leite, João. editor.
(1)
Leucker, Martin. editor.
(1)
Leue, Stefan. editor.
(1)
Liu, Zhiming. editor.
(1)
Lodaya, Kamal. editor.
(1)
Lodi, Elena. editor.
(1)
Lysaght, Patrick. editor.
(1)
Madrenas, Jordi. editor.
(1)
Mahajan, Meena. editor.
(1)
Malenfant, Jacques. editor.
(1)
Marchesi, Michele. editor.
(1)
Margenstern, Maurice. editor.
(1)
Martin, Grant. editor.
(1)
Martinelli, Fabio. editor.
(1)
Mayer, Johannes. editor.
(1)
Maziero, Carlos Alberto. editor.
(1)
Małuszyński, Jan. editor.
(1)
McIver, Annabelle. author.
(1)
Melham, Tom. editor.
(1)
Middeldorp, Aart. editor.
(1)
Montanari, Ugo. editor.
(1)
Montoyo, Andrés. editor.
(1)
Morari, Manfred. editor.
(1)
Moreno Díaz, Roberto. editor.
(1)
Moreno, J. Manuel. editor.
(1)
Morgan, Carroll. author.
(1)
Mosses, Peter D. editor.
(1)
Motta, Enrico. editor.
(1)
Muntean, Traian. editor.
(1)
Musen, Mark A. editor.
(1)
Muńoz, Rafael. editor.
(1)
Métais, Elisabeth. editor.
(1)
Müller, Jörg P. editor.
(1)
Navarro, Nacho. editor.
(1)
Neumaier, Arnold. editor.
(1)
Nicola, Rocco. editor.
(1)
Nielsen, Brian. editor.
(1)
Nierstrasz, Oscar. editor.
(1)
Nieuwenhuis, Robert. editor.
(1)
Odell, James. editor.
(1)
Omicini, Andrea. editor.
(1)
Ong, Luke. editor.
(1)
Oostrom, Vincent. editor.
(1)
Overhage, Sven. editor.
(1)
Paliouras, Vassilis. editor.
(1)
Paul, Wolfgang. editor.
(1)
Peled, Doron A. editor.
(1)
Petcu, Adrian. editor.
(1)
Pettersson, Paul. editor.
(1)
Peña, Ricardo. editor.
(1)
Pichler, Franz. editor.
(1)
Pinna, G. Michele. editor.
(1)
Poernomo, Iman Hafiz. author.
(1)
Pol, Jaco. editor.
(1)
Pretschner, Alexander. editor.
(1)
Priami, Corrado. editor.
(1)
Prinz, Andreas. editor.
(1)
Quaglia, Paola. editor.
(1)
Quesada Arencibia, Alexis. editor.
(1)
Raamsdonk, Femke. editor.
(1)
Rajamani, Sriram K. editor.
(1)
Rao, Josyula R. editor.
(1)
Rash, James L. editor.
(1)
Reed, Jeanne. editor.
(1)
Reed, Rick. editor.
(1)
Rensink, Arend. editor.
(1)
Restivo, Antonio. editor.
(1)
Reussner, Ralf. editor.
(1)
Roever, Willem-Paul. editor.
(1)
Roggenbach, Markus. editor.
(1)
Romijn, Judi. editor.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
(109)
Language
Include
Exclude
English
(109)
Subject
Include
Exclude
Computer science.
(103)
Logics and Meanings of Programs.
(95)
Software engineering.
(68)
Programming Languages, Compilers, Interpreters.
(51)
Mathematical Logic and Formal Languages.
(40)
Programming Techniques.
(33)
Computer Communication Networks.
(30)
Artificial Intelligence (incl. Robotics).
(28)
Artificial intelligence.
(28)
Operating systems (Computers).
(17)
Computation by Abstract Devices.
(16)
Operating Systems.
(16)
Information Systems.
(12)
Management of Computing and Information Systems.
(12)
Algorithm Analysis and Problem Complexity.
(10)
Computer software.
(10)
Special Purpose and Application-Based Systems.
(10)
Computational complexity.
(7)
Discrete Mathematics in Computer Science.
(7)
Information systems.
(7)
Processor Architectures.
(7)
Computer aided design.
(6)
Computer-Aided Engineering (CAD, CAE) and Design.
(6)
Logic, Symbolic and mathematical.
(6)
Algebra -- Data processing.
(4)
Computer simulation.
(4)
Computers and Society.
(4)
Information Storage and Retrieval.
(4)
Information storage and retrieval systems.
(4)
Mathematical Logic and Foundations.
(4)
Simulation and Modeling.
(4)
Symbolic and Algebraic Manipulation.
(4)
Arithmetic and Logic Structures.
(3)
Coding and Information Theory.
(3)
Coding theory.
(3)
Computer Appl. in Administrative Data Processing.
(3)
Computer Systems Organization and Communication Networks.
(3)
Computer network architectures.
(3)
Computer system performance.
(3)
Data Structures.
(3)
Data structures (Computer science).
(3)
Database management.
(3)
Electronic books.
(3)
Information Systems Applications (incl.Internet).
(3)
Software Engineering/Programming and Operating Systems.
(3)
System Performance and Evaluation.
(3)
Algorithms.
(2)
Asynchronous circuits -- Design and construction.
(2)
Computer architecture.
(2)
Data Encryption.
(2)
Data encryption (Computer science).
(2)
Data transmission systems.
(2)
Digital integrated circuits -- Design and construction.
(2)
Electronic and Computer Engineering.
(2)
Electronic data processing.
(2)
Electronics and Microelectronics, Instrumentation.
(2)
Electronics.
(2)
Engineering.
(2)
Input/Output and Data Communications.
(2)
Multimedia Information Systems.
(2)
Multimedia systems.
(2)
Numeric Computing.
(2)
Bioinformatics.
(1)
Business Information Systems.
(1)
Circuits and Systems.
(1)
Computer engineering.
(1)
Computer hardware.
(1)
Electrical Engineering.
(1)
Engineering design.
(1)
Information Systems and Communication Service.
(1)
Logique symbolique et mathématique.
(1)
Management information systems.
(1)
Mathematics of Computing.
(1)
Models and Principles.
(1)
Ordinateurs -- Architecture.
(1)
Performance and Reliability.
(1)
Structure logique.
(1)
Systems engineering.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Digital.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.
(1)
User Interfaces and Human Computer Interaction.
(1)
More
View All
Fewer
Collapse All
Shelf Location
Include
Exclude
Springer Collection
(105)
Ebrary Collection
(2)
Online
(1)
O'reilly E-Books
(1)
Library
Include
Exclude
IYTE Library
(109)
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}