Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person (Universität Oldenburg) = '
Wehrheim, Heike ((DE-588)1215708114)
'
Treffer 71-74 von 74
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 8 von 8
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Algorithmus (1)
Black-Box-Test (1)
Blackbox (1)
Machine-Learning-Algorithmen (1)
Machine-Learning-Modell (1)
Maschinelles Lernen (1)
Metamorpher Test (1)
nach Person:
Bargmann, Lara (6)
Bartetzko, Detlef (1)
Beyer, Dirk (2)
Bila, Eleni (1)
Brückner, Ingo (2)
Dalvandi, Sadegh (2)
Demir, Caglar (2)
Denker, Grit (1)
Derrick, John (4)
Doherty, Simon (5)
Dongol, Brijesh (10)
Dräger, Klaus (1)
Dyck, Florian (1)
Finkbeiner, Bernd (1)
Fischer, Clemens (5)
Gehrke, Thomas (3)
Goltz, Ursula (2)
Haltermann, Jan (9)
Huhn, Michaela (4)
Hüllermeier, Eyke (1)
Jakobs, Marie-Christine (5)
Janßen, Christian (1)
König, Jürgen (1)
Lahav, Ori (2)
Lemberger, Thomas (2)
Leuschel, Michael (1)
Melnikov, Vitalik (1)
Metzler, Björn (1)
Möller, Michael (3)
Ngonga Ngomo, Axel-Cyrille (2)
Niebert, Peter (2)
Olderog, Ernst-Rüdiger (5)
Pauck, Felix (5)
Platzner, Marco (1)
Rasch, Holger (4)
Rensink, Arend (4)
Richter, Cedric (11)
Schellhorn, Gerhard (4)
Schott, Stefan (2)
Sharma, Arnab (4)
Thoben, Nicola (1)
Wehrheim, Heike (74)
Wiersema, Tobias (1)
nach Medientyp:
Artikel (72)
Bücher (3)
E-Books (1)
71
49GBVUOB_ALMA21236084460003501
49GBVUOB_ALMA21236084460003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236084460003501
Artikel
An algebraic semantics for message sequence chart documents
von
Thomas Gehrke ; Michaela Huhn ; Arend Rensink ; Heike Wehrheim
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Formal description techniques and protocol specification, testing, and verification Boston [u.a.], 1998 S. 3 - 18
Sprache:
Englisch
72
49GBVUOB_ALMA21237101910003501
49GBVUOB_ALMA21237101910003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237101910003501
Artikel
Dependency-based action refinement
von
Arend Rensink ; Heike Wehrheim
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Mathematical foundations of computer science 1997 Berlin [u.a.], 1997 S. 468 - 477
Sprache:
Englisch
73
49GBVUOB_ALMA21236082190003501
49GBVUOB_ALMA21236082190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236082190003501
Artikel
Action refinement : an application of process theory on object-oriented specification
von
Michaela Huhn ; Heike Wehrheim ; Grit Denker
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
GI/ITG Fachgespräch Formale Beschreibungstechniken für verteilte Systeme Erlangen, 1996 S. 1 - 30
Sprache:
Englisch
74
49GBVUOB_ALMA21236085300003501
49GBVUOB_ALMA21236085300003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236085300003501
Artikel
Causal testing
von
Ursula Goltz ; Heike Wehrheim
1996
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Wehrheim, Heike
Enthalten in:
Mathematical foundations of computer science Berlin [u.a.], 1996 S. 394 - 406
Sprache:
Englisch
Seite 8 von 8