1
Automated optimization methods for scientific workflows in e-science infrastructures /
Book
Table of Contents 
Loan/Reservation

Favorites
Saved in:
2
Automated optimization methods for scientific workflows in e-science infrastructures [E-Book] /

Full text  JuSER 
Favorites
Saved in:
3
Automatische Komplexitätsanalyse funktionaler Programme.
Book
Loan/Reservation

Favorites
Saved in:
4
Distributed applicative arrays.
Book
Kuchen, H.
1991
Loan/Reservation

Favorites
Saved in:
5
Echtzeitverhalten fehlertoleranter Mehrrechnersysteme.
Book
Bayer, M.
1991
Loan/Reservation

Favorites
Saved in:
6
Ein Editor für Unparsing Schemes.
Book
Loan/Reservation

Favorites
Saved in:
7
Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums.
Book
Loan/Reservation

Favorites
Saved in:
8
Foundations of equational logic programming.
Book
Loan/Reservation

Favorites
Saved in:
9
GIPSY - ein Generator für interaktive Programmiersysteme.
Book
Loan/Reservation

Favorites
Saved in:
10
Implementing disequality in the lazy functional logic language Babel.
Book
Kuchen, H.
1992
Loan/Reservation

Favorites
Saved in:
11
Independent AND parallel narrowing.
Book
Kuchen, H.
1992
Loan/Reservation

Favorites
Saved in:
12
Informationsstrukturen und Verfahren für die getrennte Übersetzung von Programmteilen /
Book
Loan/Reservation

Favorites
Saved in:
13
Inkonsistenzen in deduktiven Datenbanken: Diagnose und Reparatur.
Book
Loan/Reservation

Favorites
Saved in:
14
Integration von benutzergesteuertem Scheduling in einen Präprozessor für SVM Fortran [E-Book] /

Full text  JuSER 
Favorites
Saved in:
15
Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung /
Book
Table of Contents 
Loan/Reservation

Favorites
Saved in:
16
Kommunikationskomponente für eine dezentrale Software Entwicklungsumgebung.
Book
Loan/Reservation

Favorites
Saved in:
17
Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen.
Book
Hoch, R.
1989
Loan/Reservation

Favorites
Saved in:
18
Lazy narrowing in a graph machine.
Book
Loan/Reservation

Favorites
Saved in:
19
MMF: ein Makefile Generator.
Book
Loan/Reservation

Favorites
Saved in:
20
Ein Modell zur Analyse programminharenter Zusicherungen /
Book
Loan/Reservation

Favorites
Saved in:

Narrow Search Results