Home Advanced Search

Advanced Search - Page 1

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
  • PDF
  • English
  • Year: 2000
  • Author: Holger Pfeifer (auth.), Tommaso Bolognesi, Diego Latella (eds.)
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Luca Bortolussi, Diego Latella, Mieke Massink (auth.), Rocco De Nicola, Christine Julien (eds.)
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.)
LOTOSphere: Software Development with LOTOS
  • PDF
  • English
  • Year: 1995
  • Author: Chris A. Vissers, Luís Ferreira Pires, Jeroen van de Lagemaat (auth.), Tommaso Bolognesi, Jeroen van de Lagemaat, Chris Vissers (eds.)
Forces of Nature and Cultural Responses
  • PDF
  • English
  • Year: 2013
  • Author: Niki Pfeifer, Katrin Pfeifer (auth.), Katrin Pfeifer, Niki Pfeifer (eds.)
Die Wissensmacher: Profile und Arbeitsfelder von Wissenschaftsredaktionen in Deutschland
  • PDF
  • German
  • Year: 2006
  • Author: Holger Wormer (auth.), Holger Wormer (eds.)
Nichtwestliches politisches Denken: Zwischen kultureller Differenz und Hybridisierung
  • PDF
  • German
  • Year: 2012
  • Author: Holger Zapf (auth.), Holger Zapf (eds.)
School Decentralization in the Context of Globalizing Governance: International Comparison of Grassroots Responses
  • PDF
  • English
  • Year: 2007
  • Author: Holger Daun (auth.), Holger Daun (eds.)
Dioxygen Binding and Sensing Proteins: A Tribute to Beatrice and Jonathan Wittenberg
  • PDF
  • English
  • Year: 2008
  • Author: Kensal E. van Holde (auth.), Martino Bolognesi, Guido di Prisco, Cinzia Verde (eds.)
Die Ästhetik von Form und Funktion in der Plastischen und Wiederherstellungschirurgie: Kongreβthemen: Operative Fächer und Ästhetik Fehlbildungen und Anomalien — Ästhetische Chirurgie Traumatologie — Mikrochirurgie, Onkologie — Freie Vorträge
  • PDF
  • German
  • Year: 1985
  • Author: Prof. Dr. Dr. Gerhard Pfeifer (auth.), Prof. Dr. Dr. Gerhard Pfeifer (eds.)
search