Home Advanced Search

Advanced Search - Page 1

Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97 Toulouse, France, June 23–27, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Javier Esparza, Stephan Melzer (auth.), Pierre Azéma, Gianfranco Balbo (eds.)
Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Gianfranco Balbo (auth.), K. Jensen (eds.)
Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen: 7. ITG/GI-Fachtagung, Aachen, 21.–23. September 1993
  • PDF
  • German
  • Year: 1993
  • Author: Gianfranco Balbo (auth.), B. Walke, O. Spaniol (eds.)
Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gianfranco Balbo, Massimiliano De Pierro (auth.), Jeremy T. Bradley (eds.)
Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gianfranco Balbo, Massimiliano De Pierro (auth.), Jeremy T. Bradley (eds.)
Computer Performance Engineering: 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Gianfranco Balbo, Massimiliano De Pierro (auth.), Jeremy T. Bradley (eds.)
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.)
search