Home Advanced Search

Advanced Search - Page 1

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.)
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Paul Feautrier (auth.), Yassine Lakhnech, Sergio Yovine (eds.)
Tool Support for System Specification, Development and Verification
  • PDF
  • English
  • Year: 1999
  • Author: R. Berghammer, Y. Lakhnech, W. Reif (auth.), Prof. Dr. Rudolf Berghammer, Dr. Yassine Lakhnech (eds.)
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Paul Feautrier (auth.), Christian Lengauer, Martin Griebl, Sergei Gorlatch (eds.)
Recherche opérationnelle
  • PDF
  • French
  • Author: Paul Feautrier
Languages and Compilers for Parallel Computing: 7th International Workshop Ithaca, NY, USA, August 8–10, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Paul Feautrier (auth.), Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua (eds.)
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
  • DJVU
  • English
  • Year: 2001
  • Author: Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Lipid Management: From Basics to Clinic
  • PDF
  • English
  • Year: 2015
  • Author: Hussein Yassine (eds.)
Algorithms — ESA '95: Third Annual European Symposium Corfu, Greece, September 25–27, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Shimon Even, Gene Itkis, Sergio Rajsbaum (auth.), Paul Spirakis (eds.)
Positive Systems: Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2009) Valencia, Spain, September 2-4, 2009
  • PDF
  • English
  • Year: 2009
  • Author: Cristobald de Kerchove, Paul Van Dooren (auth.), Rafael Bru, Sergio Romero-Vivó (eds.)
search