Home Advanced Search

Advanced Search - Page 1

Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

PDF
English
Year: 2009
Author: Joseph Sifakis (auth.), Giuliana Franceschinis, Karsten Wolf (eds.)

Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

PDF
English
Year: 2005
Author: Giuliana Franceschinis (auth.), Gianfranco Ciardo, Philippe Darondeau (eds.)

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

PDF
English
Year: 2002
Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Understanding and Changing the World: From Information to Knowledge and Intelligence

PDF
English
Year: 2022
Author: Joseph Sifakis

Präzises Denken für Informatiker

PDF
German
Year: 2017
Author: Karsten Wolf (auth.)

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

PDF
English
Year: 2009
Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

PDF
English
Year: 2007
Author: Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)

Genetics Meets Metabolomics: from Experiment to Systems Biology

PDF
English
Year: 2012
Author: Karsten Suhre (auth.), Karsten Suhre (eds.)

Social Exclusion: Short and Long Term Causes and Consequences

PDF
English
Year: 2012
Author: Giuliana Parodi, Dario Sciulli (auth.), Giuliana Parodi, Dario Sciulli (eds.)

Mechanisms and Emerging Therapies in Tremor Disorders

PDF
English
Year: 2013
Author: Giuliana Grimaldi, Mario Manto (auth.), Giuliana Grimaldi, Mario Manto (eds.)