Home Advanced Search

Advanced Search - Page 1

Formal Methods for Embedded Distributed Systems : How to master the complexity
  • PDF
  • English
  • Year: 1991
  • Author: Fabrice Kordon and Michel Lemoine
L’image dans la pensée et l’art au Moyen Age
  • PDF
  • French
  • Year: 2006
  • Author: Michel Lemoine
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
  • PDF
  • English
  • Year: 2019
  • Author: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Distibuted Systems: Design and Algorithms
  • PDF
  • English
  • Year: 2011
  • Author: Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
  • MOBI
  • English
  • Year: 2013
  • Author: Fabrice Kordon, J?r?me Hugues, Agusti Canals, Alain Dohet
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
  • EPUB
  • English
  • Year: 2013
  • Author: Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet (editors)
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Edward A. Lee, Yang Zhao (auth.), Fabrice Kordon, Janos Sztipanovits (eds.)
Rencontres médiévales européennes 4 : Notre dame de paris, un manifeste chrétien, 1160-1230 : colloque organisé à l'institut de france
  • PDF
  • French
  • Author: Collectif, Alain Michel, Jean Longère, Alain Erlande-Brandenburg, Monique Cazeaux, Michel Lemoine (editor)
Equilibrium and Non-Equilibrium Statistical Thermodynamics (Instructor Solution Manual, Solutions)
  • 7Z
  • English
  • Year: 2010
  • Author: Michel Le Bellac, Fabrice Mortessagne, G. George Batrouni
search