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
651 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
..
51
52
53
54
55
000
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.
649.
Digital design principles and practices.
Digital design principles and practices.
by
Wakerly, John F.
Format:
Books
650.
Fundamentals of computer engineering : logic design and microprocessors
Fundamentals of computer engineering : logic design and microprocessors
by
Lam, Herman, author
Format:
Books
651.
Digital design
Digital design
by
Mano, M. Morris.
Format:
Books
Select All
1
..
51
52
53
54
55
651 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
Language: English
Included
Subject: Logic design.
Author
Include
Exclude
SpringerLink (Online service)
(620)
Voronkov, Andrei. editor.
(9)
Liu, Zhiming. editor.
(7)
Stafford, Judith A. editor.
(6)
Bernardo, Marco. editor.
(5)
Boer, Frank S. editor.
(5)
Bonsangue, Marcello M. editor.
(5)
Graf, Susanne. editor.
(5)
Huisman, Marieke. editor.
(5)
Woodcock, Jim. editor.
(5)
Baldoni, Matteo. editor.
(4)
Barthe, Gilles. editor.
(4)
Butler, Michael. editor.
(4)
Crnkovic, Ivica. editor.
(4)
Dix, Jürgen. editor.
(4)
Fages, François. editor.
(4)
Fiadeiro, José Luiz. editor.
(4)
Jacko, Julie A. editor.
(4)
Leucker, Martin. editor.
(4)
Montanari, Ugo. editor.
(4)
Reussner, Ralf. editor.
(4)
Roever, Willem-Paul. editor.
(4)
Rossi, Francesca. editor.
(4)
Rozenberg, Grzegorz. editor.
(4)
Schwiegelshohn, Uwe. editor.
(4)
ScienceDirect (Online service)
(4)
Sichman, Jaime Simão. editor.
(4)
Skavhaug, Amund. editor.
(4)
Steffen, Bernhard. editor.
(4)
Zavattaro, Gianluigi. editor.
(4)
Aßmann, Uwe. editor.
(3)
Beckert, Bernhard. editor.
(3)
Bordini, Rafael H. editor.
(3)
Broy, Manfred. editor.
(3)
Chechik, Marsha. editor.
(3)
Dastani, Mehdi. editor.
(3)
Dignum, Virginia. editor.
(3)
Dongarra, Jack. editor.
(3)
Frachtenberg, Eitan. editor.
(3)
Fu, Haohuan. editor.
(3)
Gorrieri, Roberto. editor.
(3)
Guelfi, Nicolas. editor.
(3)
Harris, David Money.
(3)
Harris, Sarah L.
(3)
Heckel, Reiko. editor.
(3)
Heineman, George T. editor.
(3)
Hermanns, Holger. editor.
(3)
Higashino, Teruo. editor.
(3)
Hähnle, Reiner. editor.
(3)
Ibarra, Oscar H. editor.
(3)
Jones, Cliff B. editor.
(3)
Kordon, Fabrice. editor.
(3)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(3)
Lees, Michael Harold. editor.
(3)
Liu, Shaoying. editor.
(3)
Margaria, Tiziana. editor.
(3)
Meseguer, José. editor.
(3)
Métais, Elisabeth. editor.
(3)
Nicola, Rocco. editor.
(3)
Noriega, Pablo. editor.
(3)
Palanque, Philippe. editor.
(3)
Palsberg, Jens. editor.
(3)
Reed, Rick. editor.
(3)
Schmidt, Heinz W. editor.
(3)
Shi, Yong. editor.
(3)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(3)
Stenström, Per. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Szyperski, Clemens. editor.
(3)
Tian, Yingjie. editor.
(3)
Torroni, Paolo. editor.
(3)
Trinder, Phil. editor.
(3)
Ungerer, Theo. editor.
(3)
Aldini, Alessandro. editor.
(2)
Allemang, Dean. editor.
(2)
Artho, Cyrille. editor.
(2)
Baader, Franz. editor.
(2)
Baroglio, Cristina. editor.
(2)
Becker, Steffen. editor.
(2)
Bertossi, Leopoldo. editor.
(2)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Bin, Eyal. editor.
(2)
Bitsch, Friedemann. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bjørner, Dines. author.
(2)
Boissier, Olivier. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Bošnački, Dragan. editor.
(2)
Bravetti, Mario. editor.
(2)
Butterfield, Andrew. editor.
(2)
Cervesato, Iliano. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
De Nicola, Rocco. editor.
(2)
Decker, Stefan. editor.
(2)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Degano, Pierpaolo. editor.
(2)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(2)
Duan, Zhenhua. editor.
(2)
Edelkamp, Stefan. editor.
(2)
Ehrig, Hartmut. editor.
(2)
Eijk, Rogier M. editor.
(2)
Endriss, Ulle. editor.
(2)
Etalle, Sandro. editor.
(2)
Falcone, Yliès. editor.
(2)
Fallah Seghrouchni, Amal. editor.
(2)
Fant, Karl M.
(2)
Farzan, Azadeh. editor.
(2)
Fitzgerald, John. editor.
(2)
Fränzle, Martin. editor.
(2)
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
(2)
Gibbons, Jeremy. editor.
(2)
Gnesi, Stefania. editor.
(2)
Gorton, Ian. editor.
(2)
Governatori, Guido. editor.
(2)
Grabowski, Jens. editor.
(2)
Grelck, Clemens. editor.
(2)
Grieskamp, Wolfgang. editor.
(2)
Grumberg, Orna. editor.
(2)
Guiochet, Jérémie. editor.
(2)
Hankin, Chris. editor.
(2)
Harrison, Michael D. editor.
(2)
Hartman, Alan. editor.
(2)
Havelund, Klaus. editor.
(2)
Hermenegildo, Manuel V. editor.
(2)
Hillston, Jane. editor.
(2)
Hinchey, Michael G. editor.
(2)
Holdsworth, B. (Brian)
(2)
Horimoto, Katsuhisa. editor.
(2)
Horváth, Zoltán. editor.
(2)
Huch, Frank. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Karczewski, Konrad. editor.
(2)
Karhumäki, Juhani. editor.
(2)
King, Andy. editor.
(2)
Krüger, Ingolf H. editor.
(2)
Kudenko, Daniel. editor.
(2)
Lanese, Ivan. editor.
(2)
Lanet, Jean-Louis. editor.
(2)
Lecomte, Thierry. editor.
(2)
Leue, Stefan. editor.
(2)
Li, Jin. editor.
(2)
Mano, M. Morris, 1927-
(2)
Marchesi, Michele. editor.
(2)
Marchiori, Massimo. editor.
(2)
Margenstern, Maurice. editor.
(2)
Matson, Eric. editor.
(2)
Maynard, Diana. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Małuszyński, Jan. editor.
(2)
McBride, Conor. editor.
(2)
Meisinger, Michael. editor.
(2)
Merino, Pedro. editor.
(2)
Meyer, Bertrand. editor.
(2)
Michaelson, Greg J. editor.
(2)
Mika, Peter. editor.
(2)
Mizoguchi, Riichiro. editor.
(2)
Moreno Díaz, Roberto. editor.
(2)
Morrison, Ralph.
(2)
Müller, Jörg P. editor.
(2)
Najm, Elie. editor.
(2)
Namjoshi, Kedar S. editor.
(2)
Nerode, Anil. editor.
(2)
Núñez, Manuel. editor.
(2)
Omicini, Andrea. editor.
(2)
Orejas, Fernando. editor.
(2)
Ossowski, Sascha. editor.
(2)
Overhage, Sven. editor.
(2)
Padget, Julian. editor.
(2)
Padgham, Lin. editor.
(2)
Paech, Barbara. editor.
(2)
Paschke, Adrian. editor.
(2)
Paulin-Mohring, Christine. editor.
(2)
Peled, Doron A. editor.
(2)
Pfenning, Frank. editor.
(2)
Pichler, Franz. editor.
(2)
Podelski, Andreas. editor.
(2)
Pogodalla, Sylvain. editor.
(2)
Pol, Jaco. editor.
(2)
Potapov, Igor. editor.
(2)
Quesada Arencibia, Alexis. editor.
(2)
Raskin, Jean-François. editor.
(2)
Rensink, Arend. editor.
(2)
Ribeiro, Leila. editor.
(2)
Roman, Dumitru. editor.
(2)
Roşu, Grigore. editor.
(2)
Rudolph, Larry. editor.
(2)
Sagiv, Mooly. editor.
(2)
Schmitt, Peter H. editor.
(2)
Shankar, Natarajan. editor.
(2)
Smoszna, Marek.
(2)
Sokolsky, Oleg. editor.
(2)
Son, Tran Cao. editor.
(2)
Succi, Giancarlo. editor.
(2)
Suzuki, Kenji. editor.
(2)
Szyperski, Clemens A. editor.
(2)
Südholt, Mario. editor.
(2)
Taentzer, Gabriele. editor.
(2)
Telek, Miklós. editor.
(2)
Thomas, Wolfgang. editor.
(2)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
(645)
Book
(6)
Supplementary CD-ROM
(1)
Publication Date
Include
Exclude
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
From Publication Year
-
To Publication Year
2007
(114)
2005
(109)
2016
(108)
2018
(104)
2008
(99)
2006
(96)
2002
(4)
2012
(4)
2010
(3)
2017
(3)
1984
(1)
1988
(1)
1990
(1)
2000
(1)
2009
(1)
2013
(1)
2015
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(572)
Logics and Meanings of Programs.
(551)
Software engineering.
(424)
Programming Languages, Compilers, Interpreters.
(286)
Mathematical Logic and Formal Languages.
(249)
Artificial intelligence.
(194)
Programming Techniques.
(164)
Computer Communication Networks.
(159)
Artificial Intelligence (incl. Robotics).
(111)
Algorithm Analysis and Problem Complexity.
(88)
Computer software.
(88)
Computation by Abstract Devices.
(83)
Operating systems (Computers).
(65)
Operating Systems.
(61)
Information Systems.
(58)
Management of Computing and Information Systems.
(58)
Special Purpose and Application-Based Systems.
(52)
Computer network architectures.
(43)
Computer system performance.
(42)
System Performance and Evaluation.
(42)
Computer simulation.
(40)
Simulation and Modeling.
(40)
Computational complexity.
(38)
Discrete Mathematics in Computer Science.
(38)
Processor Architectures.
(36)
Computer Systems Organization and Communication Networks.
(33)
Information Storage and Retrieval.
(31)
Information systems.
(31)
Algebra -- Data processing.
(27)
Symbolic and Algebraic Manipulation.
(27)
Software Engineering/Programming and Operating Systems.
(25)
Data Structures.
(24)
Information storage and retrieval systems.
(23)
Information Systems Applications (incl. Internet).
(22)
User Interfaces and Human Computer Interaction.
(22)
Multimedia Information Systems.
(21)
Multimedia systems.
(21)
Data structures (Computer science).
(20)
Electronic books.
(18)
Information theory.
(18)
Theory of Computation.
(18)
Systems and Data Security.
(17)
Systems engineering.
(17)
Arithmetic and Logic Structures.
(15)
Database management.
(15)
Circuits and Systems.
(14)
Electronic data processing.
(14)
Logic, Symbolic and mathematical.
(14)
Information Systems Applications (incl.Internet).
(13)
Numeric Computing.
(13)
Digital electronics.
(12)
Mathematical Logic and Foundations.
(12)
Models and Principles.
(12)
Structure logique.
(12)
Computer security.
(11)
Computers and Society.
(11)
Electronics.
(11)
Probability and Statistics in Computer Science.
(11)
Computer System Implementation.
(10)
Computer aided design.
(10)
Computer industry.
(10)
Computer-Aided Engineering (CAD, CAE) and Design.
(10)
Data Mining and Knowledge Discovery.
(10)
Data mining.
(10)
Data structures (Computer scienc.
(10)
Engineering.
(10)
The Computing Profession.
(10)
Bioinformatics.
(9)
Coding and Information Theory.
(9)
Coding theory.
(9)
Computer Appl. in Administrative Data Processing.
(9)
Information Systems and Communication Service.
(9)
Mathematics of Computing.
(9)
Computational Biology/Bioinformatics.
(8)
Data encryption (Computer science).
(8)
Data protection.
(8)
Data transmission systems.
(8)
Electronics and Microelectronics, Instrumentation.
(8)
Information storage and retrieva.
(8)
Input/Output and Data Communications.
(8)
Computer architecture.
(7)
Computer vision.
(6)
Computing Milieux.
(6)
Algorithms.
(5)
Computer hardware.
(5)
Data Encryption.
(5)
Image Processing and Computer Vision.
(5)
Électronique numérique.
(5)
Business Information Systems.
(4)
Computer Appl. in Social and Behavioral Sciences.
(4)
Computer Applications.
(4)
Data Structures and Information Theory.
(4)
Electronic and Computer Engineering.
(4)
Logic circuits.
(4)
Management information systems.
(4)
Performance and Reliability.
(4)
Social sciences -- Data processing.
(4)
Bricolage -- Logiciels.
(3)
Cryptology.
(3)
Digital integrated circuits -- Design and construction.
(3)
Digital integrated circuits.
(3)
Do-it-yourself work -- Software.
(3)
Do-it-yourself work.
(3)
Electronic digital computers -- Circuits.
(3)
Electronics
(3)
Field programmable gate arrays -- Computer-aided design.
(3)
Ingénierie des systèmes.
(3)
Language Translation and Linguistics.
(3)
Logic.
(3)
Math Applications in Computer Science.
(3)
Memory Structures.
(3)
Natural Language Processing (NLP).
(3)
Natural language processing (Computer science).
(3)
Ordinateurs -- Architecture.
(3)
Quantum Computing.
(3)
Réseaux logiques programmables par l'utilisateur -- Conception assistée par ordinateur.
(3)
Software.
(3)
Translators (Computer programs).
(3)
Électronique.
(3)
Asynchronous circuits -- Design and construction.
(2)
Communications Engineering, Networks.
(2)
Computational Intelligence.
(2)
Computer engineering.
(2)
Computers and Education.
(2)
Control Structures and Microprogramming.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Document Preparation and Text Processing.
(2)
Education.
(2)
Electrical Engineering.
(2)
Electronic Circuits and Devices.
(2)
Electronic circuit design.
(2)
Engineering design.
(2)
IT in Business.
(2)
Information technology.
(2)
Integrated circuits.
(2)
Mathematics.
(2)
Memory management (Computer science).
(2)
Microprogramming.
(2)
Security.
(2)
TECHNOLOGY & ENGINEERING -- Electronics -- Digital.
(2)
TECHNOLOGY & ENGINEERING -- Electronics -- Microelectronics.
(2)
Telecommunication.
(2)
Text processing (Computer science.
(2)
Transistor circuits.
(2)
Appl.Mathematics/Computational Methods of Engineering.
(1)
Applications of Mathematics.
(1)
Automatic control.
(1)
COMPUTERS -- Logic Design.
(1)
Chemistry -- Mathematics.
(1)
Chemistry.
(1)
Circuits intégrés.
(1)
Circuits transistorisés.
(1)
Circuits électroniques -- Calcul.
(1)
Computational Science and Engineering.
(1)
Computational linguistics.
(1)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(1)
Computer Science, general.
(1)
Computer organization.
(1)
Computing Methodologies.
(1)
Control Engineering.
(1)
Control and Systems Theory.
(1)
Control theory.
(1)
Digital electronics -- Computer-aided design.
(1)
Elctronic digital computers -- Circuits.
(1)
Electronic books. -- local.
(1)
Engineering
(1)
Engineering mathematics.
(1)
Health Informatics.
(1)
History of Computing.
(1)
Ingénierie.
(1)
Intégrité de signal (Électronique)
(1)
Linguistics -- Philosophy.
(1)
Logique symbolique et mathématique.
(1)
Math. Applications in Chemistry.
(1)
Mathematical Applications in Computer Science.
(1)
Medical records -- Data processing.
(1)
Memory management (Computer scie.
(1)
Microprocessors.
(1)
Neurology.
(1)
Optical and Electronic Materials.
(1)
Optical materials.
(1)
Optical pattern recognition.
(1)
Ordinateurs -- Conception et construction.
(1)
Pattern Recognition.
(1)
Philosophy (General).
(1)
Philosophy of Language.
(1)
Philosophy of Science.
(1)
Philosophy.
(1)
Process control.
(1)
Quantum Physics.
(1)
Quantum theory.
(1)
Register-Transfer-Level Implementation.
(1)
Science -- Philosophy.
(1)
Signal integrity (Electronics)
(1)
Switching theory.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- General.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.
(1)
TECHNOLOGY & ENGINEERING -- Mechanical.
(1)
More
View All
Fewer
Collapse All
Shelf Location
Include
Exclude
Springer Collection
(620)
O'reilly E-Books
(12)
Ebrary Collection
(7)
On Shelf
(6)
Online
(5)
Knovel Collection
(1)
More
View All
Fewer
Collapse All
Library
Include
Exclude
IYTE Library
(651)
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}