80 Results for (keywords_en:THEORY OF PROGRAMMING)

Subscribe to RSS feed for this result set

28. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

31. Planung von Turnieren

Weisner, Ulrich (1974)


Doctoral and Habilitation Theses

32. Information in orderings

Busse, Ludwig Maximilian (2012)


Doctoral and Habilitation Theses

34. Power system modelling and analysis based on graph theory

Imhof, Beat (1985)


Doctoral and Habilitation Theses

39. Compressive sensing

Pope, Graeme (2009)


Master and Bachelor Theses

40. Phase transitions of hard-core bosons

Schmid, Guido (2004)


Doctoral and Habilitation Theses

43. Combinatory differential fields and constructive analysis

Aberer, Karl (1991)


Doctoral and Habilitation Theses

44. Image segmentation by contour grouping

Vehkomäki, Tuomo Sakari (1995)


Doctoral and Habilitation Theses

47. Reusable mathematical models

Widmer, Tobias K. (2004)


Master and Bachelor Theses

49. Optimierung von Pulssequenzen

Levante, Tilo (1997)


Doctoral and Habilitation Theses