Home Advanced Search

Advanced Search - Page 1

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Javier Esparza, Andrzej S. Murawski (eds.)
Akcjum 31 p.n.e
  • EPUB
  • Polish
  • Year: 2003
  • Author: Andrzej Murawski
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
Tercios
  • EPUB
  • Spanish
  • Year: 2017
  • Author: José Javier Esparza
La gran aventura del reino de Asturias
  • EPUB
  • Spanish
  • Year: 2009
  • Author: José Javier Esparza
La cruzada del océano
  • EPUB
  • Spanish
  • Year: 2015
  • Author: José Javier Esparza
El terror rojo en España
  • EPUB
  • Spanish
  • Year: 2007
  • Author: José Javier Esparza
search