UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 269

Sortiert nach

Verification of sequential and concurrent programs

Graduate texts in computer science

2. ed, 1997

Signatur: TVM2568(2)

Logic programming over polymorphically order-sorted types

Smolka, Gert

1989

Signatur: D2127

Selfish routing in networks [Elektronische Ressource]

Gairing, Martin

2006

Link zum Volltext
Volltext

Algorithmic complexity and communication problems

1996

Signatur: TVM3831

Algorithmen in Java

Informatik

Sedgewick, Robert

3., überarb. Aufl, 2003-

Signatur: TVI4104-DT,...

Randomness and Complexity

Wang, Yongge

1996

Signatur: DQ2038

Synthesis of parallel algorithms

Reif, John H[Herausgeber]

1. [Dr.], 1993

Signatur: TVM2982

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

Uni-Text

1977

Signatur: TVM1481

Structural complexity. 2

Structural complexity (Alle Bände), EATCS monographs on theoretical computer science : 22 (Alle Bände)

1990

Signatur: TVM2110-2

Algebraic coding theory

McGraw-Hill series in systems science

Berlekamp, Elwyn R

1968

Signatur: TVM1318

Commentary on standard ML

1991

Signatur: TVM2712

Towards structured specifying : theory, practice, applications

Ellis Horwood books in information technology, Ellis Horwood series in software engineering

1989

Signatur: TVM2411

Completeness, confluence, and related properties of clause graph resolution

Eisinger, Norbert

1988

Signatur: D440

Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76

Applied computer science : 4 (Alle Bände)

Noltemeier, Hartmut[Herausgeber]

1. Aufl, 1976

Signatur: TVM1512

Formale Sprachen

Salomaa, Arto

1978

Signatur: TVM1627

Graph-Grammatiken : Theorie, Anwendungen, Implementierung

Studienbücher Informatik

Nagl, Manfred

1979

Signatur: TVM1669

Natural language parsing systems

Symbolic computation : artificial intelligence

1987

Signatur: TVM2055

Algorithmen und Komplexitätsanalyse für die Verarbeitung hierarchisch definierter Graphen und hierarchisch definierter Graphfamilien

Wanke, Egon

1989

Signatur: P438, TVM2398

Kurs in logischer Programmierung

Springers angewandte Informatik

Fuchs, Norbert E

1990

Signatur: TVM2649

Multi-objective programming and goal programming : theories and applications

Lecture notes in economics and mathematical systems : 432 (Alle Bände)

Tamiz, Mehrdad[Herausgeber]

1996

Signatur: TVM3700

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

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

Li, Wanlin

1991

Signatur: M5753

Computation as logic

Prentice-Hall international series in computer science

Lalement, René

1. [Dr.], 1993

Signatur: TVM3310

Introduction to the theory of complexity

Prentice Hall international series in computer science

1994

Signatur: TVM3116

State-space search : algorithms, complexity, extensions, and applications

Zhang, Weixiong

1999

Signatur: TVM4439

Circuit complexity and neural networks

Foundations of computing

Parberry, Ian

1994

Signatur: TVM3611

1 – 25 von 269

Suche als RSS-Feed

Aktive Filter

SchlagwortProgrammiersprache

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(269)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TVM
(269)
TVI
(43)
TVU
(16)
TTQ
(5)
TVH
(5)
TWP
(5)
TWZ
(5)
TWT
(4)
TVB
(3)
YCB
(3)
QBB
(2)
TMV
(2)
TVE
(2)
TVP
(2)
TWQ
(2)
YCA
(2)
PZY
(1)
STS
(1)
TCL
(1)
TDB
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Verification of sequential and concurrent programs

Logic programming over polymorphically order-sorted types

Selfish routing in networks [Elektronische Ressource]

Algorithmic complexity and communication problems

Algorithmen in Java

Randomness and Complexity

Synthesis of parallel algorithms

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

Structural complexity. 2

Algebraic coding theory

Commentary on standard ML

Towards structured specifying : theory, practice, applications

Completeness, confluence, and related properties of clause graph resolution

Graphen, Algorithmen, Datenstrukturen : Ergebnisse des Workshops WG 76

Formale Sprachen

Graph-Grammatiken : Theorie, Anwendungen, Implementierung

Natural language parsing systems

Algorithmen und Komplexitätsanalyse für die Verarbeitung hierarchisch definierter Graphen und hierarchisch definierter Graphfamilien

Kurs in logischer Programmierung

Multi-objective programming and goal programming : theories and applications

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

Computation as logic

Introduction to the theory of complexity

State-space search : algorithms, complexity, extensions, and applications

Circuit complexity and neural networks

Aktive Filter

Suchergebnisse filtern