41 Results for (keywords_en:THEORY OF PROGRAMMING)

Subscribe to RSS feed for this result set

26. Power system modelling and analysis based on graph theory

Imhof, Beat (1985)


Doctoral and Habilitation Theses

29. Combinatory differential fields and constructive analysis

Aberer, Karl (1991)


Doctoral and Habilitation Theses

30. Types and consistency in combinatory algebras

Otth, Daniel (1992)


Doctoral and Habilitation Theses

35. Black-box landscapes

Müller, Christian L. (2010)


Doctoral and Habilitation Theses

37. Complexity of optimization problems

Keller, Lucia (2014)


Doctoral and Habilitation Theses

39. Graph algebras, algebraic and denotational semantics

Maeder, Roman E. (1986)


Doctoral and Habilitation Theses

41. Information cities

Schmitt, Gerhard N. (2015)


E-Books / E-Book chapters