Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Reset Filters
DMA - Programming
Theses
Reset Filters
Show filters (2)
DMA - Programming
Theses
Ask a Librarian
Books & more
: Hits
1 - 14
of
14
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 1
1
Book
Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung /
Striegnitz, Jörg.
2005
Call number:
Loading...
Located:
Loading...
Table of Contents
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 2
2
Book
Implementing disequality in the lazy functional logic language Babel.
Kuchen, H.
1992
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 3
3
Book
Result directed computing in a functional logic language.
Kuchen, H.
1992
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 4
4
Book
Independent AND parallel narrowing.
Kuchen, H.
1992
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 5
5
Book
Distributed applicative arrays.
Kuchen, H.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 6
6
Book
Stack based implementation of narrowing.
Loogen, R.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 7
7
Book
Modelling of software architectures: importance, notions, experiences.
Nagl, M.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 8
8
Book
Lazy narrowing in a graph machine.
Moreno-Navarro, J. J.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 9
9
Book
A specification environment for graph grammars.
Nagl, M.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 10
10
Book
A transformation from requirements engineering into design: the method and the tool.
Janning, T.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 11
11
Book
Primitive recursive programs for defining tree functions.
Herrmann, F.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 12
12
Book
Wiederverwendbarkeit und Softwareentwicklung: Probleme, Lösungsansätze und Bibliographie.
Boerstler, J.
1989
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 13
13
Book
Programming with higher order functions.
Maassen, A.
1989
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 14
14
Book
Note on a narrowing machine for syntax directed babel.
Rodriguez-Artalejo, M.
1989
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Back
Narrow Search Results
Available as
Print Edition
14
Material Type
Book
14
Type of Literature
Theses
Year of Publication
From:
To:
Location
JSC
14
ZB
1
Name
Kuchen, H.
4
Moreno-Navarro, J. J.
2
Nagl, M.
2
Vogler, H.
2
Boerstler, J.
1
Geiler, G.
1
more ...
Hermenegildo, M. V.
1
Herrmann, F.
1
Janning, T.
1
Lefering, Martin.
1
Loogen, R.
1
Lopez-Fraguas, F. J.
1
Maassen, A.
1
Rodriguez-Artalejo, M.
1
Schürr, Andy.
1
Striegnitz, Jörg.
1
see all ...
less ...
Subject
functional programming
3
logic programming
3
software engineering
3
abstract machine
2
data structure
1
integration
1
more ...
programming language
1
recursive programming
1
shared memory
1
software environment
1
software maintenance
1
see all ...
less ...
Classification
DMA - Programming
DMAF - Object oriented programming
1
×
Loading...
