Home Advanced Search

Advanced Search - Page 1

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
  • DJVU
  • English-French
  • Year: 1981
  • Author: Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)
Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Kent Beck (auth.), Egidio Astesiano (eds.)
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Egidio Astesiano, Alessandro Giovini (auth.), Irène Guessarian (eds.)
Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979
  • DJVU
  • English-French
  • Year: 1979
  • Author: Egidio Astesiano, Gerardo Costa (auth.), Hermann A. Maurer (eds.)
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers
  • DJVU
  • English
  • Year: 1993
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.)
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975
  • DJVU
  • English-French
  • Year: 1975
  • Author: Corrado Böhm (auth.), Prof. C. Böhm (eds.)
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)
Mathematical Foundations of Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85)
  • DJVU
  • English
  • Year: 1985
  • Author: Hartmut Ehrig (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
search