Home Advanced Search

Advanced Search - Page 1

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings
  • PDF
  • English-French
  • Year: 1983
  • Author: Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Methods of Programming: Selected Papers on the CIP-Project
  • DJVU
  • English
  • Year: 1991
  • Author: Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
  • PDF
  • English
  • Year: 1999
  • Author: Giorgio Ausiello, Alberto Marchetti-Spaccamela, Pierluigi Crescenzi, Giorgio Gambosi, Marco Protasi, Viggo Kann (auth.)
The Power of Algorithms: Inspiration and Examples in Everyday Life
  • PDF
  • English
  • Year: 2013
  • Author: Giorgio Ausiello (auth.), Giorgio Ausiello, Rossella Petreschi (eds.)
Projektorganisation und Management im Software Engineering
  • PDF
  • German
  • Year: 2013
  • Author: Manfred Broy, Marco Kuhrmann (auth.)
Projektorganisation und Management im Software Engineering
  • PDF
  • German
  • Year: 2013
  • Author: Manfred Broy, Marco Kuhrmann (auth.)
Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977
  • DJVU
  • English
  • Year: 1977
  • Author: Giorgio Ausiello (auth.), Jozef Gruska (eds.)
Mathematical Foundations of Computer Science 1977: Proceedings, 6th Symposium, Tatranská Lomnica September 5–9, 1977
  • PDF
  • English
  • Year: 1977
  • Author: Giorgio Ausiello (auth.), Jozef Gruska (eds.)
Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
  • PDF
  • English
  • Year: 1989
  • Author: Jayadev Misra (auth.), Manfred Broy (eds.)
search