Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach LOGISCHE PROGRAMMIERUNG ergibt 12 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Deduktive Datenbanken: eine Einführung aus der Sicht der logischen Programmierung Deduktive Datenbanken: eine Einführung aus der Sicht der logischen Programmierung [Buch] Cremers, Armin B. 1994 Buch URL Exists Catalogue Record Regalstandort: ST 270 C915.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
2 Designing with Xilinx® FPGAs: Using Vivado Designing with Xilinx® FPGAs: Using Vivado [E-Book]   2017 E-Book URL Exists Catalogue Record .
3 Graph-based proof procedures for Horn clauses Graph-based proof procedures for Horn clauses [Hochschulschriften] Raatz, Stan 1990 Reihenverknüpfung anzeigen für Katalogsatz 500016890500016890 Hochschulschriften URL Exists Catalogue Record Regalstandort: 27 800/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
4 ¬The¬ Haskell road to logic, maths and programming ¬The¬ Haskell road to logic, maths and programming [Buch] Doets, Kees 2004 Reihenverknüpfung anzeigen für Katalogsatz 500144404500144404 Buch URL Exists Catalogue Record Regalstandort: SK 130 D653.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
5 Integration von Konzepten der objektorientierten und logischen Programmierung [Hochschulschriften] Welsch, Christoph 1990 Hochschulschriften Regalstandort: 27 240/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
6 ¬The¬ journal of logic and algebraic programming [Buch]   2001 Buch URL Exists Catalogue Record .
7 Kurs in Logischer Programmierung Kurs in Logischer Programmierung [Buch] Fuchs, Norbert E. 1990 Buch URL Exists Catalogue Record Regalstandort: ST 300 F951.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
8 Logical Foundations for Rule-Based Systems Logical Foundations for Rule-Based Systems [E-Book]   2006 E-Book URL Exists Catalogue Record .
9 Logik für Informatiker Logik für Informatiker [Buch] Schöning, Uwe 2000 Buch URL Exists Catalogue Record Regalstandort: ST 120 S365(5).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
10 Logik für Informatiker Logik für Informatiker [Buch] Dassow, Jürgen 2005 Buch Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
11 Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines [E-Book]   2006 E-Book URL Exists Catalogue Record .
12 Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz [Hochschulschriften] Beckstein, Clemens 1988 Reihenverknüpfung anzeigen für Katalogsatz 500012380500012380 Hochschulschriften URL Exists Catalogue Record Regalstandort: 24 722.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche