Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.)
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: Lisa Allali (auth.), Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)
Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings
  • DJVU
  • English
  • Year: 2006
  • Author: Marino Miculan, Giorgio Bacci (auth.), Corrado Priami (eds.)
Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • PDF
  • English
  • Year: 1999
  • Author: Marco Forti, Furio Honsell, Marina Lenisa (auth.), Andrea Cantini, Ettore Casari, Pierluigi Minari (eds.)
Kommentar zum UN-Kaufrecht: Übereinkommen der Vereinten Nationen über Verträge über den Internationalen Warenkauf (CISG)
  • PDF
  • German
  • Year: 1997
  • Author: Heinrich Honsell (auth.), Heinrich Honsell (eds.)
Kommentar zum UN-Kaufrecht: Übereinkommen der Vereinten Nationen über Verträge über den Internationalen Warenkauf (CISG)
  • PDF
  • German
  • Year: 2010
  • Author: Professor Dr. Heinrich Honsell (auth.), Heinrich Honsell (eds.)
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gordon Plotkin (auth.), Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
Transactions on Computational Systems Biology VI
  • PDF
  • English
  • Year: 2006
  • Author: Pierre-Yves Bourguignon, Vincent Danos (auth.), Corrado Priami, Gordon Plotkin (eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)
search