Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings
  • PDF
  • 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.)
Mobile Information Retrieval
  • PDF
  • English
  • Year: 2017
  • Author: Prof. Fabio Crestani, Prof. Stefano Mizzaro, Prof. Ivan Scagnetto (auth.)
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.)
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.)
Römisches Recht
  • PDF
  • German
  • Year: 2015
  • Author: Heinrich Honsell (auth.)
search