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)

(1160)

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)

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)

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)

Language

(1219)

(9)

(2)

(1)

Publication Date

-

(133)

(119)

(119)

(119)

(115)

(114)

(106)

(102)

(102)

(100)

(39)

(20)

(13)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

(1147)

Computer science.

(1027)

Software engineering.

(742)

Artificial intelligence.

(344)

Computer Communication Networks.

(288)

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.

(58)

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

(45)

Information storage and retrieval systems.

(43)

Systems engineering.

(36)

Artificial Intelligence (incl. Robotics).

(31)

(31)

Logic, Symbolic and mathematical.

(31)

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)

(16)

(15)

Computer aided design.

(15)

Information Systems Applications (incl. Internet).

(15)

Microprocessors.

(15)

Data transmission systems.

(14)

(13)

Data encryption (Computer science).

(13)

Electronic circuits.

(13)

Computer security.

(12)

Computer vision.

(12)

Discrete Mathematics in Computer Science.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Computer hardware.

(11)

Computer industry.

(10)

Digital electronics.

(10)

Electronic books.

(10)

Logic circuits.

(9)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

MANTIKSAL TASARIM.

(8)

Microprogramming.

(8)

(7)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Translators (Computer programs).

(7)

MANTIKSAL DEVRELER.

(6)

Simulation and Modeling.

(6)

Computer communication systems.

(5)

Electronic digital computers -- Circuits.

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

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

Telecommunication.

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

Mathematical logic.

(3)

Microprogramming .

(3)

Monoclonal antibodies.

(3)

Nanotechnology.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

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

COMPUTERS -- Logic Design.

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

Low voltage integrated circuits.

(2)

Mantıksal Devreler.

(2)

Mantıksal tasarım.

(2)

Memory Structures.

(2)

Metal oxide semiconductors, Complementary.

(2)

Optical materials.

(2)

Philosophy (General).

(2)

Processor Architectures.

(2)

Signal processing.

(2)

Systems and Data Security.

(2)

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

(2)

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

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

(1)

Biomass energy -- Congresses.

(1)

Bipolar transistors.

(1)

CMOS (Circuit intégré)

(1)

COMPUTERS / Logic Design

(1)

(1)

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

(1)

Chemical processes -- Data processing -- Congresses.

(1)

Chemistry -- Mathematics.

(1)

(1)

Circuit intégré à très grande échelle.

(1)

Circuit logique.

(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 -- Law and legislation.

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

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

1235 Results Found

Subscribe to search results

1 2 3 4 5 .. 103

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 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:

15.

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:

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 .. 103

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11