Home Advanced Search

Advanced Search - Page 1

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers
  • PDF
  • English
  • Year: 1999
  • Author: Davide Ancona (auth.), José Luiz Fiadeiro (eds.)
Practical Foundations of Business System Specifications
  • PDF
  • English
  • Year: 2003
  • Author: Luís Filipe Andrade, José Luiz Fiadeiro (auth.), Haim Kilov, Kenneth Baclawski (eds.)
Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel (auth.), José Luiz Fiadeiro, Paola Inverardi (eds.)
Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Samson Abramsky (auth.), José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (eds.)
Software Design Using Java 2
  • PDF
  • English
  • Year: 2002
  • Author: Kevin Lano, José Luiz Fiadeiro, Luís Andrade (auth.)
Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Antónia Lopes, José Luiz Fiadeiro (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: José Luiz Fiadeiro, Ionuț Țuțu
Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers
  • PDF
  • English
  • Year: 2007
  • Author: José Luiz Fiadeiro, Pierre-Yves Schobbens
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Davide Ancona, Giovanni Lagorio, Elena Zucca (auth.), Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro (eds.)
Séminaire de Théorie du Potentiel Paris, No. 2
  • PDF
  • French
  • Year: 1976
  • Author: A. Ancona (auth.), Francis Hirsch, Gabriel Mokobodzki (eds.)
search