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

Narrowed by:

+

Language: English

Author

SpringerLink (Online service)

(1150)

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)

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)

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)

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)

Majumdar, Rupak. 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)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. 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)

Hinchey, Mike. 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)

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)

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)

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)

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)

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)

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)

Cerone, Antonio. editor.

(2)

Cervesato, Iliano. editor.

(2)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(2)

Chechik, Marsha. editor.

(2)

Chen, Jianer. editor.

(2)

Chen, Wai-Kai, 1936-

(2)

Chitil, Olaf. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Publication Date

-

(130)

(118)

(118)

(117)

(115)

(113)

(105)

(100)

(100)

(100)

(39)

(20)

(13)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

(1134)

Computer science.

(1020)

Software engineering.

(738)

Artificial intelligence.

(344)

Computer Communication Networks.

(288)

Computer software.

(200)

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.

(57)

Mathematical Logic and Formal Languages.

(55)

Computer simulation.

(51)

Computer system performance.

(51)

Programming Languages, Compilers, Interpreters.

(49)

Computer network architectures.

(47)

Data structures (Computer science).

(43)

Information storage and retrieval systems.

(43)

Systems engineering.

(32)

Artificial Intelligence (incl. Robotics).

(31)

Logic, Symbolic and mathematical.

(31)

(29)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Electronic data processing.

(23)

Programming Techniques.

(23)

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(21)

Database management.

(18)

Bioinformatics.

(16)

(15)

Information Systems Applications (incl. Internet).

(15)

Microprocessors.

(15)

Computer aided design.

(14)

Data transmission systems.

(14)

Data encryption (Computer science).

(13)

Electronic circuits.

(13)

(13)

(12)

Computer security.

(12)

Computer vision.

(12)

Discrete Mathematics in Computer Science.

(12)

Management of Computing and Information Systems.

(12)

Computer hardware.

(11)

Management information systems.

(11)

Computer industry.

(10)

Digital electronics.

(9)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

MANTIKSAL TASARIM.

(8)

Microprogramming.

(8)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Translators (Computer programs).

(7)

(6)

Electronic books.

(6)

Logic circuits.

(6)

MANTIKSAL DEVRELER.

(6)

Simulation and Modeling.

(6)

Computer communication systems.

(5)

Engineering design.

(5)

Information Storage and Retrieval.

(5)

Logic design -- Data processing.

(5)

Mathematical Logic and Foundations.

(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)

Data Mining and Knowledge Discovery.

(4)

Electronic digital computers -- Circuits.

(4)

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Architecture, Computer.

(3)

Circuits and Systems.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer architecture.

(3)

Computer engineering.

(3)

(3)

Engineering mathematics.

(3)

Logic circuits -- Computer-aided design.

(3)

Logic circuits -- Design and construction.

(3)

Microprogramming .

(3)

Monoclonal antibodies.

(3)

Nanotechnology.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Telecommunication.

(3)

Text processing (Computer science.

(3)

VHDL (Computer hardware description language)

(3)

Verilog (Computer hardware description language)

(3)

ANAHTARLAMA KURAMI.

(2)

(2)

Application-specific integrated circuits.

(2)

Arithmetic and logic units, Computer.

(2)

Automatic control.

(2)

Bilgisayar destekli tasarım.

(2)

Business Information Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer system failures.

(2)

Computer-aided design.

(2)

Control theory.

(2)

Digital integrated circuits.

(2)

Electrical engineering.

(2)

Electronic circuits--Testing.

(2)

Expert systems (Computer science)

(2)

Information and Communication, Circuits.

(2)

Input-output equipment (Computers).

(2)

Integrated circuits -- Very large scale integration.

(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)

Mathematical logic.

(2)

Memory Structures.

(2)

Optical materials.

(2)

Philosophy (General).

(2)

Processor Architectures.

(2)

Signal processing.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

İNTEGRE DEVRELER.

(2)

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 -- Design and construction -- Computer-aided design.

(1)

(1)

Asynchronous circuits -- Design and construction.

(1)

Biomass energy -- Congresses.

(1)

Bipolar transistors.

(1)

COMPUTERS -- Logic Design.

(1)

(1)

Chemical process control -- Computer-aided design -- Congresses.

(1)

Chemical processes -- Data processing -- Congresses.

(1)

Chemistry -- Mathematics.

(1)

(1)

Coding and Information Theory.

(1)

Computational linguistics.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer graphics.

(1)

Computer integrated manufacturing systems.

(1)

Computer interfaces.

(1)

Computer logic -- Popular works.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computer science—Mathematics.

(1)

Computer storage devices.

(1)

Computer-aided engineering.

(1)

Computerarchitektur.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Control engineering systems.

(1)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

(1)

Digital electronics -- Mathematics.

(1)

Digital electronics -- Textbooks.

(1)

Digital integrated circuits

(1)

Digital integrated circuits -- Design and construction.

(1)

Digital multimeters.

(1)

(1)

Digitaltechnik.

(1)

Dijital entegre devreler

(1)

Discrete cosine transforms.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

(1)

ELEKTRONİK DEVRE TASARIMI -- VERİ İŞLEM.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- DEVRELER.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR.

(1)

(1)

Economics/Management Science.

(1)

Electric networks, Passive.

(1)

Electric power systems -- Automation.

(1)

Electronic apparatus and appliances.

(1)

Electronic digital computers -- Circuits

(1)

Electronic digital computers -- Circuits -- Design.

(1)

Electronic instruments, Digital.

(1)

Elektronik Sayısal Bilgisayarlar -- Devreler.

(1)

Elektronik dijital bilgisayar -- Devreler

(1)

Embedded computer systems -- Computer-aided design.

(1)

Energy conservation.

(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

1219 Results Found

Subscribe to search results

1 2 3 4 5 .. 102

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.

13.

Cover image for Digital electronics and logic design

Digital electronics and logic design

Digital electronics and logic design

Author

Nair, B. Somanathan.

Preferred Shelf Number

TK7868.D5 N35 2008

Format:

Availability

Beytepe Library~1

Available:
Copies:

14.

Cover image for Logic and computer design fundamentals

Logic and computer design fundamentals

Logic and computer design fundamentals

Author

Mano, M. Morris Kime, Charles R., ort. yaz.

Preferred Shelf Number

TK 7888.4 M36 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

15.

Cover image for Design of logic-based intelligent systems

Design of logic-based intelligent systems

Design of logic-based intelligent systems

Author

Truemper, K., 1942- John Wiley & Sons, Inc.

Preferred Shelf Number

ONLINE

Electronic Access

e-book
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2004044058.html

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Computer architecture and logic design

Computer architecture and logic design

Computer architecture and logic design

Author

Bartee, Thomas C.

Preferred Shelf Number

QA 76.9.A73 B374 1991

Format:

Availability

Beytepe Library~1

Available:
Copies:

17.

Cover image for Logic testing and design for testability

Logic testing and design for testability

Logic testing and design for testability

Author

Fujiwara, Hideo.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Digital logic and computer design

Digital logic and computer design

Digital logic and computer design

Author

Mano, M. Morris.

Preferred Shelf Number

TK 7888.3 M345 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Cover image for Problems and solutions in logic design

Problems and solutions in logic design

Problems and solutions in logic design

Author

Zissos, D.

Preferred Shelf Number

TK 7868.L6 Z57 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Cover image for Digital circuits and logic design

Digital circuits and logic design

Digital circuits and logic design

Author

Lee, Samuel C.

Preferred Shelf Number

TK 7868.D5 L4 1976

Format:

Availability

Beytepe Library~1

Available:
Copies:

21.

Cover image for Fundamentals of digital logic and microcomputer design

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:

22.

Cover image for Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Author

Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9579-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Fundamentals of digital logic with VHDL design

Fundamentals of digital logic with VHDL design

Fundamentals of digital logic with VHDL design

Author

Brown, Stephen D. Vranesic, Zvonko G.

Preferred Shelf Number

TK7888.4 B76 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

24.

Cover image for Digital logic and microprocessor design with VHDL

Digital logic and microprocessor design with VHDL

Digital logic and microprocessor design with VHDL

Author

Hwang, Enoch O.

Preferred Shelf Number

TK7888.4 .H885 2006

Format:

Availability

Beytepe Library~2

Available:
Copies:

1 2 3 4 5 .. 102

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11