79 Ergebnisse zu (keywords_en:THEORY OF PROGRAMMING)

Diese Suchanfrage als RSS-Feed abonnieren

Seite 1 von 4

1 2 3 4 nächste › letzte »

2. Metaprogramming in Oberon

Templ, Josef (1994)


Dissertationen und Habilitationen

3. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)


Dissertationen und Habilitationen

8. Syntax and semantics of graphs

Janneck, Jörn Wilhelm (2000)


Dissertationen und Habilitationen

10. Montages

Kutter, Philipp W. (2004)


Dissertationen und Habilitationen

11. Encoding scala programs for the Boogie verifier

Wüstholz, Valentin (2009)


Master-, Bachelor- und Semesterarbeiten

15. Random walk algorithms for SAT

Giurgiu, Andrei (2009)


Master-, Bachelor- und Semesterarbeiten

19. Types and consistency in combinatory algebras

Otth, Daniel (1992)


Dissertationen und Habilitationen

22. Planung von Turnieren

Weisner, Ulrich (1974)


Dissertationen und Habilitationen

23. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Dissertationen und Habilitationen


Seite 1 von 4

1 2 3 4 nächste › letzte »