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
Limit Search Results
Narrowed by:
Included
Subject: Logic design.
Author
Include
Exclude
SpringerLink (Online service)
(411)
Voronkov, Andrei. editor.
(7)
Stafford, Judith A. editor.
(6)
Boer, Frank S. editor.
(5)
Bonsangue, Marcello M. editor.
(5)
Graf, Susanne. editor.
(5)
Liu, Zhiming. editor.
(5)
Woodcock, Jim. editor.
(5)
Barthe, Gilles. editor.
(4)
Bernardo, Marco. editor.
(4)
Dix, Jürgen. editor.
(4)
Fages, François. editor.
(4)
Fiadeiro, José Luiz. editor.
(4)
Jacko, Julie A. editor.
(4)
Montanari, Ugo. editor.
(4)
Reussner, Ralf. editor.
(4)
Roever, Willem-Paul. editor.
(4)
Rossi, Francesca. editor.
(4)
Schwiegelshohn, Uwe. editor.
(4)
ScienceDirect (Online service)
(4)
Zavattaro, Gianluigi. editor.
(4)
Aßmann, Uwe. editor.
(3)
Baldoni, Matteo. editor.
(3)
Bordini, Rafael H. editor.
(3)
Broy, Manfred. editor.
(3)
Crnkovic, Ivica. editor.
(3)
Dastani, Mehdi. editor.
(3)
Frachtenberg, Eitan. editor.
(3)
Gorrieri, Roberto. editor.
(3)
Guelfi, Nicolas. editor.
(3)
Heckel, Reiko. editor.
(3)
Heineman, George T. editor.
(3)
Hermanns, Holger. editor.
(3)
Higashino, Teruo. editor.
(3)
Ibarra, Oscar H. editor.
(3)
Jones, Cliff B. editor.
(3)
Leucker, Martin. editor.
(3)
Meseguer, José. editor.
(3)
Métais, Elisabeth. editor.
(3)
Nicola, Rocco. editor.
(3)
Palanque, Philippe. editor.
(3)
Reed, Rick. editor.
(3)
Rozenberg, Grzegorz. editor.
(3)
Schmidt, Heinz W. editor.
(3)
Sichman, Jaime Simão. editor.
(3)
Stenström, Per. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Szyperski, Clemens. editor.
(3)
Ungerer, Theo. editor.
(3)
Aldini, Alessandro. editor.
(2)
Allemang, Dean. editor.
(2)
Baader, Franz. editor.
(2)
Baroglio, Cristina. editor.
(2)
Becker, Steffen. editor.
(2)
Beckert, Bernhard. editor.
(2)
Bin, Eyal. editor.
(2)
Bjørner, Dines. author.
(2)
Boissier, Olivier. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Bravetti, Mario. editor.
(2)
Butler, Michael. editor.
(2)
Butterfield, Andrew. editor.
(2)
Cervesato, Iliano. editor.
(2)
Decker, Stefan. editor.
(2)
Degano, Pierpaolo. editor.
(2)
Dignum, Virginia. editor.
(2)
Edelkamp, Stefan. editor.
(2)
Ehrig, Hartmut. editor.
(2)
Eijk, Rogier M. editor.
(2)
Endriss, Ulle. editor.
(2)
Etalle, Sandro. editor.
(2)
Fallah Seghrouchni, Amal. editor.
(2)
Gibbons, Jeremy. editor.
(2)
Gorton, Ian. editor.
(2)
Grelck, Clemens. editor.
(2)
Grieskamp, Wolfgang. editor.
(2)
Grumberg, Orna. editor.
(2)
Harrison, Michael D. editor.
(2)
Hartman, Alan. editor.
(2)
Havelund, Klaus. editor.
(2)
Hermenegildo, Manuel V. editor.
(2)
Hinchey, Michael G. editor.
(2)
Horimoto, Katsuhisa. editor.
(2)
Horváth, Zoltán. editor.
(2)
Huch, Frank. editor.
(2)
Huisman, Marieke. editor.
(2)
Hähnle, Reiner. editor.
(2)
Karhumäki, Juhani. editor.
(2)
Kordon, Fabrice. editor.
(2)
Krüger, Ingolf H. editor.
(2)
Kudenko, Daniel. editor.
(2)
Lanet, Jean-Louis. editor.
(2)
Leue, Stefan. 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)
Małuszyński, Jan. editor.
(2)
Meisinger, Michael. 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)
Müller, Jörg P. editor.
(2)
Najm, Elie. editor.
(2)
Namjoshi, Kedar S. editor.
(2)
Noriega, Pablo. 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)
Palsberg, Jens. editor.
(2)
Paschke, Adrian. editor.
(2)
Paulin-Mohring, Christine. editor.
(2)
Peled, Doron A. editor.
(2)
Pfenning, Frank. editor.
(2)
Pichler, Franz. editor.
(2)
Pol, Jaco. editor.
(2)
Quesada Arencibia, Alexis. editor.
(2)
Rensink, Arend. editor.
(2)
Roşu, Grigore. editor.
(2)
Rudolph, Larry. editor.
(2)
Sagiv, Mooly. editor.
(2)
Shankar, Natarajan. editor.
(2)
Sokolsky, Oleg. 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)
Torroni, Paolo. editor.
(2)
Trinder, Phil. editor.
(2)
Ur, Shmuel. editor.
(2)
Urzyczyn, Paweł. editor.
(2)
Veith, Helmut. editor.
(2)
Vounckx, Johan. editor.
(2)
Vázquez-Salceda, Javier. editor.
(2)
Wallnau, Kurt. editor.
(2)
Winikoff, Michael. editor.
(2)
Wirsing, Martin. editor.
(2)
Yi, Kwangkeun. editor.
(2)
Zambonelli, Franco. editor.
(2)
Zsók, Viktória. editor.
(2)
Zuck, Lenore D. editor.
(2)
Abadi, Martín. editor.
(1)
Abdallah, Ali E. editor.
(1)
Aberer, Karl. editor.
(1)
Abrahamsson, Pekka. editor.
(1)
Aceto, Luca. editor.
(1)
Adi, Asaf. editor.
(1)
Akehurst, David H. editor.
(1)
Aksit, Mehmet. editor.
(1)
Al-Begain, Khalid. editor.
(1)
Alfaro, Luca. editor.
(1)
Alonistioti, Nancy. editor.
(1)
Alonso, Eduardo. editor.
(1)
Alpuente, María. editor.
(1)
Altenkirch, Thorsten. editor.
(1)
Amadio, Roberto. editor.
(1)
Anai, Hirokazu. editor.
(1)
Anderson, Thomas. editor.
(1)
Andrade, Aline Maria Santos. editor.
(1)
Antoniou, Grigoris. editor.
(1)
Anutariya, Chutiporn. editor.
(1)
Araki, Keijiro. editor.
(1)
Arbab, Farhad. editor.
(1)
Armando, Alessandro. editor.
(1)
Aroyo, Lora M. editor.
(1)
Artemov, Sergei N. editor.
(1)
Arun-Kumar, S. editor.
(1)
Arvind, V. editor.
(1)
Asarin, Eugene. editor.
(1)
Assis Silva, Flávio Morais. editor.
(1)
Audebaud, Philippe. editor.
(1)
Azemard, Nadine. editor.
(1)
Azevedo, Francisco. editor.
(1)
Azémard, Nadine. editor.
(1)
Backhouse, Roland. editor.
(1)
Baier, Christel. editor.
(1)
Bailey, Brian. editor.
(1)
Baker, Bonnie (Bonnie C.)
(1)
Baker, Bonnie.
(1)
Ball, Thomas. editor.
(1)
Banach, Richard. editor.
(1)
Banâtre, Jean-Pierre. editor.
(1)
Barahona, Pedro. editor.
(1)
Baresi, Luciano. editor.
(1)
Barkalov, Alexander. editor.
(1)
Barkaoui, Kamel. editor.
(1)
Barley, Michael Wayne. editor.
(1)
Bassiliades, Nick. editor.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
(421)
Book
(5)
Supplementary CD-ROM
(1)
Language
Include
Exclude
English
(425)
Turkish
(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
(115)
2005
(108)
2008
(99)
2006
(96)
2002
(2)
2010
(2)
1984
(1)
1990
(1)
2000
(1)
2001
(1)
2012
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(406)
Logics and Meanings of Programs.
(382)
Software engineering.
(280)
Programming Languages, Compilers, Interpreters.
(200)
Mathematical Logic and Formal Languages.
(147)
Computer Communication Networks.
(133)
Programming Techniques.
(122)
Artificial Intelligence (incl. Robotics).
(111)
Artificial intelligence.
(111)
Computation by Abstract Devices.
(56)
Operating systems (Computers).
(48)
Algorithm Analysis and Problem Complexity.
(46)
Computer software.
(46)
Information Systems.
(44)
Management of Computing and Information Systems.
(44)
Operating Systems.
(44)
Special Purpose and Application-Based Systems.
(34)
Algebra -- Data processing.
(25)
Information systems.
(25)
Symbolic and Algebraic Manipulation.
(25)
Computational complexity.
(24)
Discrete Mathematics in Computer Science.
(24)
Information Storage and Retrieval.
(23)
Information storage and retrieval systems.
(23)
Multimedia Information Systems.
(21)
Multimedia systems.
(21)
Processor Architectures.
(21)
Computer system performance.
(20)
Data structures (Computer science).
(20)
System Performance and Evaluation.
(20)
Data Structures.
(18)
User Interfaces and Human Computer Interaction.
(18)
Computer simulation.
(17)
Simulation and Modeling.
(17)
Information Systems Applications (incl.Internet).
(13)
Information theory.
(13)
Theory of Computation.
(13)
Computers and Society.
(11)
Logic, Symbolic and mathematical.
(11)
Arithmetic and Logic Structures.
(10)
Computer aided design.
(10)
Computer-Aided Engineering (CAD, CAE) and Design.
(10)
Database management.
(10)
Electronic books.
(10)
Mathematical Logic and Foundations.
(10)
Software Engineering/Programming and Operating Systems.
(10)
Electronic data processing.
(9)
Models and Principles.
(9)
Computer Systems Organization and Communication Networks.
(8)
Computer network architectures.
(8)
Numeric Computing.
(8)
Circuits and Systems.
(7)
Coding and Information Theory.
(7)
Coding theory.
(7)
Data Mining and Knowledge Discovery.
(7)
Data mining.
(7)
Data transmission systems.
(7)
Engineering.
(7)
Input/Output and Data Communications.
(7)
Systems engineering.
(7)
Bioinformatics.
(6)
Computer Appl. in Administrative Data Processing.
(6)
Data protection.
(6)
Information Systems and Communication Service.
(6)
Systems and Data Security.
(6)
Algorithms.
(5)
Computational Biology/Bioinformatics.
(5)
Data Encryption.
(5)
Data encryption (Computer science).
(5)
Digital electronics.
(5)
Electronics and Microelectronics, Instrumentation.
(5)
Electronics.
(5)
Business Information Systems.
(4)
Electronic and Computer Engineering.
(4)
Logic circuits.
(4)
Management information systems.
(4)
Mathematics of Computing.
(4)
Performance and Reliability.
(4)
Computer architecture.
(3)
Digital integrated circuits -- Design and construction.
(3)
Digital integrated circuits.
(3)
Electronic digital computers -- Circuits.
(3)
Language Translation and Linguistics.
(3)
Translators (Computer programs).
(3)
Communications Engineering, Networks.
(2)
Data Structures, Cryptology and Information Theory.
(2)
Document Preparation and Text Processing.
(2)
Engineering design.
(2)
Logic.
(2)
Mathematics.
(2)
Memory Structures.
(2)
Memory management (Computer science).
(2)
Telecommunication.
(2)
Text processing (Computer science.
(2)
Appl.Mathematics/Computational Methods of Engineering.
(1)
Applications of Mathematics.
(1)
Asynchronous circuits -- Design and construction.
(1)
Automatic control.
(1)
Chemistry -- Mathematics.
(1)
Chemistry.
(1)
Computational Science and Engineering.
(1)
Computer engineering.
(1)
Computer hardware.
(1)
Computing Methodologies.
(1)
Control Engineering.
(1)
Control Structures and Microprogramming.
(1)
Control theory.
(1)
Elctronic digital computers -- Circuits.
(1)
Electrical Engineering.
(1)
Electronic books. -- local.
(1)
Engineering mathematics.
(1)
Integrated circuits.
(1)
Linguistics -- Philosophy.
(1)
Math. Applications in Chemistry.
(1)
Microprogramming.
(1)
Optical and Electronic Materials.
(1)
Optical materials.
(1)
Optical pattern recognition.
(1)
Pattern Recognition.
(1)
Philosophy (General).
(1)
Philosophy of Language.
(1)
Philosophy of Science.
(1)
Philosophy.
(1)
Probability and Statistics in Computer Science.
(1)
Process control.
(1)
Science -- Philosophy.
(1)
Switching theory.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- General.
(1)
TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Integrated.
(1)
More
View All
Fewer
Collapse All
Shelf Location
Include
Exclude
Springer Collection
(411)
Online
(5)
On Shelf
(5)
Ebrary Collection
(4)
Knovel Collection
(1)
Library
Include
Exclude
IYTE Library
(426)
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
No results found