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

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.

1.

Gameplay mode : war, simulation, and technoculture için kapak resmi

Gameplay mode : war, simulation, and technoculture

Gameplay mode : war, simulation, and technoculture

Yazar

Crogan, Patrick.

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.5749/j.ctttv857

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Mathematical aspects of logic programming semantics için kapak resmi

Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Yazar

Hitzler, Pascal., author. Seda, Anthony.

Yer Numarası

QA76.63 .H58 2011

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Handbook of Practical Logic and Automated Reasoning için kapak resmi

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

Yazar

Harrison, John.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow için kapak resmi

High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow

High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow

Yazar

Hossain, Razak.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Digital design and fabrication için kapak resmi

Digital design and fabrication

Digital design and fabrication

Yazar

Oklobdzija, Vojin G.

Yer Numarası

TK7885 .D54 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Computer organization, design, and architecture için kapak resmi

Computer organization, design, and architecture

Computer organization, design, and architecture

Yazar

Shiva, Sajjan G., author. Shiva, Sajjan G. Computer design and architecture.

Yer Numarası

TK7885 .S525 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems için kapak resmi

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Yazar

Deschamps, Jean-Pierre, 1945- Bioul, Géry Jean Antoine. Sutter, Gustavo D. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471741426
http://www3.interscience.wiley.com/cgi-bin/bookhome/112570650
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005003237-b.html

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Mechatronics : an introduction için kapak resmi

Mechatronics : an introduction

Mechatronics : an introduction

Yazar

Bishop, Robert H., 1957-

Yer Numarası

TJ163.12 .M4315 2006

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Microelectronics için kapak resmi

Microelectronics

Microelectronics

Yazar

Whitaker, Jerry C.

Yer Numarası

TK7874 .M4587 2006

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Computer-aided intelligent recognition techniques and applications için kapak resmi

Computer-aided intelligent recognition techniques and applications

Computer-aided intelligent recognition techniques and applications

Yazar

Sarfraz, Muhammad. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/0470094168

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

The engineering handbook için kapak resmi

The engineering handbook

The engineering handbook

Yazar

Dorf, Richard C.

Yer Numarası

TA151 .E424 2005

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Computers, Software Engineering, and Digital Devices için kapak resmi

Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Yazar

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

Yer Numarası

TK7885

Elektronik Erişim

Click here to view.

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