Search Results for Computer logic.

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)

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

Language

(260)

Publication Date

-

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

Subject

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)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

260 Results Found

Subscribe to search results

1 .. 18 19 20 21 22

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.

241.

Cover image for Gameplay mode : war, simulation, and technoculture

Gameplay mode : war, simulation, and technoculture

Gameplay mode : war, simulation, and technoculture

Author

Crogan, Patrick.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

Cover image for Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal., author. Seda, Anthony.

Preferred Shelf Number

QA76.63 .H58 2011

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

243.

Cover image for Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

Author

Harrison, John.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

244.

Cover image for High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow

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

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

Author

Hossain, Razak.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

245.

Cover image for Digital design and fabrication

Digital design and fabrication

Digital design and fabrication

Author

Oklobdzija, Vojin G.

Preferred Shelf Number

TK7885 .D54 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

246.

Cover image for Computer organization, design, and architecture

Computer organization, design, and architecture

Computer organization, design, and architecture

Author

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

Preferred Shelf Number

TK7885 .S525 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

247.

Cover image for Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Synthesis of arithmetic circuits FPGA, ASIC and embedded systems

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

248.

Cover image for Mechatronics : an introduction

Mechatronics : an introduction

Mechatronics : an introduction

Author

Bishop, Robert H., 1957-

Preferred Shelf Number

TJ163.12 .M4315 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

249.

Cover image for Microelectronics

Microelectronics

Microelectronics

Author

Whitaker, Jerry C.

Preferred Shelf Number

TK7874 .M4587 2006

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

250.

Cover image for Computer-aided intelligent recognition techniques and applications

Computer-aided intelligent recognition techniques and applications

Computer-aided intelligent recognition techniques and applications

Author

Sarfraz, Muhammad. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

251.

Cover image for The engineering handbook

The engineering handbook

The engineering handbook

Author

Dorf, Richard C.

Preferred Shelf Number

TA151 .E424 2005

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

252.

Cover image for Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Computers, Software Engineering, and Digital Devices

Author

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

Preferred Shelf Number

TK7885

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 18 19 20 21 22

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11