Search Results for Computer logic.

|

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

Yazar

SpringerLink (Online service)

(212)

Legay, Axel. editor.

(3)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(3)

Taylor and Francis.

(3)

Ait Ameur, Yamine. editor.

(2)

Artho, Cyrille. editor.

(2)

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

(2)

Bishop, Robert H., 1957-

(2)

Bondavalli, Andrea. editor.

(2)

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

(2)

Fiadeiro, José Luiz. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Hepworth-Sawyer, Russ.

(2)

Hospodár, Michal. editor.

(2)

Jirásková, Galina. editor.

(2)

John Wiley & Sons.

(2)

Kime, Charles R., ort. yaz.

(2)

Mano, M. Morris

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(2)

Meseguer, José. editor.

(2)

Moortgat, Michael. editor.

(2)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(2)

Palamidessi, Catuscia. editor.

(2)

Peña, Ricardo. editor.

(2)

Pin, Jean-Éric. editor.

(2)

Potapov, Igor. editor.

(2)

Roman, Dumitru. editor.

(2)

Sattler, Uli. editor.

(2)

Schaefer, Ina. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Sun, Jun. editor.

(2)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(2)

Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X

(2)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

A, Beulah. editor.

(1)

Abel, Andrea, contributor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Adamatzky, Andrew. editor.

(1)

Afane-Otsaga, Thierry, contributor.

(1)

Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555

(1)

Albert, Elvira. editor.

(1)

Alvarez, Francisco, contributor.

(1)

Amyot, Daniel. editor.

(1)

Anderst-Kotsis, Gabriele. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Arjeski, Trevor. author.

(1)

Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177

(1)

Asmussen, Jörg, contributor.

(1)

Atkins, Beryl T. Sue, contributor.

(1)

Avgeriou, Paris. editor.

(1)

Baker, Collin, contributor.

(1)

Balasa, Florin.

(1)

Baldan, Paolo. editor.

(1)

Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054

(1)

Banerjee, Mohua. editor. (orcid)0000-0002-7517-0923

(1)

Barkatou, Moulay. editor.

(1)

Baroni, Marco, contributor.

(1)

Bartee, Thomas C.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Beer, Sandra, contributor.

(1)

Beierle, Christoph. editor.

(1)

Belentschikow, Renate, contributor.

(1)

Beltrami, Pietro G., contributor.

(1)

Ben Amor, Nahla. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bensalem, Saddek. editor.

(1)

Benzehra, Radia, contributor.

(1)

Bergenholtz, Henning, contributor.

(1)

Bernardi, Raffaella. editor.

(1)

Bernardini, Silvia, contributor.

(1)

Bernardo, Marco. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Bertels, Koen. editor. (orcid)0000-0001-9310-4885

(1)

Bhargava, Deepshikha. editor.

(1)

Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X

(1)

Bieger, Jordi. editor.

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Bikakis, Antonis. editor.

(1)

Binon, Jean, contributor.

(1)

Biondi, Fabrizio. editor.

(1)

Bioul, Géry Jean Antoine.

(1)

Bishop, Robert H., 1957- editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blackburn, Patrick. editor.

(1)

Bloem, Roderick. editor.

(1)

Boas, Hans Christian, contributor.

(1)

Bogaards, Paul, contributor.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Bondi-Johannessen, Janne, contributor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor. (orcid)0000-0002-1972-7491

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Braasch, Anna, contributor.

(1)

Broersen, Jan. editor.

(1)

Brox, Thomas. editor. (orcid)0000-0002-6282-8861

(1)

Bruhn, Andrés. editor.

(1)

Brunato, Mauro. editor. (orcid)0000-0002-7885-4255

(1)

Buchi, Eva, contributor.

(1)

Bulling, Nils. editor.

(1)

Bunke, Horst. author.

(1)

Büning, H. K., ort. yaz.

(1)

(1)

Cabot, Jordi. editor.

(1)

Cabre, Maria Teresa, contributor.

(1)

Cai, Zhipeng. editor.

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Calvanese, Diego. editor. (orcid)0000-0001-5174-9693

(1)

Cancellieri, Giovanni. author.

(1)

Cariani, Fabrizio. editor.

(1)

Carter, Jenny. editor.

(1)

Casadio, Claudia. editor.

(1)

Castillo, Pedro A. editor. (orcid)0000-0002-5258-0620

(1)

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

(1)

Ceccarelli, Andrea. editor.

(1)

Chabata, Emmanuel, contributor.

(1)

Chaitin, Gregory J., author.

(1)

Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778

(1)

Chamberlain, Roger. editor.

(1)

Chandran K R, Sarath. editor.

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chauhan, Naresh. editor.

(1)

Chechik, Marsha. editor.

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Chen, Zhengxin.

(1)

Cheng, Chih-Hong. editor.

(1)

Cheng, Yong. author.

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Ciucci, Davide. editor. (orcid)0000-0002-8083-7809

(1)

Cleaveland, Rance. editor.

(1)

Cloete, Aletta Elizabeth, contributor.

(1)

Cluzeau, Thomas. editor.

(1)

Codish, Michael. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Coleman, Julie, contributor.

(1)

Colinet, Margot. editor.

(1)

Cornelius, Eleanor, contributor.

(1)

Corradini, Flavio. editor.

(1)

Costa, Newton C. A. da.

(1)

Counsell, Steve. editor.

(1)

Cousins, Mark, 1972-

(1)

(1)

Cowen, Lenore J. editor.

(1)

Crogan, Patrick.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

(1)

Dawar, Anuj. editor.

(1)

De, Asishkumar, author.

(1)

Debus-Gregor, Esther, contributor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Lvxiang. editor.

(1)

Deng, Yuxin. author.

(1)

Deschamps, Jean-Pierre, 1945-

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Di Ruscio, Davide. editor.

(1)

Dickinson, Peter J. author.

(1)

Dillig, Isil. editor.

(1)

Dimitrov, Vassil., author.

(1)

Dingel, Juergen. editor.

(1)

Disser, Yann. editor. (orcid)0000-0002-2085-0454

(1)

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

(1)

Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507

(1)

Dorf, Richard C.

(1)

Dorf, Richard C., author.

(1)

Dorf, Richard C., editor.

(1)

Doria, Francisco Antonio.

(1)

Dovier, Agostino. editor.

(1)

Dowek, Gilles. editor.

(1)

Droste, Manfred. editor. (orcid)0000-0001-9128-8844

(1)

Du, Ke-Lin. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duparc, Jacques. editor.

(1)

Duval, Marc, contributor.

(1)

Dychka, Ivan. editor.

(1)

Düntsch, Ivo. editor. (orcid)0000-0001-8907-2382

(1)

EL Allioui, Youssouf. editor.

(1)

Eberle, Kurt, contributor.

(1)

Ehrhard, Thomas.

(1)

Elahi, Ata. author.

(1)

Elgesem, Dag. editor.

(1)

Enea, Constantin. editor.

(1)

Engelberg, Stefan, contributor.

(1)

Ermolayev, Vadim. editor.

(1)

Ernst, Gerhard, contributor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Esparza, Javier. editor.

(1)

Evert, Stefan, contributor.

(1)

Fages, François. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Farmer, William M. author.

(1)

Favorskaya, Margarita N. editor.

(1)

Tümünü genişlet

Dil

(260)

Yayın Yılı

-

(92)

(85)

(13)

(8)

(8)

(8)

(7)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer logic.

(160)

Software engineering.

(101)

Artificial intelligence.

(78)

Mathematical logic.

(66)

Programming languages (Electronic computers).

(59)

(32)

(31)

Computer science—Mathematics.

(30)

Computer science.

(28)

(19)

Computer programming.

(18)

Arithmetic and logic units, Computer.

(17)

Application software.

(13)

Computer communication systems.

(13)

Computer simulation.

(11)

Computer system failures.

(11)

Database management.

(10)

Logic, Symbolic and mathematical.

(10)

Computer organization.

(8)

Data structures (Computer science).

(7)

Management information systems.

(7)

Mathematical statistics.

(7)

Numerical analysis.

(6)

Special purpose computers.

(6)

Computational intelligence.

(5)

Computer engineering.

(5)

Computer software.

(5)

(5)

Electronic books.

(5)

Computer security.

(4)

Digital electronics.

(4)

Information storage and retrieval.

(4)

Information theory.

(4)

Natural language processing (Computer science).

(4)

Optical data processing.

(4)

Architecture, Computer.

(3)

Bioinformatics.

(3)

(3)

Computational complexity.

(3)

Digital audio editors.

(3)

Electronic circuits.

(3)

Logic (Computer file)

(3)

Logic circuits -- Computer-aided design.

(3)

MANTIKSAL DEVRELER.

(3)

MANTIKSAL TASARIM.

(3)

(3)

Microprogramming .

(3)

Telecommunication.

(3)

Application-specific integrated circuits.

(2)

Communications Engineering, Networks.

(2)

Computer architecture.

(2)

Computer arithmetic and logic units.

(2)

Computer arithmetic.

(2)

Computer science -- Mathematics.

(2)

Computer vision.

(2)

Control engineering.

(2)

Data Engineering.

(2)

Data protection.

(2)

Digital integrated circuits.

(2)

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

(2)

Electronic Circuits and Systems.

(2)

Electronic circuits--Testing.

(2)

Electronic digital computers -- Circuits.

(2)

Embedded computer systems.

(2)

Engineering -- Data processing.

(2)

Engineering -- Handbooks, manuals, etc.

(2)

Linear integrated circuits.

(2)

Logic circuits--Computer-aided design.

(2)

Logic circuits.

(2)

Logic programming.

(2)

(2)

Pattern recognition.

(2)

(2)

Signal processing.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

(1)

ANAHTARLAMA KURAMI.

(1)

Algebra -- Data processing.

(1)

Algebraic fields.

(1)

Analog-to-digital converters.

(1)

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

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Biomedical engineering.

(1)

Biosensing Techniques.

(1)

(1)

(1)

Boole, George, 1815-1864.

(1)

BİLGİSAYAR BİLİMİ -- MATEMATİK -- KONGRELER.

(1)

BİLGİSAYARLAR.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Programming / Systems Analysis & Design

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

COMPUTERS / Systems Architecture / General.

(1)

Computer Communication Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer flight games.

(1)

Computer games -- Social aspects.

(1)

Computer graphics.

(1)

Computer hardware.

(1)

Computer logic -- Popular works.

(1)

Computer mathematics.

(1)

Computer network architectures.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer sound processing.

(1)

Computer storage devices.

(1)

Computer system performance.

(1)

Computer war games.

(1)

Computers and civilization.

(1)

Control and Systems Theory.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

(1)

Cyber-Physical Systems.

(1)

Data Analysis and Big Data.

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Decision support systems.

(1)

(1)

Digital Performer (Computer file)

(1)

(1)

Discrete cosine transforms.

(1)

(1)

ELEKTROMEKANİK ÖRNEKSEME.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR.

(1)

ELEKTRONİK VERİ İŞLEM.

(1)

ELEKTRONİK ÖRNEKSEL BİLGİSAYAR -- PROGRAMLAMA.

(1)

Education—Data processing.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electrical engineering.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic data processing.

(1)

Electronic digital computers -- History.

(1)

Electronic digital computers.

(1)

Electronics, Medical -- Instrumentation.

(1)

Electrónica médica.

(1)

Elektronik Sayısal Bilgisayarlar -- Devreler.

(1)

Elektronik sayısal bilgisayarlar -- Tarihçe.

(1)

Embedded Systems.

(1)

Embedded computer systems -- Computer-aided design.

(1)

Encyclopedias and dictionaries -- Encyclopedias.

(1)

Energy conservation.

(1)

Engineering mathematics.

(1)

Expert systems (Computer science).

(1)

Field Theory and Polynomials.

(1)

Formal methods (Computer science)

(1)

Godel's theorem.

(1)

(1)

Génie logiciel.

(1)

Health informatics.

(1)

Human-computer interaction.

(1)

(1)

Image processing -- Digital techniques.

(1)

Image processing.

(1)

Information systems.

(1)

Ingeniería biomédica.

(1)

Instrumentation and orchestration.

(1)

Integrated circuits--Design and construction.

(1)

Integrated circuits--Testing.

(1)

Integrated circuits--Very large scale integration.

(1)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(1)

Lexicography -- Data processing.

(1)

Lexicography -- Encyclopedias.

(1)

Lexicography -- Methodology.

(1)

(1)

Logic design -- Popular works.

(1)

(1)

Logicians -- Great Britain -- Biography.

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ -- KONGRELER.

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(1)

MIDI (Standard)

(1)

Mantıksal Devreler.

(1)

Mantıksal Tasarım.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mechatronics -- Handbooks, manuals, etc.

(1)

Medical electronics.

(1)

Memory management (Computer science)

(1)

Microelectronics.

(1)

Microprocessors.

(1)

Mobile and Network Security.

(1)

Multimedia information systems.

(1)

Nanotechnology.

(1)

Nonlinear theories.

(1)

(1)

Operating systems (Computers).

(1)

Operational amplifiers.

(1)

Ordinateurs -- Conception et construction.

(1)

Partial differential equations.

(1)

Pattern perception.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

CRC Ekitapları

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

260 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 18 19 20 21 22

00000000DEFAULT_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.

253.

Computer science handbook için kapak resmi

Computer science handbook

Computer science handbook

Yazar

Tucker, Allen B.

Yer Numarası

QA76 .C54755 2004

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Verilog coding for logic synthesis için kapak resmi

Verilog coding for logic synthesis

Verilog coding for logic synthesis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

The Computer Engineering Handbook. için kapak resmi

The Computer Engineering Handbook.

The Computer Engineering Handbook.

Yazar

Oklobdzija, Vojin G., author. CRC Press LLC.

Yer Numarası

TK7885 .C645 2002

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781420041545
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

The mechatronics handbook için kapak resmi

The mechatronics handbook

The mechatronics handbook

Yazar

Bishop, Robert H., 1957- ISA--The Instrumentation, Systems, and Automation Society.

Yer Numarası

TJ163.12 .M434 2002

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Dynamic logic için kapak resmi

Yazar

Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Computational intelligence for decision support için kapak resmi

Computational intelligence for decision support

Computational intelligence for decision support

Yazar

Chen, Zhengxin.

Yer Numarası

T58.62 .C33 1999

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781420049145
Taylor & Francis https://www.taylorfrancis.com/books/9780367802158
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Algorithmic and Knowledge-based CAD for VLSI için kapak resmi

Algorithmic and Knowledge-based CAD for VLSI

Algorithmic and Knowledge-based CAD for VLSI

Yazar

Taylor, Gaynor, ed. Russell, Gordon, ed.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Analogue-digital ASICs Circuit techniques, design tools and applications için kapak resmi

Analogue-digital ASICs Circuit techniques, design tools and applications

Analogue-digital ASICs Circuit techniques, design tools and applications

Yazar

Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 18 19 20 21 22

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11