de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
1
Einträge für
Dissertation
1
Einträge für
Arbeitspapier
Zeiträume
1
Einträge für
2001-2010
1
Einträge für
2011-2020
Autoren / Beteiligte
2
Einträge für
Kuchen, Herbert
1
Einträge für
Dageförde, Jan
1
Einträge für
Dageförde, Jan C.
1
Einträge für
Dageförde, Jan Christoph
1
Einträge für
Lembeck, Christoph
1
Einträge für
Müller, Roger A.
2
Treffer
für
Schlagwort = "virtual machine"
Klassifikation
Schliessen
Filter
zu den Filteroptionen
Relevanz
Titel
Personen
Ort
Jahr
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Alle Titel
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
An Integrated Constraint-Logic and Object-Oriented Programming Language
The Münster Logic-Imperative Language
Dageförde, Jan Christoph
;
Dageförde, Jan C.
;
Dageförde, Jan
2020
A Symbolic Java Virtual Machine for Test Case Generation
Müller, Roger A.
;
Lembeck, Christoph
;
Kuchen, Herbert
2.8.2004