JuLib | Books & more - {2007}

Ask a Librarian

1

A discrete strategy improvement algorithm for solving parity games /

Book

A discrete strategy improvement algorithm for solving parity games /

Vöge, Jens.
2000

2

Jahresbericht der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen. 1999 /

Book

Jahresbericht der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen. 1999 /

Buol, Bettina von
2000

3

Specialization of functional logic programs based on needed narrowing /

Book

Specialization of functional logic programs based on needed narrowing /

Alpuente, Maria
1999

4

Performance evaluation of distributed, replicated, and wireless information systems /

Book

Performance evaluation of distributed, replicated, and wireless information systems /

Nicola, Matthias Michael.
1999

5

DLT '99 : developments in language theory, fourth international conference : Aachen, July 6-9, 1999 : preproceedings /

Book

DLT '99 : developments in language theory, fourth international conference : Aachen, July 6-9, 1999 : preproceedings /

Thomas, W.
1999

6

The ADR replication manager /

Book

The ADR replication manager /

Gallersdörfer, Rainer.
1999

7

Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen /

Book

Projektspezifische Methoden zur Nachvollziehbarkeit von Anforderungsspezifikationen /

Dömges, Ralf.
1999

8

Jahresbericht der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen. 1998 /

Book

Jahresbericht der Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen. 1998 /

Löding, Christof
1999

9

Mobile robots in dynamic environments /

Book

Mobile robots in dynamic environments /

Kubitz, Olaf.
1998

10

High-level parallel programming and the efficient implementation of numerical algorithms /

Book

High-level parallel programming and the efficient implementation of numerical algorithms /

Botorog, George Horatiu.
1998

11

Truth-A platform for verification of distributed systems /

Book

Truth-A platform for verification of distributed systems /

Leucker, Martin.
1998

12

Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation /

Book

Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation /

Indermark, Klaus.
1998

13

Fine-grained and structure-oriented integration tools are needed for product development processes /

Book

Fine-grained and structure-oriented integration tools are needed for product development processes /

Gruner, Stefan.
1998

14

Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr /

Book

Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr /

Gruner, Stefan.
1998

15

COOPWWW - final report : interoperable tools for cooperative support using the World Wide Web /

Book

COOPWWW - final report : interoperable tools for cooperative support using the World Wide Web /

Appelt, Wolfgang
1998

16

Modules and updatable graph views for PROgrammed Graph REwriting systems /

Book

Modules and updatable graph views for PROgrammed Graph REwriting systems /

Winter, Andreas J.
1997

17

Implementing context patterns in the Glasgow Haskell Compiler /

Book

Implementing context patterns in the Glasgow Haskell Compiler /

Mohnen, Markus.
1997

18

Using full parallel Boltzmann machines for optimization /

Book

Using full parallel Boltzmann machines for optimization /

Faassen, Johannes.
1997

19

Optimising the memory management of higher-order functional programs /

Book

Optimising the memory management of higher-order functional programs /

Mohnen, Markus.
1997

Full text

20

Client / server distribution in a structure-oriented database management system /

Book

Client / server distribution in a structure-oriented database management system /

Baumann, Roland.
1997

Select all titles on this page

1
2
3
4
5
Next
[5]