Home Advanced Search

Advanced Search - Page 1

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.)
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.)
Formal Methods for Embedded Distributed Systems : How to master the complexity
  • PDF
  • English
  • Year: 1991
  • Author: Fabrice Kordon and Michel Lemoine
Emerging Conceptual, Ethical and Policy Issues in Bionanotechnology
  • PDF
  • English
  • Year: 2008
  • Author: Fabrice Jotterand (auth.), Fabrice Jotterand (eds.)
Mathematics Classrooms: Students’ Activities and Teachers’ Practices
  • PDF
  • English
  • Year: 2013
  • Author: Fabrice Vandebrouck (auth.), Fabrice Vandebrouck (eds.)
Design and Testing of Digital Microfluidic Biochips
  • PDF
  • English
  • Year: 2013
  • Author: Yang Zhao, Krishnendu Chakrabarty (auth.)
Cross-Cultural Design. Cultural Differences in Everyday Life: 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II
  • PDF
  • English
  • Year: 2013
  • Author: Songfeng Gao, Guixue Yang, Linlin Zhao (auth.), P. L. Patrick Rau (eds.)
Citizenship and Migration in the Era of Globalization: The Flow of Migrants and the Perception of Citizenship in Asia and Europe
  • PDF
  • English
  • Year: 2013
  • Author: Markus Pohlmann, Jonghoe Yang, Jong-Hee Lee (auth.), Markus Pohlmann, Jonghoe Yang, Jong-Hee Lee (eds.)
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
search