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

+

Yayın Yılı: 2014

Yazar

SpringerLink (Online service)

(137)

(4)

Bouchon-Meunier, Bernadette. editor.

(3)

Laurent, Anne. editor.

(3)

Strauss, Olivier. editor.

(3)

Yager, Ronald R. editor.

(3)

Ait Ameur, Yamine. editor.

(2)

Bondavalli, Andrea. editor.

(2)

Carnap, Rudolf, 1891-1970.

(2)

Cornelis, Chris. editor.

(2)

Csuhaj-Varjú, Ersébet. editor.

(2)

Dietzfelbinger, Martin. editor.

(2)

Giannakopoulou, Dimitra. editor.

(2)

Hegel, Georg Wilhelm Friedrich

(2)

Kryszkiewicz, Marzena. editor.

(2)

Legay, Axel. editor.

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(2)

Palamidessi, Catuscia. editor.

(2)

Peña, Ricardo. editor.

(2)

Schaefer, Ina. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281

(2)

Wright, Georg Henrik von, 1916-

(2)

Ésik, Zoltán. editor.

(2)

Abadi, Martín. editor.

(1)

Abraham, Erika. editor.

(1)

Abrahao, Silvia. editor.

(1)

Adler, Mortimer Jerome, 1902-

(1)

Agrawal, Manindra. editor.

(1)

Akay, Metin, ed.

(1)

(1)

Alberro, Alexander, author.

(1)

Albert, Elvira. editor.

(1)

Ambrose, Alice, 1906-

(1)

Amyot, Daniel. editor.

(1)

Armutlulu, İsmail Hakkı.

(1)

Artho, Cyrille. editor.

(1)

Asher, Nicholas. editor.

(1)

Avgeriou, Paris. editor.

(1)

Baldan, Paolo. editor.

(1)

Balestra, Francis.

(1)

Baptista, Jorge. editor.

(1)

Barais, Olivier. editor.

(1)

Barceló, Pablo. editor.

(1)

Barkatou, Moulay. editor.

(1)

Barrow, Lauren M., 1968-

(1)

Beierle, Christoph. editor.

(1)

Bekki, Daisuke. editor.

(1)

Bello, Rafael. editor.

(1)

Bensalem, Saddek. editor.

(1)

Benthem, Johan van, 1949-

(1)

Berger, Robert E., author.

(1)

Bernardo, Marco. editor.

(1)

Berstel-Da Silva, Bruno. author.

(1)

Biere, Armin. editor. (orcid)0000-0001-7170-9242

(1)

Bikakis, Antonis. editor.

(1)

Black, Max, 1909-

(1)

Bloem, Roderick. editor.

(1)

Bobillo, Fernando. editor.

(1)

Bogoslovsky, Boris Basil, 1890-

(1)

Boiten, Eerke A. author.

(1)

Bonakdarpour, Borzoo. editor.

(1)

Boniol, Frederic. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bourdieu, Pierre, 1930-2002

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Boğosyan, Seta, çev.

(1)

Braithwaite, Richard Bevan, ed.

(1)

Britton, Karl, 1909-

(1)

Brodie, Helen Charlotte, 1915-

(1)

Buckner, Edward, 1955- translator.

(1)

Bulling, Nils. editor.

(1)

Cabot, Jordi. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calude, Cristian S. editor.

(1)

Candeias, Sara. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Carvalho, Rommel N. editor.

(1)

Casadio, Claudia. editor.

(1)

Cassez, Franck. editor.

(1)

Ceccarelli, Andrea. editor.

(1)

Chwistek, Leon, 1884-

(1)

Ciardo, Gianfranco. editor.

(1)

Ciobanu, Gabriel. editor.

(1)

Ciucci, Davide. editor.

(1)

Cluzeau, Thomas. editor.

(1)

Codish, Michael. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Ernie. editor.

(1)

Cohen, Morris Raphael, 1880-1947.

(1)

Colinet, Margot. editor.

(1)

Combemale, Benoit. editor.

(1)

Cooper, S. Barry. editor.

(1)

(1)

Costa, Paulo C.G. editor.

(1)

Counsell, Steve. editor.

(1)

Croitoru, Madalina. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Damiani, Ferruccio. editor.

(1)

Davenport, James H. editor.

(1)

Davies, William, 1976- author.

(1)

Davis, Brian. editor.

(1)

De Morgan, Augustus, 1806-1871, author.

(1)

Dediu, Adrian-Horia. editor.

(1)

Demri, Stéphane. editor.

(1)

Deng, Yuxin. author.

(1)

Derrick, John. author.

(1)

Dewey, John, 1859-1952.

(1)

Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299

(1)

Di Ruscio, Davide. editor.

(1)

Diaz, Josep. editor.

(1)

Dingel, Juergen. editor.

(1)

Dowek, Gilles. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duns Scotus, John, approximately 1266-1308.

(1)

Egly, Uwe. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fages, François. editor.

(1)

Falahat, Somaiyeh. author.

(1)

Fanizzi, Nicola. editor.

(1)

Fermé, Eduardo. editor.

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Fischbach, Kai. editor.

(1)

Fitzgerald, John. editor.

(1)

Flammini, Francesco. editor.

(1)

Flatt, Matthew. editor.

(1)

Fodor, Paul. editor.

(1)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(1)

Freivalds, Rūsiņš. editor.

(1)

Gabbay, Dov M., 1945-

(1)

Gamboa, Ruben. editor.

(1)

Garrigue, Jacques. editor.

(1)

Gavrilova, Marina L. editor.

(1)

George, Laurent. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Giese, Holger. editor.

(1)

Glodeanu, Cynthia Vera. editor.

(1)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(1)

Goertzel, Ben. editor.

(1)

Gonzales, Christophe. editor.

(1)

Gopal, T V. editor.

(1)

Grossi, Davide. editor.

(1)

Guo, Hai-Feng. editor.

(1)

Gupta, Gopal. editor.

(1)

Gökaşan, Metin, çev.

(1)

Haddad, Serge. editor.

(1)

Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Hagras, Hani, author.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Heisel, Maritta. editor.

(1)

(1)

Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951

(1)

Hirsch, Edward. editor.

(1)

Holzer, Markus. editor.

(1)

Horrocks, Ian. editor.

(1)

(1)

Horváth, András. editor.

(1)

Höfner, Peter. editor.

(1)

IEEE Engineering in Medicine and Biology Society.

(1)

IEEE Xplore (Online Service), distributor.

(1)

Iida, Hiroyuki. editor.

(1)

Iida, Shusaku. editor.

(1)

Insfran, Emilio. editor.

(1)

Jameson, Fredric.

(1)

Jamroga, Wojtek. editor.

(1)

Janjua, Naeem Khalid. author.

(1)

Jeffrey, Richard C., ed.

(1)

Jipsen, Peter. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Jones, Richard. editor.

(1)

Joosen, Wouter. editor.

(1)

Jürgensen, Helmut. editor.

(1)

Kahl, Wolfram. editor.

(1)

Kaljurand, Kaarel. editor.

(1)

Kapur, Deepak. editor.

(1)

Karhumäki, Juhani. editor.

(1)

Kashefi, Elham. editor.

(1)

Katrenko, Sophia. editor.

(1)

Kaytoue, Mehdi. editor.

(1)

Kazuo, Iwama. editor.

(1)

Kehoe, Genevieve M., 1979- author.

(1)

(1)

Khatri, Sunil P. author.

(1)

Kindler, Ekkart. editor.

(1)

Klein, Gerwin. author.

(1)

Klein, Gerwin. editor.

(1)

Knight, William. author.

(1)

Koepf, Wolfram. editor.

(1)

Kohlenbach, Ulrich. editor.

(1)

Kolaitis, Phokion. editor.

(1)

Koubarakis, Manolis. editor.

(1)

Koutny, Maciej. editor.

(1)

Kracht, Marcus, ed.

(1)

Kraynak, Janet, author.

(1)

Tümünü genişlet

Dil

(180)

(7)

Konu

Computer logic.

(88)

Mathematical logic.

(76)

Software engineering.

(65)

Artificial intelligence.

(45)

Programming languages (Electronic computers).

(44)

(29)

Computer science—Mathematics.

(28)

(19)

Computer programming.

(19)

Application software.

(18)

Computer communication systems.

(14)

Computer science.

(14)

Information storage and retrieval.

(13)

(9)

(9)

(8)

Logic, Symbolic and mathematical.

(7)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(7)

Management information systems.

(7)

Computer simulation.

(6)

Database management.

(6)

Computer system failures.

(5)

Mathematical statistics.

(5)

Computer security.

(4)

Data structures (Computer science).

(4)

Numerical analysis.

(4)

(3)

MATEMATİK -- FELSEFE.

(3)

Mathematics -- Philosophy.

(3)

Pattern recognition.

(3)

(3)

AKIL YÜRÜTME.

(2)

Arithmetic and logic units, Computer.

(2)

Bioinformatics.

(2)

Biomedical engineering.

(2)

BİYOLOJİ VE TIP MÜHENDİSLİĞİ.

(2)

Computer organization.

(2)

Electronic circuits.

(2)

(2)

(2)

(2)

Judgment (Logic)

(2)

(2)

Logical positivism.

(2)

MANTIKSAL POZİTİVİZM.

(2)

(2)

Natural language processing (Computer science).

(2)

(2)

(2)

(2)

Special purpose computers.

(2)

User interfaces (Computer systems).

(2)

ANLAM (PSİKOLOJİ)

(1)

Administrative procedure -- Argentina.

(1)

Administrative procedure -- Brazil.

(1)

Administrative procedure -- United States.

(1)

(1)

Anthropology -- Methodology.

(1)

Anthropology -- Research.

(1)

(1)

Argentina -- Politics and government -- 1983-2002.

(1)

Aristotle. De interpretatione.

(1)

Art, Modern -- 21st century.

(1)

Artificial intelligence -- Mathematics.

(1)

Automatic control.

(1)

Biomedical Engineering.

(1)

Biçimcilik (Mantık) -- Kongreler.

(1)

Bonvicini, Monica, 1965- -- Criticism and interpretation.

(1)

Brazil -- Politics and government -- 1985-2002.

(1)

Brazil -- Politics and government -- 2003-

(1)

BİLİM -- YÖNTEMBİLİM.

(1)

Capitalism -- Political aspects.

(1)

(1)

(1)

Commonsense reasoning -- Automation.

(1)

Communication in science.

(1)

Computational intelligence.

(1)

Computational linguistics.

(1)

Computer engineering.

(1)

Computer graphics.

(1)

Control engineering.

(1)

(1)

Criminal behavior, Prediction of -- United States.

(1)

Criminal profilers -- United States.

(1)

Culture -- Philosophy.

(1)

Currency question.

(1)

Data encryption (Computer science).

(1)

(1)

DİL VE DİLLER -- FELSEFE.

(1)

(1)

(1)

Economics -- Political aspects.

(1)

Education -- Philosophy.

(1)

Education—Data processing.

(1)

Electronic books.

(1)

Electronic digital computers -- Circuits.

(1)

Elektronik sayısal bilgisayarlar -- Devreler.

(1)

Ethnophilosophy.

(1)

Executive power -- Argentina -- History.

(1)

Executive power -- Brazil -- History.

(1)

Executive power -- United States -- History.

(1)

FARABİ, 870-950.

(1)

(1)

Free enterprise -- Political aspects.

(1)

(1)

GEOMETRİ -- TEMEL.

(1)

(1)

Geometry -- Foundations.

(1)

Health informatics.

(1)

Hegel, Georg Wilhelm Friedrich, 1770-1831. Wissenschaft der Logik.

(1)

Information theory.

(1)

Installations (Art) -- 21st century.

(1)

Judgment (Aesthetics)

(1)

Kant, Immanuel, 1724-1804.

(1)

Kant, Immanuel, 1724-1804. Kritik der Urteilskraft.

(1)

KÜLTÜR -- FELSEFE.

(1)

Language and languages -- Philosophy -- Early works to 1800.

(1)

Language and languages -- Philosophy.

(1)

Liberty -- Philosophy.

(1)

Logic -- Early works to 1800.

(1)

Logic -- History -- Islamic countries.

(1)

Logic -- History.

(1)

Logic circuits.

(1)

Logic, Symbolic and mathematical -- Data processing.

(1)

MANTIK -- TARİHÇE -- İSLAM ÜLKELERİ.

(1)

(1)

Mantıksal Devreler.

(1)

Mantıksal tasarım.

(1)

Marx, Karl, 1818-1883. Kapital.

(1)

Marxian economics.

(1)

Meaning (Psychology)

(1)

Metal oxide semiconductors, Complementary.

(1)

Microcontrollers.

(1)

Modality (Logic) -- Congresses.

(1)

(1)

Nanoelectronics.

(1)

Nanostructures.

(1)

(1)

Neural Networks (Computer).

(1)

(1)

Operations research.

(1)

PEIRCE, CHARLES SANDERS, 1839-1914 -- BİBLİYOGRAFYA.

(1)

POSTMODERNİZM (EDEBİYAT)

(1)

(1)

Partial differential equations.

(1)

Peirce, Charles Sanders, 1839-1914 -- Bibliography.

(1)

(1)

Postmodernism (Literature)

(1)

Presidents -- Term of office -- Argentina -- History.

(1)

Presidents -- Term of office -- Brazil -- History.

(1)

Presidents -- Term of office -- United States -- History.

(1)

Programmable controllers.

(1)

Programmable logic devices.

(1)

Quantum computers.

(1)

RUSSELL, BERTRAND, 1872-1970. Principia mathematica.

(1)

Rousseau, Jean-Jacques, 1712-1778.

(1)

Rousseau, Jean-Jacques, 1712-1778. Emile.

(1)

Science -- Methodology.

(1)

(1)

Signal processing.

(1)

(1)

SİNYAL İŞLEME.

(1)

SİNİRSEL AĞLAR (BİLGİSAYAR).

(1)

Technical writing.

(1)

(1)

TÜMEVARIM (MATEMATİK)

(1)

(1)

United States -- Politics and government -- 1981-1989.

(1)

United States -- Politics and government -- 1989-

(1)

Urban planning.

(1)

Varlık bilimi.

(1)

WHITEHEAD, ALFRED NORTH, 1861-1947. Principia mathematica.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Art Collection

Beytepe Danışma Koleksiyonu

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Sağlık Bilimleri Genel Koleksiyon

Kütüphane

Beytepe 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

187 sonuç bulundu

Arama sonuçlarına abone ol

1 .. 3 4 5 6 7 .. 16

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.

Communication : a philosophical study of language için kapak resmi

Communication : a philosophical study of language

Communication : a philosophical study of language

Yazar

Britton, Karl, 1909-

Yer Numarası

P 105 B75 1939 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

50.

Dialectic için kapak resmi

Yazar

Adler, Mortimer Jerome, 1902-

Yer Numarası

BC 177 A4 1927 (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

51.

The logical syntax of language için kapak resmi

The logical syntax of language

The logical syntax of language

Yazar

Carnap, Rudolf, 1891-1970.

Yer Numarası

BC 135 C323 1937 P (SET)

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

52.

Nonlinear biomedical signal processing için kapak resmi

Nonlinear biomedical signal processing

Nonlinear biomedical signal processing

Yazar

Akay, Metin.

Yer Numarası

QT 26.5 N813 2000-

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

53.

Nonlinear biomedical signal processing için kapak resmi

Nonlinear biomedical signal processing

Nonlinear biomedical signal processing

Yazar

Akay, Metin, ed. IEEE Engineering in Medicine and Biology Society.

Yer Numarası

R 857.S47 N66 2000- V.2

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

54.

İslam mantık tarihi ve Farabi mantığı için kapak resmi

İslam mantık tarihi ve Farabi mantığı

İslam mantık tarihi ve Farabi mantığı

Yazar

Keklik, Nihat.

Yer Numarası

BC 34 K4 1969-70

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

55.

Beyond-CMOS Nanodevices 1 için kapak resmi

Beyond-CMOS Nanodevices 1

Beyond-CMOS Nanodevices 1

Yazar

Balestra, Francis.

Yer Numarası

ONLINE(342103.1)

Elektronik Erişim

Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1706877
ebrary http://site.ebrary.com/id/10879744
John Wiley http://dx.doi.org/10.1002/9781118984772
MyiLibrary http://www.myilibrary.com?id=621893

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Red Kant : Aesthetics, Marxism, and the Third Critique için kapak resmi

Red Kant : Aesthetics, Marxism, and the Third Critique

Red Kant : Aesthetics, Marxism, and the Third Critique

Yazar

Wayne, Mike.

Yer Numarası

B2799.A4 W39 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

57.

Anahatlarda felsefi bilimler ansiklopedisi - I : mantık bilimi (küçük mantık) için kapak resmi

Anahatlarda felsefi bilimler ansiklopedisi - I : mantık bilimi (küçük mantık)

Anahatlarda felsefi bilimler ansiklopedisi - I : mantık bilimi (küçük mantık)

Yazar

Hegel, Georg Wilhelm Friedrich

Yer Numarası

REF/B2918.T9 Y37 2014 V.1

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

58.

Belirsizlik ve fazi aritmetiği : sosyal bilimlerin dili için kapak resmi

Belirsizlik ve fazi aritmetiği : sosyal bilimlerin dili

Belirsizlik ve fazi aritmetiği : sosyal bilimlerin dili

Yazar

Armutlulu, İsmail Hakkı.

Yer Numarası

QA248.5 A76 2014

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

59.

A scientific approach to writing for engineers and scientists için kapak resmi

A scientific approach to writing for engineers and scientists

A scientific approach to writing for engineers and scientists

Yazar

Berger, Robert E., author.

Yer Numarası

ONLINE(341949.1)

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/9781118886779

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Commonsense reasoning an event calculus-based approach için kapak resmi

Commonsense reasoning an event calculus-based approach

Commonsense reasoning an event calculus-based approach

Yazar

Mueller, Erik T., author.

Yer Numarası

ONLINE(355437.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 .. 3 4 5 6 7 .. 16

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11