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
Theses
Print Edition
JSC
Reset Filters
Show filters (3)
Theses
Print Edition
JSC
Ask a Librarian
Books & more
: Hits
1 - 20
of
106
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
The adaptive priority scheduler: a more fair priority service discipline.
Hager, R.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 2
2
Book
Analyzing a distributed slot assignment protocol by Markov chains.
Mathar, R.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 3
3
Book
Analyzing routing strategy NFP in multihop packet radio networks on a line.
Mathar, R.
1992
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 4
4
Book
Automatic parallelization of lazy functional programs.
Hogen, G.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 5
5
Book
Basismechanismen zur Datenverwaltung in strukturbezogenen Hypertextsystemen.
Westfechtel, B.
1992
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 6
6
Book
Bridging the gap between requirements analysis and design.
Boerstler, J.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 7
7
Book
A call by need implementation of syntax directed functional programming.
Fassbender, H.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 8
8
Book
Das CCITT Signalisierungssystem Nummer sieber auf Satellitenstrecken: Simulation der Zeichengabestrecke.
Quernheim, U.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 9
9
Book
Characteristic formulae for processes with divergence.
Steffen, B.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 10
10
Book
Cluster analysis for applications /
Anderberg, Michael R.
1973
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 11
11
Book
CNC/DNC communication with map.
Schuemmer, M.
1989
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 12
12
Book
Comparison of dynamic load balancing strategies.
Kuchen, H.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 13
13
Book
Compiler based implementation of syntax directed functional programming.
Gladitz, K.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 14
14
Book
Compilerentwicklung in Miranda: ein Praktikum in funktionaler Programmierung.
Maassen, A.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 15
15
Book
A complete proof system for timed observations.
Ortega-Mallen, Y.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 16
16
Book
Compositional minimization of finite state systems.
Graf, S.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 17
17
Book
Der Computer fährt mit.
Jakobs, K.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 18
18
Book
Concurrence probabilities for a locally slotted packet radio network by combinatorial methods.
Mathar, R.
1990
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 19
19
Book
The concurrency workbench: a semantics based tool for the verification of concurrent systems.
Cleaveland, R.
1991
Call number:
Loading...
Located:
Loading...
Loading...
Literature Request
Loan/Reservation
Favorites
Saved in:
QR Code
Select result number 20
20
Book
Correct and efficient deadlock detection and resolution in distributed database systems.
Vossen, Gottfried.
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
1
2
3
4
5
6
Next
[6]
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Print Edition
Material Type
Book
106
Type of Literature
Theses
Year of Publication
From:
To:
Location
JSC
ZB
5
Name
Steffen, B.
9
Kuchen, H.
7
Jakobs, K.
6
Martini, P.
5
Vogler, H.
5
Jarke, Matthias.
4
more ...
Loogen, R.
4
Mathar, R.
4
Schürr, Andy.
4
Spaniol, Otto.
4
Boerstler, J.
3
Schuemmer, M.
3
Vossen, Gottfried.
3
Welzel, T.
3
Westfechtel, B.
3
Fassbender, H.
2
Janning, T.
2
Jarke, Matthias
2
Jeusfeld, M.
2
Knoop, J.
2
Kremer, W.
2
Maassen, A.
2
Margaria, T.
2
Mattfeldt, J.
2
Moreno-Navarro, J. J.
2
Nagl, M.
2
Rose, T.
2
Staiger, L.
2
Zuendorf, A.
2
Anderberg, Michael R.
1
see all ...
less ...
Subject
functional programming
7
informatics
6
communication system
5
logic programming
5
computer network
4
local area network
4
more ...
programming language
4
semantics
4
software engineering
4
communication protocol
3
computer performance
3
data flow analysis
3
database system
3
relational database system
3
MODULA (programming language)
2
OSI (open systems interconnection)
2
abstract machine
2
compiler construction
2
expert system
2
information processing
2
interconnection network
2
logics
2
object oriented database system
2
simulation
2
software development
2
software environment
2
software quality
2
theorem proving
2
EEG (electroencephalography)
1
Hausdorff dimension
1
see all ...
less ...
Classification
DCA - Informatics - theoretical
21
DMA - Programming
14
DNA - Computer networks, local area networks
8
DWA - Database systems
8
DMF - Software engineering
6
DGAE - Computer performance
5
more ...
TCB - Communication and information - theory
5
TCD - Communication systems
5
MDF - Formal languages, coding theory
4
DIA - System programming
3
DOA - Programming languages - general
3
MDG - Automata theory
3
DAE - Information technology - general
2
DEA - Formal languages, machine oriented, assembler
2
DOZ - Programming languages - Other
2
DPA - Electronic data processing - applications
2
DYA - Artificial intelligence
2
MWH - Statistics
2
DGA - Computer types, plants and organization
1
DGC - Parallel and vector computers
1
DHA - Computer equipment and periphery
1
DIAC - Compiler, interpreter
1
DMAD - Parallel programming
1
DMAF - Object oriented programming
1
DSA - Computer graphics, image/photo editing
1
DUA - Text and document processing
1
DWAD - Object oriented database systems
1
DWID - Multimedia, hypertext
1
DYE - Expert systems
1
HDS - Neurophysiology, neuroanatomy
1
see all ...
less ...
Language
English
2
/* End Narrow Search Options */ ?>
×
Loading...