Search Results for Logic design

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(1207)

Voronkov, Andrei. editor.

(15)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Governatori, Guido. editor.

(6)

Potapov, Igor. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Calude, Cristian S. editor.

(5)

Chen, Wai-Kai, 1936-

(5)

Dastani, Mehdi. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Fages, François. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Graf, Susanne. editor.

(5)

Leite, João. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Castillo, Oscar. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Huisman, Marieke. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

LaMeres, Brock J. author.

(4)

Leucker, Martin. editor.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

Melin, Patricia. editor.

(4)

Meseguer, José. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peña, Ricardo. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Ungerer, Theo. editor.

(4)

Veith, Helmut. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. editor.

(4)

Zsók, Viktória. editor.

(4)

Alpuente, María. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. editor.

(3)

Eekelen, Marko. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fisher, Michael. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fu, Haohuan. editor.

(3)

Gavrilova, Marina L. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hermanns, Holger. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Jones, Cliff B. editor.

(3)

Karhumäki, Juhani. editor.

(3)

Katz, Shmuel. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Kučera, Antonín. editor.

(3)

Lees, Michael Harold. editor.

(3)

Leuschel, Michael. editor.

(3)

Li, Jinwen. editor.

(3)

Liu, Xin. editor.

(3)

Lopes, Antónia. editor.

(3)

Mano, M. Morris

(3)

Markov, Igor L. author.

(3)

Mayr, Heinrich C. editor.

(3)

Małuszyński, Jan. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Na, Zhenyu. editor.

(3)

Nerode, Anil. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Panigrahi, Bijaya Ketan. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rahonis, George. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Shi, Yong. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Taylor and Francis.

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(3)

Wirsing, Martin. editor.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Alfaro, Luca. editor.

(2)

Allemang, Dean. editor.

(2)

Anguita, Davide. author.

(2)

Artemov, Sergei. editor.

(2)

Ayala, José L. editor.

(2)

Baader, Franz. editor.

(2)

Baroglio, Cristina. editor.

(2)

Bartocci, Ezio. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bishop, Robert H., 1957-

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Brown, Stephen D.

(2)

Caro, Jaime. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Language

(1293)

(9)

(2)

(1)

Publication Date

-

(133)

(120)

(119)

(119)

(118)

(115)

(107)

(106)

(103)

(103)

(44)

(41)

(39)

(7)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

(1153)

Computer science.

(1027)

Software engineering.

(743)

Artificial intelligence.

(359)

Computer Communication Networks.

(291)

Computer software.

(201)

Logics and Meanings of Programs.

(104)

Information Systems.

(100)

Computational complexity.

(96)

Operating systems (Computers).

(95)

Information systems.

(66)

Algebra -- Data processing.

(65)

Information theory.

(60)

Mathematical Logic and Formal Languages.

(55)

Computer simulation.

(54)

Computer system performance.

(51)

Programming Languages, Compilers, Interpreters.

(49)

Computer network architectures.

(47)

Data structures (Computer science).

(47)

Information storage and retrieval systems.

(43)

Systems engineering.

(36)

Artificial Intelligence (incl. Robotics).

(31)

(31)

Logic, Symbolic and mathematical.

(31)

Electronic circuits.

(27)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Electronic data processing.

(23)

Microprocessors.

(23)

Programming Techniques.

(23)

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(21)

(21)

Computational intelligence.

(19)

Database management.

(18)

Bioinformatics.

(16)

(15)

Computer aided design.

(15)

Information Systems Applications (incl. Internet).

(15)

Computer vision.

(14)

Data transmission systems.

(14)

Telecommunication.

(14)

(13)

Data encryption (Computer science).

(13)

Electronic Circuits and Systems.

(13)

Electronic books.

(13)

Computer security.

(12)

Digital electronics.

(12)

Discrete Mathematics in Computer Science.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Signal processing.

(12)

Computer architecture.

(11)

Computer hardware.

(11)

Computer engineering.

(10)

Computer industry.

(10)

Logic circuits.

(10)

Communications Engineering, Networks.

(9)

Processor Architectures.

(9)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

MANTIKSAL TASARIM.

(8)

Microprogramming.

(8)

(7)

Engineering design.

(7)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Signal, Speech and Image Processing.

(7)

Translators (Computer programs).

(7)

Computer networks .

(6)

Control engineering.

(6)

MANTIKSAL DEVRELER.

(6)

Simulation and Modeling.

(6)

(5)

Computer communication systems.

(5)

Electronic digital computers -- Circuits.

(5)

Electronics and Microelectronics, Instrumentation.

(5)

Engineering mathematics.

(5)

Information Storage and Retrieval.

(5)

Logic design -- Data processing.

(5)

Mathematical Logic and Foundations.

(5)

Microprogramming .

(5)

Nanotechnology.

(5)

Operating Systems.

(5)

Optical pattern recognition.

(5)

Social sciences -- Data processing.

(5)

Special Purpose and Application-Based Systems.

(5)

Symbolic and Algebraic Manipulation.

(5)

Theory of Computation.

(5)

Arithmetic and Logic Structures.

(4)

Computer Science, general.

(4)

Control, Robotics, Automation.

(4)

Data Mining and Knowledge Discovery.

(4)

Electrical engineering.

(4)

Integrated circuits -- Very large scale integration.

(4)

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

(4)

Probability and Statistics in Computer Science.

(4)

Production engineering.

(4)

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Architecture, Computer.

(3)

Circuits and Systems.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Engineering and Networks.

(3)

Control and Systems Theory.

(3)

Digital and Analog Signal Processing.

(3)

(3)

Embedded Systems.

(3)

Embedded computer systems.

(3)

Industrial and Production Engineering.

(3)

Industrial engineering.

(3)

Logic circuits -- Computer-aided design.

(3)

Logic circuits -- Design and construction.

(3)

Mathematical logic.

(3)

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Text processing (Computer science.

(3)

User Interfaces and Human Computer Interaction.

(3)

VHDL (Computer hardware description language)

(3)

Verilog (Computer hardware description language)

(3)

ANAHTARLAMA KURAMI.

(2)

Application-specific integrated circuits.

(2)

Arithmetic and logic units, Computer.

(2)

Automatic control.

(2)

Bilgisayar destekli tasarım.

(2)

Business Information Systems.

(2)

COMPUTERS -- Logic Design.

(2)

Complex Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer system failures.

(2)

Computer-aided design.

(2)

Computer-aided engineering.

(2)

Control Structures and Microprogramming.

(2)

Control theory.

(2)

Data Structures and Information Theory.

(2)

(2)

Digital integrated circuits.

(2)

(2)

Electric power production.

(2)

Electrical Power Engineering.

(2)

Electrical and Electronic Engineering.

(2)

Electronic apparatus and appliances.

(2)

Electronic circuit design.

(2)

Electronic circuits--Testing.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Expert systems (Computer science)

(2)

Information and Communication, Circuits.

(2)

Input-output equipment (Computers).

(2)

Integrated circuits.

(2)

Linear integrated circuits.

(2)

Linguistics -- Philosophy.

(2)

Logic circuits -- Design and construction -- Data processing.

(2)

Logic circuits--Computer-aided design.

(2)

Low voltage integrated circuits.

(2)

Mantıksal Devreler.

(2)

Mantıksal tasarım.

(2)

Mathematical Models of Cognitive Processes and Neural Networks.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mechanical engineering.

(2)

Memory Structures.

(2)

Metal oxide semiconductors, Complementary.

(2)

Microelectromechanical systems.

(2)

Microelectronics.

(2)

Microsystems and MEMS.

(2)

Microtechnology.

(2)

Microwaves, RF Engineering and Optical Communications.

(2)

Neural networks (Computer science) .

(2)

Optical materials.

(2)

Philosophy (General).

(2)

(2)

Systems and Data Security.

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- Logic.

(2)

TECHNOLOGY & ENGINEERING -- Electronics -- Circuits -- VLSI & ULSI.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

TECHNOLOGY / Electricity

(2)

User interfaces (Computer systems).

(2)

İNTEGRE DEVRELER.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Amplifiers (Electronics).

(1)

Analog-to-digital converters.

(1)

Application software.

(1)

Application specific integrated circuits -- Design and construction -- Data processing.

(1)

Application specific integrated circuits.

(1)

Application-specific integrated circuits -- Design and construction -- Computer-aided design.

(1)

Applied Dynamical Systems.

(1)

Architecture -- Quotations, maxims, etc. -- Dictionaries.

(1)

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

1309 Results Found

Subscribe to search results

1 .. 106 107 108 109 110

000000000000DEFAULT

Print

Select a 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.

1285.

Cover image for Abstraction, Refinement and Proof for Probabilistic Systems

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:

1286.

Cover image for Business economics and finance with MATLAB, GIS and simulation models

Business economics and finance with MATLAB, GIS and simulation models

Business economics and finance with MATLAB, GIS and simulation models

Author

Anderson, Patrick L., author.

Preferred Shelf Number

HD30.22 .A53 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1287.

Cover image for The engineering handbook

The engineering handbook

The engineering handbook

Author

Dorf, Richard C.

Preferred Shelf Number

TA151 .E424 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1288.

Cover image for Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Author

Dorf, Richard C., author. Taylor and Francis.

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1289.

Cover image for Low-power electronics design

Low-power electronics design

Low-power electronics design

Author

Piguet, Christian.

Preferred Shelf Number

TK7874.66 .L65 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1290.

Cover image for Computer science handbook

Computer science handbook

Computer science handbook

Author

Tucker, Allen B.

Preferred Shelf Number

QA76 .C54755 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1291.

Cover image for Verilog coding for logic synthesis

Verilog coding for logic synthesis

Verilog coding for logic synthesis

Author

Lee, Weng Fook. John Wiley & Sons, Inc.

Preferred Shelf Number

ONLINE

Electronic Access

Available by subscription from Safari Books Online
http://catdir.loc.gov/catdir/bios/wiley045/2002032433.html
John Wiley http://dx.doi.org/10.1002/0471457566
http://www3.interscience.wiley.com.ezlibproxy1.ntu.edu.sg/cgi-bin/bookhome/109855736
Book review (E-STREAMS) http://www.e-streams.com/es0704/es0704%5F3161.html

Format:

Availability

Online Library~1

Available:
Copies:

1292.

Cover image for Digital and Analogue Instrumentation Testing and measurement

Digital and Analogue Instrumentation Testing and measurement

Digital and Analogue Instrumentation Testing and measurement

Author

Kularatna, Nihal

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBEL011E

Format:

Availability

Online Library~1

Available:
Copies:

1293.

Cover image for Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Sayısal devrelerde mantıksal tasarım

Author

Yarımağan, Ünal.

Preferred Shelf Number

TK7888.4 Y37 2003

Format:

Availability

Beytepe Library~1

Available:
Copies:

1294.

Cover image for Memory, microprocessor, and ASIC

Memory, microprocessor, and ASIC

Memory, microprocessor, and ASIC

Author

Chen, Wai-Kai, 1936-

Preferred Shelf Number

TK7895 .M4 V57 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1295.

Cover image for Analog circuits and devices

Analog circuits and devices

Analog circuits and devices

Author

Chen, Wai-Kai, 1936-

Preferred Shelf Number

TK7870 .A529 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1296.

Cover image for VLSI technology

VLSI technology

VLSI technology

Author

Chen, Wai-Kai, 1936-

Preferred Shelf Number

TK7874.75 .V585 2003

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 106 107 108 109 110

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11