Search Results for Logic

1.

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

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

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.

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:

5.

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:

6.

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

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.

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:

9.

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:

10.

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Yazar

Zeidler, Eberhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337476.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00297-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

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:

13.

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:

14.

Kreativität und Form Programm eines Glasperlenspiels zum Experimentieren mit Wissen

Yazar

Zimmermann, Rainer E. author. Wiedemann, Simon M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Entwurf integrierter 3D-Systeme der Elektronik

Yazar

Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Formale Grundlagen der Programmierung

Yazar

Nebel, Markus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Recht ex machina Formalisierung des Rechts im Internet der Dienste

Yazar

Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Yazar

Décaillot, Anne-Marie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Technische Informatik Band 2: Entwurf digitaler Schaltungen

Yazar

Kemnitz, Günter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Mathematische Logik

Yazar

Ziegler, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-0346-0652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Edmund Husserl. Untersuchungen zur Urteilstheorie Texte aus dem Nachlass (1893-1918)

Yazar

Rollinger, Robin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6897-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Logische Grundlagen der Mathematik

Yazar

Schindler, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Theoretische Informatik Eine umfassende Einführung

Yazar

Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Petri-Netze

Yazar

Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76971-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-79376-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

Yazar

Hausdorff, Felix. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-76807-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Logischer Entwurf digitaler Systeme

Yazar

Liebig, Hans. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29430-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Yazar

Lienig, Jens. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29942-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Logische Untersuchungen Ergänzungsband Zweiter Teil Texte für die Neufassung der VI. Untersuchung. Zur Phänomenologie des Ausdrucks und der Erkenntnis (1893/94–1921)

Yazar

Melle, Ullrich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3574-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Einführung in die Informatik Objektorientiert mit Java

Yazar

Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138253

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Charles S. Peirce zur Einführung

Yazar

Pape, Helmut.

Yer Numarası

B945.P44 P347 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

35.

Wörterbuch der Logik

Yazar

Kondakov, N. I. (Nikolaĭ Ivanovich) Albrecht, Erhard. Asser, Günter.

Yer Numarası

BC9 K62 1983

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

	{displayName}	{count}
{error}