HOME
|
IMPRESSUM
|
DATENSCHUTZ
|
KIT
KIT-Bibliothek
Neue Suche
Staatsbibliothek zu Berlin
Treffer insgesamt: 71
/
Benötigte Zeit: 0.117 Sekunden
IDDS : an interactive decentralized documentation system / Meinel, Christoph *1954-*. - Trier : Univ., Mathematik, Informatik, 2001
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
WWW.BDD-Portal.ORG : an experimentation platform for binary decision diagram algorithms / Meinel, Christoph. - Trier : Univ., Mathematik, Informatik, 2001
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
6. Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung : (ADiMMO 2001) / Meinel, Christoph. - Trier : Univ., Mathematik, Informatik, 2001
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Instrument - Experiment : historische Studien ; [... hatte die Deutsche Gesellschaft für Geschichte der Medizin, Naturwissenschaft und Technik zu ihrer 80. Jahrestagung im September 1997 nach Regensburg eingeladen.] / Meinel, Christoph *1949-*. - Berlin : Verl. für Geschichte der Naturwiss. und der Technik, 2000
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
STACS 99 : 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999; proceedings / Meinel, Christoph *1954-*. - Berlin : Springer, 1999
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Mod-p decision diagrams : a data structure for multiple-valued functions / Sack, Harald. - Trier : Univ., Mathematik/Informatik, 1999
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Speeding up symbolic model checking by accelerating dynamic variable reordering / Meinel, Christoph. - Trier : Univ., Mathematik/Informatik, 1999
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Algorithmic considerations for [Mod2]-OBDD reordering / Meinel, Christoph. - Trier : Univ., Mathematik/Informatik, 1999
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
One step further : integrating electronic submission and the reviewing process / Bern, Jochen. - Trier : Univ., Mathematik/Informatik, 1999
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Do we really need common variable orders for synthesizing OBDDs? / Meinel, Christoph. - Trier : Univ., Mathematik/Informatik, 1998
Ihr Browser zeigt an, ob sie diesen Verweis schon einmal besucht haben.
Weitere Treffer...
Status
Angezeigte Treffer: 10
/
Benötigte Gesamtzeit: 0.127 Sekunden
Ihre Suchanfrage war:
Person
: Meinel, Christoph
1 Katalog wurde ausgewählt.
Alle konnten berücksichtigt werden.
im ganzen WWW
in Seiten auf Deutsch
in Seiten aus Deutschland