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ış:

+

Dil: English

Yazar

SpringerLink (Online service)

(1972)

(22)

Voronkov, Andrei. editor.

(18)

Gabbay, Dov M., 1945-

(12)

Wiley InterScience (Online service)

(12)

Bonsangue, Marcello M. editor.

(11)

Boer, Frank S. 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)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Kacprzyk, Janusz. 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)

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. editor.

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

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)

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)

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)

Castillo, Oscar. author.

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

Fraenkel, Abraham Adolf, 1891-1965.

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

Horváth, Zoltán. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Koutny, Maciej. editor.

(4)

Kunen, Kenneth.

(4)

Kuratowski, Kazimierz, 1896-1980.

(4)

LaMeres, Brock J. author.

(4)

Majumdar, Rupak. editor.

(4)

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

(4)

Masulli, Francesco. editor.

(4)

Melin, Patricia. editor.

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

Petrosino, Alfredo. editor.

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

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. 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)

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)

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)

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)

Dawar, Anuj. editor.

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

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)

Hegel, Georg Wilhelm Friedrich, 1770-1831.

(3)

Hegel, Georg Wilhelm Friedrich.

(3)

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hermenegildo, Manuel V. editor.

(3)

Herzig, Andreas. editor.

(3)

Hinchey, Mike. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

International Colloquium in the Philosophy of Science (1965 : Bedford College)

(3)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(3)

Johnsen, Einar Broch. editor.

(3)

Jones, Cliff B. editor.

(3)

Kanamori, Akihiro. editor.

(3)

Katoen, Joost-Pieter. editor.

(3)

Tümünü genişlet

Dil

(2)

(2)

(1)

Yayın Yılı

-

(257)

(243)

(228)

(221)

(205)

(193)

(190)

(189)

(186)

(180)

(172)

(151)

(117)

(98)

(45)

(40)

(34)

(33)

(30)

(26)

(23)

(23)

(23)

(23)

(23)

(22)

(21)

(20)

(19)

(18)

(17)

(17)

(17)

(17)

(16)

(16)

(16)

(15)

(15)

(14)

(14)

(13)

(13)

(12)

(12)

(12)

(11)

(11)

(11)

(11)

(10)

(10)

(10)

(10)

(9)

(9)

(9)

(8)

(8)

(8)

(8)

(8)

(6)

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

Tümünü genişlet

Konu

Computer science.

(1227)

(1134)

Software engineering.

(870)

Artificial intelligence.

(606)

Computer Communication Networks.

(294)

Logic, Symbolic and mathematical.

(286)

Computer software.

(238)

(190)

Computer logic.

(160)

Mathematical logic.

(149)

(131)

Computational complexity.

(118)

Philosophy (General).

(113)

Logics and Meanings of Programs.

(104)

Information Systems.

(103)

Operating systems (Computers).

(101)

Mathematical Logic and Formal Languages.

(100)

Information theory.

(89)

Algebra -- Data processing.

(79)

(78)

Information systems.

(77)

Computer simulation.

(76)

Programming languages (Electronic computers).

(75)

(74)

Artificial Intelligence (incl. Robotics).

(60)

Information storage and retrieval systems.

(59)

Science -- Philosophy.

(59)

Data structures (Computer science).

(58)

Computer system performance.

(57)

Programming Languages, Compilers, Interpreters.

(56)

(54)

(52)

Computer network architectures.

(50)

Computer science—Mathematics.

(48)

Database management.

(48)

Electronic data processing.

(41)

Systems engineering.

(41)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(40)

(37)

Genetic epistemology.

(37)

Algorithm Analysis and Problem Complexity.

(32)

Application software.

(32)

(31)

Bioinformatics.

(29)

Computation by Abstract Devices.

(29)

Computer vision.

(29)

Programming Techniques.

(29)

Linguistics -- Philosophy.

(28)

Mathematical Logic and Foundations.

(28)

Computer programming.

(27)

Computer communication systems.

(25)

Logic, Symbolic and mathematical -- Congresses.

(25)

Multimedia systems.

(25)

Engineering mathematics.

(24)

Information storage and retrieval.

(24)

Management information systems.

(24)

Data protection.

(22)

(22)

(22)

(21)

(21)

Computer security.

(20)

Mathematics -- Philosophy.

(20)

(19)

Electronic books.

(19)

(19)

Information Systems Applications (incl. Internet).

(19)

Computer organization.

(18)

Discrete Mathematics in Computer Science.

(18)

Logic circuits.

(18)

Arithmetic and logic units, Computer.

(17)

Computer system failures.

(17)

(17)

(17)

Computer aided design.

(16)

Digital electronics.

(16)

(16)

Mathematical statistics.

(16)

Microprocessors.

(16)

Data encryption (Computer science).

(15)

Electronic circuits.

(15)

Natural language processing (Computer science).

(15)

Data transmission systems.

(14)

Distribution (Probability theory).

(14)

Management of Computing and Information Systems.

(14)

(14)

(14)

Optical pattern recognition.

(14)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Computer hardware.

(13)

Information Storage and Retrieval.

(13)

Mathematics_$xHistory.

(13)

Modality (Logic)

(13)

MANTIKSAL DEVRELER.

(12)

Numerical analysis.

(12)

(12)

Algebraic logic.

(11)

Computer industry.

(11)

(11)

(11)

Science -- History.

(11)

Symbolic and Algebraic Manipulation.

(11)

Philosophy of mind.

(10)

Data Mining and Knowledge Discovery.

(9)

Data structures (Computer scienc.

(9)

Geometry, algebraic.

(9)

Logic programming -- Congresses.

(9)

Logic programming.

(9)

MANTIKSAL TASARIM.

(9)

(9)

(9)

Special purpose computers.

(9)

programmation en logique.

(9)

Arithmetic and Logic Structures.

(8)

Computational linguistics.

(8)

Economics, Mathematical.

(8)

Language and logic.

(8)

MANTIKSAL PROGRAMLAMA.

(8)

Memory management (Computer science).

(8)

Microprogramming.

(8)

Philosophy, modern.

(8)

Quantum theory.

(8)

Recursion theory.

(8)

Science -- Philosophy -- Congresses.

(8)

Semantics (Philosophy)

(8)

(8)

Computer science -- Mathematics.

(7)

(7)

(7)

(7)

(7)

(7)

Logische Programmierung.

(7)

Math Applications in Computer Science.

(7)

Optical data processing.

(7)

Social sciences -- Data processing.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Theory of Computation.

(7)

VHDL (Computer hardware description language)

(7)

ANAHTARLAMA KURAMI.

(6)

(6)

Applied linguistics.

(6)

Architecture, Computer.

(6)

Computational Intelligence.

(6)

Computer Science, general.

(6)

Control theory.

(6)

Electronic digital computers -- Circuits.

(6)

Engineering design.

(6)

Global analysis (Mathematics).

(6)

History of Mathematical Sciences.

(6)

Judgment (Logic)

(6)

Language and languages -- Philosophy.

(6)

Law -- Philosophy.

(6)

(6)

Logic, Medieval.

(6)

Logisch programmeren.

(6)

Nanotechnology.

(6)

Numeric Computing.

(6)

Philosophy of law.

(6)

Probability and Statistics in Computer Science.

(6)

Programmable controllers.

(6)

Programmable logic devices.

(6)

Social sciences -- Philosophy.

(6)

System Performance and Evaluation.

(6)

TÜMEVARIM (MANTIK)

(6)

Automatic control.

(5)

Axiomatic set theory.

(5)

BİLGİ KURAMI.

(5)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer graphics.

(5)

Game Theory, Economics, Social and Behav. Sciences.

(5)

Induction (Logic)

(5)

Intuitionistic mathematics.

(5)

(5)

(5)

Logic -- Early works to 1800.

(5)

Logic design -- Data processing.

(5)

Many-valued logic.

(5)

Microprogramming .

(5)

Nonlinear control theory.

(5)

Nonmonotonic reasoning.

(5)

(5)

Operating Systems.

(5)

Operations research.

(5)

Pattern recognition.

(5)

(5)

SAYISAL ELEKTRONİK.

(5)

Social sciences -- Methodology.

(5)

Special Purpose and Application-Based Systems.

(5)

(5)

Telecommunication.

(5)

Thought and thinking -- Problems, exercises, etc.

(5)

(5)

User Interfaces and Human Computer Interaction.

(5)

Categories (Mathematics)

(4)

Circuits and Systems.

(4)

Combinatory logic.

(4)

Computable functions.

(4)

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

Elektronik Kütüphane

Hukuk Genel Koleksiyon

Konservatuvar Genel Koleksiyon

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

2753 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 230

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.

49.

Logic with prolog için kapak resmi

Logic with prolog

Logic with prolog

Yazar

Gibbins, Peter.

Yer Numarası

QA 76.73.P76 G53 1988

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

50.

Logic tools programming için kapak resmi

Logic tools programming

Logic tools programming

Yazar

Pace, Philip, 1956- Pace, L., ort. yaz.

Yer Numarası

QA 76.6 P325 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

51.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

Yazar

Packard, Dennis J. Faulconer, James E., ort. yaz.

Yer Numarası

BC 108 P22 1980

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

52.

Computer logic design için kapak resmi

Computer logic design

Computer logic design

Yazar

Mano, M. Morris, 1927-

Yer Numarası

TK 7868.S9 M275 1972

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

53.

Logic for philosophers için kapak resmi

Logic for philosophers

Logic for philosophers

Yazar

Purtill, Richard L., 1931-

Yer Numarası

BC 71 P86 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

54.

Sets and logic için kapak resmi

Yazar

Hanna, Samuel C. Saber, John C., ort. yaz.

Yer Numarası

QA 248 H29 1971

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

55.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

Yazar

Beach, John D.

Yer Numarası

BC 108 B34 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

56.

Understanding symbolic logic için kapak resmi

Understanding symbolic logic

Understanding symbolic logic

Yazar

Massey, Gerald J.

Yer Numarası

BC 135 M35 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

57.

Logic in teaching için kapak resmi

Logic in teaching

Logic in teaching

Yazar

Ennis, Robert Hugh, 1927-

Yer Numarası

BC 161.T4 E5 1969

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

58.

Methods of logic için kapak resmi

Methods of logic

Methods of logic

Yazar

Quine, Willard Van Orman.

Yer Numarası

BC 50 Q8 1966

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

59.

Logic and criticism için kapak resmi

Logic and criticism

Logic and criticism

Yazar

Righter, William.

Yer Numarası

BH 39 R5 1963

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

60.

Introduction to logic için kapak resmi

Introduction to logic

Introduction to logic

Yazar

Clark, Romane. Welsh, Paul, ort. yaz.

Yer Numarası

BC 71 C5 1962

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 230

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11