80 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

4. 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

18. Random walk algorithms for SAT

Giurgiu, Andrei (2009)


Master-, Bachelor- und Semesterarbeiten

21. Types and consistency in combinatory algebras

Otth, Daniel (1992)


Dissertationen und Habilitationen

24. SGT toolbox: a playground for spectral graph theory

König, Michael (2012)


Master-, Bachelor- und Semesterarbeiten


Seite 1 von 4

1 2 3 4 nächste › letzte »