Search Results for Computer logic.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

260 Results Found

Subscribe to search results

1 .. 18 19 20 21 22

00000000DEFAULT

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.

253.

Cover image for Computer science handbook

Computer science handbook

Computer science handbook

Author

Tucker, Allen B.

Preferred Shelf Number

QA76 .C54755 2004

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

254.

Cover image for Verilog coding for logic synthesis

Verilog coding for logic synthesis

Verilog coding for logic synthesis

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

255.

Cover image for The mechatronics handbook

The mechatronics handbook

The mechatronics handbook

Author

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

Preferred Shelf Number

TJ163.12 .M434 2002

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

256.

Cover image for The Computer Engineering Handbook.

The Computer Engineering Handbook.

The Computer Engineering Handbook.

Author

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

Preferred Shelf Number

TK7885 .C645 2002

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

257.

Cover image for Dynamic logic

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

258.

Cover image for Computational intelligence for decision support

Computational intelligence for decision support

Computational intelligence for decision support

Author

Chen, Zhengxin.

Preferred Shelf Number

T58.62 .C33 1999

Electronic Access

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:

Availability

Online Library~1

Available:
Copies:

259.

Cover image for Algorithmic and Knowledge-based CAD for VLSI

Algorithmic and Knowledge-based CAD for VLSI

Algorithmic and Knowledge-based CAD for VLSI

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

260.

Cover image for Analogue-digital ASICs Circuit techniques, design tools and applications

Analogue-digital ASICs Circuit techniques, design tools and applications

Analogue-digital ASICs Circuit techniques, design tools and applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 18 19 20 21 22

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11