Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Transactions on Petri Nets and Other Models of Concurrency VII
  • PDF
  • English
  • Year: 2013
  • Author: Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan (auth.), Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.)
Transactions on Petri Nets and Other Models of Concurrency VII
  • PDF
  • English
  • Year: 2013
  • Author: Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan (auth.), Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.)
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)
Measurement of Ion Transport and Metabolic Rate in Insects
  • PDF
  • English
  • Year: 1984
  • Author: T. J. Bradley, T. A. Miller (auth.), Timothy J. Bradley, Thomas A. Miller (eds.)
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
  • PDF
  • English
  • Year: 2010
  • Author: Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
search