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

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)

Sebeok, Thomas A., contributor.

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

Blair, J. Anthony, contributor.

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

Pietarinen, Ahti-Veikko, contributor.

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

Danesi, Marcel, contributor.

(4)

Deleuze, Gilles.

(4)

Duan, Zhenhua. editor.

(4)

Eco, Umberto, contributor.

(4)

Ehrig, Hartmut. editor.

(4)

Filipe, Joaquim. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Fraenkel, Abraham Adolf, 1891-1965.

(4)

Giannakopoulou, Dimitra. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Goertzel, Ben. editor.

(4)

Gorton, Ian. editor.

(4)

Grootendorst, Rob, contributor.

(4)

Havelund, Klaus. editor.

(4)

Hegel, Georg Wilhelm Friedrich.

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

Krampen, Martin, contributor.

(4)

Kunen, Kenneth.

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

Peirce, Charles S., author.

(4)

Pelc, Jerzy, contributor.

(4)

Petrosino, Alfredo. editor.

(4)

Pietarinen, Ahti-Veikko, editor.

(4)

Posner, Roland, contributor.

(4)

Rector, Monica, contributor.

(4)

Risby, Bonnie Lou.

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

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)

Çapak, İbrahim.

(4)

Ölveczky, Peter Csaba. editor.

(4)

(3)

Alpuente, María. editor.

(3)

Andacht, Fernando, contributor.

(3)

Andreescu, Titu. author.

(3)

Artemov, Sergei. editor.

(3)

Association for Symbolic Logic.

(3)

Baer, Eugen, contributor.

(3)

Banerjee, Mohua. editor.

(3)

Baroglio, Cristina. editor.

(3)

Behar, Lisa Block de, contributor.

(3)

Beklemishev, Lev D. editor.

(3)

Bjørner, Nikolaj. editor.

(3)

Blackburn, Patrick. editor.

(3)

Boella, Guido. editor.

(3)

Bolton, W. (William), 1933-

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

Cobley, Paul, contributor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Costa, Newton C. A. da.

(3)

Crawford, Dean.

(3)

Crossley, John N.

(3)

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

(3)

Dalen, D. van (Dirk), 1932-

(3)

Dalen, Dirk. author.

(3)

Dascal, Marcelo, contributor.

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

Dreyer, Claus, contributor.

(3)

Tümünü genişlet

Dil

(3031)

(68)

(35)

(8)

Multiple languages

(5)

(4)

Turkish, Ottoman

(1)

(1)

Tümünü genişlet

Yayın Yılı

-

(286)

(264)

(239)

(229)

(213)

(207)

(206)

(205)

(203)

(202)

(188)

(181)

(170)

(162)

(56)

(49)

(45)

(41)

(40)

(38)

(35)

(33)

(30)

(29)

(26)

(25)

(25)

(24)

(23)

(23)

(22)

(21)

(21)

(20)

(20)

(19)

(18)

(18)

(18)

(18)

(17)

(17)

(17)

(17)

(16)

(15)

(15)

(15)

(15)

(15)

(14)

(13)

(13)

(13)

(11)

(11)

(11)

(10)

(10)

(9)

(8)

(8)

(8)

(7)

(5)

(5)

(4)

(4)

(4)

(4)

(4)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Computer science.

(1244)

(1153)

Software engineering.

(876)

Artificial intelligence.

(654)

Logic, Symbolic and mathematical.

(317)

Computer Communication Networks.

(299)

Computer software.

(241)

(227)

Computer logic.

(160)

(155)

Mathematical logic.

(152)

Computational complexity.

(118)

Philosophy (General).

(115)

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)

(78)

Information systems.

(77)

Programming languages (Electronic computers).

(75)

Computational intelligence.

(67)

Data structures (Computer science).

(62)

LANGUAGE ARTS & DISCIPLINES / Linguistics / General.

(61)

Science -- Philosophy.

(61)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Computer system performance.

(57)

(56)

Programming Languages, Compilers, Interpreters.

(56)

(54)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Systems engineering.

(45)

Electronic data processing.

(42)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(41)

(40)

Electronic circuits.

(39)

Genetic epistemology.

(37)

(36)

Computer vision.

(35)

Electronic books.

(35)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

Bioinformatics.

(30)

Computation by Abstract Devices.

(29)

Mathematical Logic and Foundations.

(29)

Programming Techniques.

(29)

(28)

Linguistics -- Philosophy.

(28)

(28)

Computer programming.

(27)

Engineering mathematics.

(27)

(27)

Logic circuits.

(26)

Microprocessors.

(26)

Multimedia systems.

(26)

(26)

(25)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Management information systems.

(25)

(25)

Information storage and retrieval.

(24)

Data protection.

(23)

(23)

(23)

Electronic Circuits and Systems.

(21)

Mathematics -- Philosophy.

(21)

(20)

Computer security.

(20)

Digital electronics.

(19)

Information Systems Applications (incl. Internet).

(19)

Mathematical statistics.

(19)

(19)

Telecommunication.

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

(18)

Arithmetic and logic units, Computer.

(17)

Computer aided design.

(17)

Computer system failures.

(17)

Natural language processing (Computer science).

(17)

Signal processing.

(17)

Control engineering.

(16)

(16)

(16)

Data encryption (Computer science).

(15)

Mathematics_$xHistory.

(15)

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Language and languages -- Philosophy.

(14)

Language and logic.

(14)

Management of Computing and Information Systems.

(14)

Optical pattern recognition.

(14)

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Communications Engineering, Networks.

(13)

Computer architecture.

(13)

Computer hardware.

(13)

Computer science -- Mathematics.

(13)

Information Storage and Retrieval.

(13)

MANTIKSAL DEVRELER.

(13)

Modality (Logic)

(13)

(13)

Computational linguistics.

(12)

Numerical analysis.

(12)

(12)

Processor Architectures.

(12)

Symbolic and Algebraic Manipulation.

(12)

Algebraic logic.

(11)

Computer engineering.

(11)

Computer industry.

(11)

(11)

Science -- History.

(11)

Control and Systems Theory.

(10)

Data Mining and Knowledge Discovery.

(10)

Global analysis (Mathematics).

(10)

(10)

Nanotechnology.

(10)

Philosophy of mind.

(10)

(10)

(9)

Arithmetic and Logic Structures.

(9)

Control theory.

(9)

Data structures (Computer scienc.

(9)

Electronics and Microelectronics, Instrumentation.

(9)

Engineering design.

(9)

Geometry, algebraic.

(9)

(9)

(9)

Induction (Logic)

(9)

Industrial engineering.

(9)

Logic -- Congresses.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

Machine learning.

(9)

(9)

Programmable controllers.

(9)

Signal, Speech and Image Processing.

(9)

Soft computing.

(9)

Special purpose computers.

(9)

(9)

programmation en logique.

(9)

(8)

Computer networks .

(8)

Economics, Mathematical.

(8)

(8)

Knowledge, Theory of.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Operations research.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

(8)

Theory of Computation.

(8)

VHDL (Computer hardware description language)

(8)

BİLGİ KURAMI.

(7)

Electronic digital computers -- Circuits.

(7)

Embedded computer systems.

(7)

Engineering -- Data processing.

(7)

(7)

(7)

Logic -- Early works to 1800.

(7)

Logic -- History.

(7)

(7)

Logische Programmierung.

(7)

Mathematical optimization.

(7)

Microprogramming .

(7)

Optical data processing.

(7)

Probability and Statistics in Computer Science.

(7)

Programmable logic devices.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

TÜMEVARIM (MANTIK)

(7)

ANAHTARLAMA KURAMI.

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Biomedical engineering.

(6)

Computational Intelligence.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer Science, general.

(6)

Control, Robotics, Automation.

(6)

Data Engineering.

(6)

(6)

Electronic circuit design.

(6)

Embedded Systems.

(6)

Tümünü genişlet

Materyal Türü

Tümünü genişlet

Shelf Location

Beytepe Art Collection

Beytepe CD-ROM Koleksiyonu

Beytepe Danışma Koleksiyonu

Beytepe Genel Koleksiyon

Beytepe Görsel-İşitsel Koleksiyonu

Beytepe Tez Koleksiyonu

CRC Ekitapları

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Konservatuvar Genel Koleksiyon

Prof.Dr.Onur Bilge Kulak Collection

Sağlık Bilimleri Genel Koleksiyon

Tümünü genişlet

Kütüphane

Beytepe Kütüphanesi

Hukuk Kütüphanesi

Konservatuvar Kütüphanesi

Sağlık Bilimleri 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

3166 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 12 13 14 15 16 .. 264

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.

157.

Digital logic design a rigorous approach için kapak resmi

Digital logic design a rigorous approach

Digital logic design a rigorous approach

Yazar

Even, Guy. Medina, Moti, 1979-

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=490549

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Purgatory the logic of total transformation için kapak resmi

Purgatory the logic of total transformation

Purgatory the logic of total transformation

Yazar

Walls, Jerry L.

Yer Numarası

ONLINE

Elektronik Erişim

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199732296.001.0001

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Logic and the Organization of Information için kapak resmi

Logic and the Organization of Information

Logic and the Organization of Information

Yazar

Frické, Martin. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-3088-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Combinatory logic : pure, applied and typed için kapak resmi

Combinatory logic : pure, applied and typed

Combinatory logic : pure, applied and typed

Yazar

Bimbo, Katalin, 1963, author.

Yer Numarası

QA9.5 .B56 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Lollipop logic : grades K-2 için kapak resmi

Lollipop logic : grades K-2

Lollipop logic : grades K-2

Yazar

Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.

Yer Numarası

BC71 R57 2011 V.1

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

162.

The logic of positive engagement için kapak resmi

The logic of positive engagement

The logic of positive engagement

Yazar

Nincic, Miroslav.

Yer Numarası

ONLINE

Elektronik Erişim

http://www.jstor.org/stable/10.7591/j.ctt7v74h

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Handbook of logic and language için kapak resmi

Handbook of logic and language

Handbook of logic and language

Yazar

Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

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:

165.

Data integration the relational logic approach için kapak resmi

Data integration the relational logic approach

Data integration the relational logic approach

Yazar

Genesereth, Michael R., 1948-

Yer Numarası

ONLINE

Elektronik Erişim

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440318

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

A Concise Introduction to Mathematical Logic için kapak resmi

A Concise Introduction to Mathematical Logic

A Concise Introduction to Mathematical Logic

Yazar

Rautenberg, Wolfgang. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-1221-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Discrete structures, logic, and computability için kapak resmi

Discrete structures, logic, and computability

Discrete structures, logic, and computability

Yazar

Hein, James L.

Yer Numarası

QA76.9.M35 H44 2010

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

168.

Fuzzy logic with engineering applications için kapak resmi

Fuzzy logic with engineering applications

Fuzzy logic with engineering applications

Yazar

Ross, Timothy J. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781119994374
http://site.ebrary.com/lib/alltitles/Doc?id=10358927

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 12 13 14 15 16 .. 264

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11