Search Results for 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ış:

+

Library: Online Library

Yazar

SpringerLink (Online service)

(2126)

(22)

Voronkov, Andrei. editor.

(18)

Kacprzyk, Janusz. editor.

(13)

Wiley InterScience (Online service)

(13)

Gabbay, Dov M., 1945-

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. editor.

(10)

Castillo, Oscar. editor.

(10)

Potapov, Igor. editor.

(9)

Rozenberg, Grzegorz. editor.

(9)

Woods, John (John Hayden)

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Melin, Patricia. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Leite, João. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Mostowski, Andrzej.

(7)

Peña, Ricardo. editor.

(7)

Queiroz, Ruy. editor.

(7)

Taylor and Francis.

(7)

Woodcock, Jim. editor.

(7)

Calude, Cristian S. editor.

(6)

Cooper, S. Barry. editor.

(6)

Fages, François. editor.

(6)

Fiadeiro, José Luiz. editor.

(6)

Governatori, Guido. editor.

(6)

Graf, Susanne. editor.

(6)

Meseguer, José. editor.

(6)

Rahman, Shahid. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Torroni, Paolo. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Castillo, Oscar. author.

(5)

Chen, Wai-Kai, 1936-

(5)

Dastani, Mehdi. editor.

(5)

Dediu, Adrian-Horia. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Gabbay, Dov M. author.

(5)

Gabbay, Dov M. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Hanus, Michael. editor.

(5)

Huisman, Marieke. editor.

(5)

John Wiley & Sons.

(5)

Karhumäki, Juhani. editor.

(5)

LaMeres, Brock J. author.

(5)

Legay, Axel. editor.

(5)

Leucker, Martin. editor.

(5)

Liu, Shaoying. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Paschke, Adrian. editor.

(5)

Pedrycz, Witold. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Seising, Rudolf. editor.

(5)

Steffen, Bernhard. editor.

(5)

Tarski, Alfred.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bekki, Daisuke. editor.

(4)

Bensalem, Saddek. editor.

(4)

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

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Duan, Zhenhua. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Hinchey, Mike. editor.

(4)

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Jain, Lakhmi C. editor.

(4)

Koutny, Maciej. editor.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

Liang, Qilian. editor.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. author.

(4)

Merayo, Mercedes G. editor.

(4)

Nerode, Anil. editor.

(4)

Nicola, Rocco. editor.

(4)

Núñez, Manuel. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Panigrahi, Bijaya Ketan. editor.

(4)

Petrosino, Alfredo. editor.

(4)

Risby, Bonnie Lou, author.

(4)

Risby, Robert K., II, author.

(4)

Robinson, Abraham, 1918-1974.

(4)

Roever, Willem-Paul. editor.

(4)

Roman, Dumitru. editor.

(4)

Rudolph, Sebastian. editor.

(4)

Salaün, Gwen. editor.

(4)

Sattler, Uli. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sirjani, Marjan. editor.

(4)

Suppes, Patrick, 1922-

(4)

Ungerer, Theo. editor.

(4)

Uzam, Murat, 1968- author.

(4)

Vasconcelos, Wamberto. editor.

(4)

Virbitskaite, Irina. editor.

(4)

Wang, Wei. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Yager, Ronald R. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zhang, Baoju. editor.

(4)

Zsók, Viktória. editor.

(4)

Ölveczky, Peter Csaba. editor.

(4)

Alpuente, María. editor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bondavalli, Andrea. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bouchon-Meunier, Bernadette. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

(3)

Cai, Zhipeng. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Chechik, Marsha. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crossley, John N.

(3)

Curry, Haskell B. (Haskell Brooks), 1900-1982.

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dawar, Anuj. editor.

(3)

Deiser, Oliver. author.

(3)

Derrick, John. editor.

(3)

Dershowitz, Nachum. editor.

(3)

Dingel, Juergen. editor.

(3)

Dompere, Kofi Kissi. author.

(3)

Dowek, Gilles. author.

(3)

Eekelen, Marko. editor.

(3)

Eiter, Thomas. editor.

(3)

Ermolayev, Vadim. editor.

(3)

Faber, Wolfgang. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fenstad, Jens Erik.

(3)

Fisher, Michael. editor.

(3)

Fitzgerald, John. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fraenkel, Abraham Adolf, 1891-1965.

(3)

Fu, Haohuan. editor.

(3)

(3)

Gandy, R. O. (Robin O.)

(3)

Gavrilova, Marina L. editor.

(3)

Gerdt, Vladimir P. editor.

(3)

Giese, Holger. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel V. editor.

(3)

Tümünü genişlet

Dil

(2942)

(32)

(8)

(3)

(1)

Yayın Yılı

-

(236)

(223)

(210)

(208)

(195)

(185)

(180)

(174)

(171)

(170)

(162)

(156)

(154)

(129)

(44)

(43)

(28)

(27)

(24)

(21)

(20)

(17)

(16)

(16)

(11)

(11)

(11)

(10)

(9)

(8)

(8)

(7)

(7)

(7)

(7)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(6)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1244)

(1148)

Software engineering.

(876)

Artificial intelligence.

(665)

Logic, Symbolic and mathematical.

(302)

Computer Communication Networks.

(299)

Computer software.

(241)

(190)

Computer logic.

(161)

(151)

Mathematical logic.

(150)

Computational complexity.

(117)

Philosophy (General).

(115)

Electronic books.

(109)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Mathematical Logic and Formal Languages.

(101)

Operating systems (Computers).

(101)

Information theory.

(93)

Computer simulation.

(82)

(80)

Algebra -- Data processing.

(79)

(79)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(71)

Data structures (Computer science).

(62)

Science -- Philosophy.

(62)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(57)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(49)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(46)

Electronic data processing.

(43)

(41)

(39)

Electronic circuits.

(39)

Genetic epistemology.

(37)

Computer vision.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Bioinformatics.

(31)

TECHNOLOGY & ENGINEERING.

(31)

Computation by Abstract Devices.

(29)

Engineering mathematics.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

Computer programming.

(28)

(28)

Linguistics -- Philosophy.

(28)

Microprocessors.

(27)

Multimedia systems.

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

Computer security.

(23)

Data protection.

(23)

(23)

(23)

(21)

Electronic Circuits and Systems.

(21)

(20)

Digital electronics.

(20)

Information Systems Applications (incl. Internet).

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

Mathematical statistics.

(18)

Mathematics -- Philosophy.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Modality (Logic)

(17)

Natural language processing (Computer science).

(17)

(17)

Control engineering.

(16)

(16)

Signal processing.

(16)

Data encryption (Computer science).

(15)

(15)

Logic circuits.

(15)

Mathematics_$xHistory.

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Management of Computing and Information Systems.

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Communications Engineering, Networks.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

Machine learning.

(13)

Nanotechnology.

(13)

(13)

Algebraic logic.

(12)

Computer architecture.

(12)

MATHEMATICS / Logic

(12)

(12)

Numerical analysis.

(12)

Processor Architectures.

(12)

(12)

(12)

Symbolic and Algebraic Manipulation.

(12)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

(10)

Computational linguistics.

(10)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

MATHEMATICS / General

(10)

PHILOSOPHY / Logic

(10)

(10)

Philosophy of mind.

(10)

Soft computing.

(10)

TECHNOLOGY / Electronics / Circuits / General

(10)

Arithmetic and Logic Structures.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Embedded computer systems.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

Industrial engineering.

(9)

Intelligence (AI) & Semantics.

(9)

Intelligence artificielle.

(9)

Language and logic.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

Mathematical optimization.

(9)

PHILOSOPHY / General

(9)

(9)

Signal, Speech and Image Processing.

(9)

Special purpose computers.

(9)

TECHNOLOGY / Electricity

(9)

programmation en logique.

(9)

Computer networks .

(8)

Economics, Mathematical.

(8)

Engineering -- Data processing.

(8)

(8)

Knowledge, Theory of.

(8)

Language and languages -- Philosophy.

(8)

Law -- Philosophy.

(8)

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

TECHNOLOGY / Electronics / General

(8)

Theory of Computation.

(8)

(8)

Logische Programmierung.

(7)

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Programmable logic devices.

(7)

Quantum theory.

(7)

Recursion theory.

(7)

Science -- Philosophy -- Congresses.

(7)

Semantics (Philosophy)

(7)

Social sciences -- Data processing.

(7)

Social sciences.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TECHNOLOGY & ENGINEERING -- Mechanical.

(7)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Axiomatic set theory.

(6)

COMPUTERS / Computer Engineering

(6)

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

(6)

Electrical engineering.

(6)

Embedded Systems.

(6)

(6)

(6)

Expert systems (Computer science)

(6)

Field programmable gate arrays.

(6)

History of Mathematical Sciences.

(6)

Logisch programmeren.

(6)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

{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

2992 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 250

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.

Computability, complexity, logic için kapak resmi

Computability, complexity, logic

Computability, complexity, logic

Yazar

Börger, E. (Egon), 1946-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444874061

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Ancient formal logic için kapak resmi

Ancient formal logic

Ancient formal logic

Yazar

Bochenski, Joseph M., 1902-1995.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444533678

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Archaeology of logic için kapak resmi

Archaeology of logic

Archaeology of logic

Yazar

Schumann, Andrew, author.

Yer Numarası

K213

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003316466
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:

4.

Logic and Structure için kapak resmi

Logic and Structure

Logic and Structure

Yazar

Dalen, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331010.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4558-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Logic the basics için kapak resmi

Logic the basics

Logic the basics

Yazar

Beall, J. C.

Yer Numarası

ONLINE

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Philosophy of logic için kapak resmi

Philosophy of logic

Philosophy of logic

Yazar

Jacquette, Dale.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444515414

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Digital logic design için kapak resmi

Digital logic design

Digital logic design

Yazar

Holdsworth, B. (Brian) Woods, R. C. (R. Clive)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780750645829

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

MYSTICISM AND LOGIC için kapak resmi

MYSTICISM AND LOGIC

MYSTICISM AND LOGIC

Yazar

Russell, Bertrand, 1872-1970.

Yer Numarası

B1649 .R93

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9781003604990
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:

9.

Advanced Logic Synthesis için kapak resmi

Advanced Logic Synthesis

Advanced Logic Synthesis

Yazar

Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67295-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Logic in games için kapak resmi

Yazar

Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Yer Numarası

ONLINE(364947.1)

Elektronik Erişim

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Synchronous precharge logic için kapak resmi

Synchronous precharge logic

Synchronous precharge logic

Yazar

Smoszna, Marek.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780123985279

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

Yazar

Gensler, Harry J., 1945-

Yer Numarası

ONLINE

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 2 3 4 5 .. 250

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11