Home Advanced Search

Advanced Search - Page 1

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2017
  • Author: Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giorgio Bacci, Vincent Danos, Ohad Kammar (auth.), Andrea Corradini, Bartek Klin, Corina Cîrstea (eds.)
San Nicola. Il grande taumaturgo
  • PDF
  • Italian
  • Year: 2009
  • Author: Michele Bacci
Un tuffo nell'azzurro. Quaderno degli esercizi 1
  • PDF
  • Italian
  • Author: Bacci P.
Prima del limite. Storie di pugni dati sul ring e presi dalla vita
  • EPUB
  • Italian
  • Year: 2017
  • Author: Andrea Bacci
The Mystic Cave: A History of the Nativity Church in Bethlehem
  • PDF
  • English
  • Year: 2017
  • Author: Michele Bacci
The Many Faces of Christ
  • EPUB
  • English
  • Author: Michele Bacci
Lo spazio dell'anima. Vita di una chiesa medievale
  • EPUB
  • Italian
  • Year: 2018
  • Author: Michele Bacci
search