Home Advanced Search

Advanced Search - Page 1

Neuroprotection Methods and Protocols
  • PDF
  • English
  • Year: 2007
  • Author: Mariaelena Repici, Jean Mariani, Tiziana Borsello (auth.), Tiziana Borsello (eds.)
Cities at Risk: Living with Perils in the 21st Century
  • PDF
  • English
  • Year: 2013
  • Author: Tiziana Rossetto (auth.), Helene Joffe, Tiziana Rossetto, John Adams (eds.)
An Ontology for Social Reality
  • PDF
  • English
  • Year: 2016
  • Author: Tiziana Andina (auth.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Advances in Visual Information Management: Visual Database Systems. IFIP TC2 WG2.6 Fifth Working Conference on Visual Database Systems May 10–12, 2000, Fukuoka, Japan
  • PDF
  • English
  • Year: 2000
  • Author: Masao Sakauchi (auth.), Hiroshi Arisawa, Tiziana Catarci (eds.)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Serge Abiteboul (auth.), Michel Wermelinger, Tiziana Margaria-Steffen (eds.)
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
search