83 Results for (keywords_en:THEORY OF PROGRAMMING)

Subscribe to RSS feed for this result set

30. Power system modelling and analysis based on graph theory

Imhof, Beat (1985)


Doctoral and Habilitation Theses

33. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

34. Information in orderings

Busse, Ludwig Maximilian (2012)


Doctoral and Habilitation Theses

35. Convex Optimization with Random Pursuit

Stich, Sebastian Urban (2014)


Doctoral and Habilitation Theses

36. On the problem of sorting railway freight cars

Maue, Jens H. (2011)


Doctoral and Habilitation Theses

41. Compressive sensing

Pope, Graeme (2009)


Master and Bachelor Theses

42. Phase transitions of hard-core bosons

Schmid, Guido (2004)


Doctoral and Habilitation Theses

45. Combinatory differential fields and constructive analysis

Aberer, Karl (1991)


Doctoral and Habilitation Theses

47. Image segmentation by contour grouping

Vehkomäki, Tuomo Sakari (1995)


Doctoral and Habilitation Theses

48. Black-box landscapes

Müller, Christian L. (2010)


Doctoral and Habilitation Theses