- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 8 of 8 (0.073 seconds)Spelling suggestions: "subject:"sinärest entscheidungsdiagramm"" "subject:"sinärest entscheidungsdiagramme""
| 1 |
On lower bounds for parity branching programsHomeister, Matthias. January 2003 (has links) (PDF)
Göttingen, University, Diss., 2003.
|
| 2 |
Binäre Expression-DiagrammeHett, Andreas. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2002--Freiburg (Breisgau).
|
| 3 |
Ein Simulator zur Bestimmung der Schaltaktivität basierend auf einer Kombination probabilistischer und logischer MethodenKapp, Kai. January 1998 (has links)
Stuttgart, Univ., Diplomarb., 1998.
|
| 4 |
Planen im Fluentkalkül mit binären EntscheidungsdiagrammenStörr, Hans-Peter. January 2005 (has links) (PDF)
Techn. Universiẗat, Diss., 2005--Dresden.
|
| 5 |
Automated validation and verification of railway specific components and systemsKinder, Sebastian January 2007 (has links)
Zugl.: Bremen, Univ., Diss., 2007
|
| 6 |
Behavior analysis of communication systems compositional modelling, compact representation and analysis of performability properties /Siegle, Markus. January 2002 (has links)
Erlangen, Nürnberg, University, Habilitation, 2002.
|
| 7 |
Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-AutomataBeyer, Dirk. Unknown Date (has links) (PDF)
Brandenburgische Techn. Universiẗat, Diss., 2002--Cottbus.
|
| 8 |
Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der SoftwaresicherheitstechnikRobschink, Torsten. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2005--Passau. / Erscheinungsjahr an der Haupttitelstelle: 2004.
|
Page generated in 0.0814 seconds