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

Daraltılmış:

+

Kütüphane: Çevrimiçi Kütüphane

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)

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)

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)

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

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)

Feinauer, Ilse, contributor.

(1)

Fermé, Eduardo. editor.

(1)

Fernández, Maribel. author.

(1)

Filiot, Emmanuel. editor.

(1)

Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441

(1)

Tümünü genişlet

Dil

(249)

Yayın Yılı

-

(92)

(85)

(13)

(8)

(8)

(7)

(7)

(4)

(4)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

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

Computer science—Mathematics.

(30)

(30)

Computer science.

(28)

Computer programming.

(18)

Arithmetic and logic units, Computer.

(17)

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

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

Electronic Circuits and Systems.

(2)

Electronic circuits--Testing.

(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 programming.

(2)

(2)

Pattern recognition.

(2)

(2)

Signal processing.

(2)

TECHNOLOGY & ENGINEERING / Electronics / General.

(2)

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)

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)

Education—Data processing.

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electrical engineering.

(1)

Electrical engineers -- United States -- Biography.

(1)

Electronic digital computers.

(1)

Electronics, Medical -- Instrumentation.

(1)

Electrónica médica.

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

MIDI (Standard)

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

(1)

(1)

Processor Architectures.

(1)

Production engineering.

(1)

Programmable controllers.

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

(1)

Quantitative research.

(1)

Shannon, Claude Elwood, 1916-2001.

(1)

Signal, Speech and Image Processing.

(1)

Simulated annealing (Mathematics).

(1)

Software Engineering/Programming and Operating Systems.

(1)

Sprache, Linguistik.

(1)

Switched capacitor filters.

(1)

TECHNOLOGY & ENGINEERING / Electrical.

(1)

TECHNOLOGY & ENGINEERING / Mechanical.

(1)

Theory of Computation.

(1)

User interfaces (Computer systems).

(1)

User-centered system design.

(1)

Verilog (Computer hardware description language)

(1)

Very high speed integrated circuits -- Computer-aided design.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik 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

249 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 17 18 19 20 21

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

241.

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:

242.

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:

243.

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:

244.

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:

245.

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:

246.

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:

247.

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:

248.

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:

249.

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 .. 17 18 19 20 21

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11