Spelling suggestions: "subject:"abstrakt"" "subject:"abstrakta""
1 |
Refinement and implementation techniques for Abstract State MachinesSchmid, Joachim. January 2002 (has links)
Ulm, Univ., Diss., 2002.
|
2 |
Model checking abstract state machinesWinter, Kirsten. January 2001 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2001. / Computerdatei im Fernzugriff.
|
3 |
Model checking abstract state machinesWinter, Kirsten. January 2001 (has links) (PDF)
Berlin, Techn. Univ., Diss., 2001. / Computerdatei im Fernzugriff.
|
4 |
Abstraktion in der Malerei : Ausdrucksformen der Kunst des Alten Orients und ihre Stellung zur europäischen Kunst der Moderne : eine Untersuchung am Beispiel des zypriotischen Malers Ayhan Mentesh /Stöppel, Winald. January 2008 (has links)
Zugl.: Weimar, Bauhaus-Universiẗat, Diss., 2008.
|
5 |
Abstract state machines verification problems and complexity /Spielmann, Marc. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
|
6 |
Semantic foundation and tool support for model-driven development with UML 2 activity diagramsSarstedt, Stefan, January 2006 (has links)
Ulm, Univ. Diss., 2006.
|
7 |
Abstrakte Arbeit und Abstraktwerden der Kunst.Fiebig, Wilfried. Unknown Date (has links)
Universiẗat, Fachbereich 07 - Philosophie, Diss., 1974.--Frankfurt (Main).
|
8 |
Model checking abstract state machinesWinter, Kirsten. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
|
9 |
Verification of Erlang programs using abstract interpretation and model checkingHuch, Frank Günter. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2001--Aachen.
|
10 |
Einführung von Efficient Consumer Response in HandelsunternehmenSimon, Dominic. January 2006 (has links) (PDF)
Bachelor-Arbeit Univ. St. Gallen, 2006.
|
Page generated in 0.2815 seconds