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: German

Yazar

SpringerLink (Online service)

(30)

Deiser, Oliver. author.

(3)

Hoffmann, Dirk W. author.

(3)

Priese, Lutz. author.

(2)

Academia Republicii Socialiste România.

(1)

Albrecht, Erhard.

(1)

Asser, Günter.

(1)

Baumann, Christian. author.

(1)

Böckenhauer, Hans-Joachim. author.

(1)

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

(1)

Dietrich, Manfred. editor.

(1)

Drengner, Jan. author.

(1)

Décaillot, Anne-Marie. author.

(1)

Erk, Katrin. author.

(1)

Ewald, William. editor.

(1)

Funk, Christian. author.

(1)

Hausdorff, Felix. author.

(1)

Hromkovic, Juraj. author.

(1)

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

(1)

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

(1)

Kemnitz, Günter. author.

(1)

Kondakov, N. I. (Nikolaĭ Ivanovich)

(1)

Kröger, Fred, 1945-

(1)

Küchlin, Wolfgang. author.

(1)

Liebig, Hans. author.

(1)

Lienig, Jens. author.

(1)

Lienig, Jens. editor.

(1)

Lippe, Wolfram-Manfred. author.

(1)

Melle, Ullrich. editor.

(1)

Nebel, Markus. author.

(1)

Noll, Patrick. author.

(1)

Oberle, Daniel. author.

(1)

(1)

Raabe, Oliver. author.

(1)

Rollinger, Robin. editor.

(1)

Schenke, Michael. author.

(1)

Schindler, Ralf. author.

(1)

Sieg, Wilfried. editor.

(1)

Suppes, Patrick, 1922-

(1)

Tapp, Christian. author.

(1)

Wacker, Richard. author.

(1)

Weber, Andreas. author.

(1)

Wiedemann, Simon M. author.

(1)

Wimmel, Harro. author.

(1)

Zeidler, Eberhard. editor.

(1)

Ziegler, Martin. author.

(1)

Zimmermann, Rainer E. author.

(1)

Tümünü genişlet

Dil

(2)

(1)

(1)

Yayın Yılı

-

(8)

(4)

(4)

(3)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Logic, Symbolic and mathematical.

(17)

Computer science.

(14)

(13)

(9)

Computer simulation.

(4)

(4)

Software engineering.

(4)

Computer software.

(3)

(3)

Global analysis (Mathematics).

(3)

Systems engineering.

(3)

(2)

Data structures (Computer science).

(2)

(2)

Mathematics_$xHistory.

(2)

(2)

(2)

Philosophy (General).

(2)

(1)

Computable functions.

(1)

Computational complexity.

(1)

Computer aided design.

(1)

Computer vision.

(1)

Computers -- Law and legislation.

(1)

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- PROGRAMLAMA.

(1)

(1)

Economics/Management Science.

(1)

Electronic data processing.

(1)

(1)

Information theory.

(1)

Logic -- Dictionaries -- German.

(1)

Logic, Symbolic and mathematical -- Congresses.

(1)

Logic, Symbolic and mathematical -- Congresses. Methodology -- Congresses. Science -- Philosophy -- Congresses.

(1)

MANTIK, SEMBOLİK VE MATEMATİKİ.

(1)

Management information systems.

(1)

Mantık -- Sözlükler -- Alman.

(1)

(1)

Mathematical physics.

(1)

Methodology -- Congresses.

(1)

Peirce, Charles S. (Charles Sanders), 1839-1914.

(1)

(1)

(1)

Science -- Philosophy -- Congresses.

(1)

Science -- Philosophy.

(1)

(1)

(1)

Telecommunication.

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Beytepe Genel Koleksiyon

Elektronik Kütüphane

Prof.Dr.Onur Bilge Kulak Collection

Kütüphane

Beytepe 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

35 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3

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.

Temporal logic of programs için kapak resmi

Temporal logic of programs

Temporal logic of programs

Yazar

Kröger, Fred, 1945-

Yer Numarası

QA 76.6 K753 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 için kapak resmi

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Yazar

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic için kapak resmi

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Markenkommunikation mit Sport Wirkungsmodell für die Markenführung aus Sicht der Service-Dominant Logic

Yazar

Drengner, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338483.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8349-4198-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 için kapak resmi

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Yazar

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften için kapak resmi

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

Statistisches Matching mit Fuzzy Logic Theorie und Anwendungen in Sozial- und Wirtschaftswissenschaften

Yazar

Noll, Patrick. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-9586-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen için kapak resmi

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Yazar

Lippe, Wolfram-Manfred. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29274-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik için kapak resmi

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337115.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34720-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus için kapak resmi

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Yazar

Tapp, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336968.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29654-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse için kapak resmi

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

Yazar

Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337578.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00725-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis için kapak resmi

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338283.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? için kapak resmi

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

Yazar

Schenke, Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338349.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2295-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11