UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 78

Sortiert nach

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)

Li, Wanlin

1991

Signatur: M5753

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Informatik und Unternehmensführung

Steinbock, Hans-Joachim

1994

Signatur: TZT2959

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Scholtes, Carsten

2003

Signatur: D13906

Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben

Informatik interaktiv

Wagenknecht, Christian

2003

Signatur: TVM4374

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Informatik-Fachberichte : 178 (Alle Bände)

Göttler, Herbert

1988

Signatur: TVM2217

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Korthauer, Edgar

1991

Signatur: D6325

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Stahl, Irene

1995

Signatur: D10353

Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken

Informatik-Fachberichte : 313 (Alle Bände)

Busemann, Stephan

1992

Signatur: TVM2835

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Informatik-Fachberichte : 199 (Alle Bände)

Beckstein, Clemens

1988

Signatur: TVM2225

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Grothklags, Sven

2006

Link zum Volltext
Volltext

Algorithmik

Spektrum-Lehrbuch

Schöning, Uwe

2001

Signatur: TVI4081

Automatische Komplexitätsanalyse funktionaler Programme

Informatik-Fachberichte : 261 (Alle Bände)

Zimmermann, Wolf

1990

Signatur: TVM2518

Komplexitätstheorie. 1. Grundlagen : Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus

Komplexitätstheorie (Alle Bände)

Reischuk, Rüdiger

2., völlig neubearb. und erw. Aufl, 1999

Signatur: TVM4162(2)-1

Algorithmen in Java

Informatik

Sedgewick, Robert

3., überarb. Aufl, 2003-

Signatur: TVI4104-DT,...

Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester

Uni-Text

1977

Signatur: TVM1481

Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76

Applied computer science : 4 (Alle Bände)

Noltemeier, Hartmut[Herausgeber]

1. Aufl, 1976

Signatur: TVM1512

Graph-Grammatiken : Theorie, Anwendungen, Implementierung

Studienbücher Informatik

Nagl, Manfred

1979

Signatur: TVM1669

Formale Sprachen

Salomaa, Arto

1978

Signatur: TVM1627

Logik und Programmieren in Logik : ein Lehrbuch

Yasdi, Ramin

1995

Signatur: TVM3530

Das Parsen von indizierten Sprachen

Willmann-Strodtmann, Martin

1988

Signatur: D1569

Logische und funktionale Programmierung : Grundlagen einer Kombination

Künstliche Intelligenz

Furbach, Ulrich

1991

Signatur: TVM2607

Controlled conspiracy number search [Elektronische Ressource]

Lorenz, Ulf

2000

Link zum Volltext
Volltext

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Beckstein, Clemens

1988

Signatur: D455

Constraint-Programmierung : Grundlagen und Anwendungen

Springer-Lehrbuch

1997

Signatur: TVM4049

Online-Planungsprobleme mit Fristen : Algorithmendesign und Analysen [Elektronische Ressource]

Riedel, Marco

2000

Link zum Volltext
Volltext

1 – 25 von 78

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(74)
Online-Ressource
(4)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(78)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(1)

Systemstelle

TVM
(78)
TVI
(19)
TVU
(5)
TVH
(4)
QBB
(2)
TMV
(2)
TWP
(2)
PZY
(1)
TDB
(1)
TVE
(1)
TVZ
(1)
TWB
(1)
TWZ
(1)
TZT
(1)
ZHV
(1)

10 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Generierung natürlicher Sprache mit generalisierten Phrasenstruktur-Grammatiken

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Flottenzuweisung in der Flugplanung : Modelle, Komplexität und Lösungsverfahren [Elektronische Ressource]

Algorithmik

Automatische Komplexitätsanalyse funktionaler Programme

Komplexitätstheorie. 1. Grundlagen : Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus

Algorithmen in Java

Formale Sprachen : eine Einführung ; Skriptum für Hörer aller Fachrichtungen ab 3. Semester

Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76

Graph-Grammatiken : Theorie, Anwendungen, Implementierung

Formale Sprachen

Logik und Programmieren in Logik : ein Lehrbuch

Das Parsen von indizierten Sprachen

Logische und funktionale Programmierung : Grundlagen einer Kombination

Controlled conspiracy number search [Elektronische Ressource]

Zur Logik der Logik-Programmierung : ein konstruktiver Ansatz

Constraint-Programmierung : Grundlagen und Anwendungen

Online-Planungsprobleme mit Fristen : Algorithmendesign und Analysen [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern