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 = '
Badban, Bahareh
'
Treffer 1-2 von 2
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
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 Person:
Badban, Bahareh (2)
Fränzle, Martin (1)
Peleska, Jan (1)
Pol, Jaco van de (1)
Teige, Tino (1)
Tveretina, Olga (1)
Zantema, Hans (1)
1
49GBVUOB_ALMA21236729230003501
49GBVUOB_ALMA21236729230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236729230003501
Artikel
Generalizing DPLL and satisfiability for equalities
von
Bahareh Badban ; Jaco van de Pol ; Olga Tveretina ; Hans Zantema
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Badban, Bahareh ([2006-2007])
Enthalten in:
Information and computation 205 (2007), 8, S. 1188 - 1211
Sprache:
Englisch
2
49GBVUOB_ALMA21236182660003501
49GBVUOB_ALMA21236182660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236182660003501
Artikel
Test automation for hybrid systems
von
Bahareh Badban ; Martin Fränzle ; Jan Peleska ; Tino Teige
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Fränzle, Martin ([1998-])
Teige, Tino
Badban, Bahareh ([2006-2007])
Enthalten in:
Proceedings of the 3rd International Workshop on Software Quality Assurance New York, N.Y., 2006 S. 14 - 21
Sprache:
Englisch
>> Volltext
Seite 1 von 1