Search Results for Logic design

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Dil: English

Yazar

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)

Tümünü genişlet

Yayın Yılı

-

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

Tümünü genişlet

Konu

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

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Kütüphane

Beytepe Kütüphanesi

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1219 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 102

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

13.

Logic and computer design fundamentals için kapak resmi

Logic and computer design fundamentals

Logic and computer design fundamentals

Yazar

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

Yer Numarası

TK7888.4 M36 2008

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

14.

Design of logic-based intelligent systems için kapak resmi

Design of logic-based intelligent systems

Design of logic-based intelligent systems

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Logic and computer design fundamentals için kapak resmi

Logic and computer design fundamentals

Logic and computer design fundamentals

Yazar

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

Yer Numarası

TK 7888.4 M36 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

16.

Computer architecture and logic design için kapak resmi

Computer architecture and logic design

Computer architecture and logic design

Yazar

Bartee, Thomas C.

Yer Numarası

QA 76.9.A73 B374 1991

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

17.

Logic testing and design for testability için kapak resmi

Logic testing and design for testability

Logic testing and design for testability

Yazar

Fujiwara, Hideo.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Digital logic and computer design için kapak resmi

Digital logic and computer design

Digital logic and computer design

Yazar

Mano, M. Morris.

Yer Numarası

TK 7888.3 M345 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

19.

Problems and solutions in logic design için kapak resmi

Problems and solutions in logic design

Problems and solutions in logic design

Yazar

Zissos, D.

Yer Numarası

TK 7868.L6 Z57 1979

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

20.

Digital circuits and logic design için kapak resmi

Digital circuits and logic design

Digital circuits and logic design

Yazar

Lee, Samuel C.

Yer Numarası

TK 7868.D5 L4 1976

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

21.

Fundamentals of digital logic and microcomputer design için kapak resmi

Fundamentals of digital logic and microcomputer design

Fundamentals of digital logic and microcomputer design

Yazar

Rafiquzzaman, Mohamed.

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Towards a Design Flow for Reversible Logic için kapak resmi

Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Fundamentals of digital logic with VHDL design için kapak resmi

Fundamentals of digital logic with VHDL design

Fundamentals of digital logic with VHDL design

Yazar

Brown, Stephen D. Vranesic, Zvonko G.

Yer Numarası

TK7888.4 B76 2009

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

24.

Digital logic and microprocessor design with VHDL için kapak resmi

Digital logic and microprocessor design with VHDL

Digital logic and microprocessor design with VHDL

Yazar

Hwang, Enoch O.

Yer Numarası

TK7888.4 .H885 2006

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 102

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11