Home Advanced Search

Advanced Search - Page 1

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Daniel Krob (auth.), Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge (eds.)
Concepts and Semantics of Programming Languages 2
  • EPUB
  • English
  • Year: 2021
  • Author: Thérèse Hardin; Mathieu Jaume; François Pessaux; Véronique Viguié Donzeau-Gouge
Concepts et outils de programmation: le style fonctionnel, le style impératif, avec Caml et Ada
  • DJVU
  • French
  • Year: 1992
  • Author: Thérèse Accart Hardin; Véronique Donzeau-Gouge Viguié
Digital Enterprise Design and Management 2013: Proceedings of the First International Conference on Digital Enterprise Design and Management DED&M 2013
  • PDF
  • English
  • Year: 2013
  • Author: Fernando Iafrate (auth.), Pierre-Jean Benghozi, Daniel Krob, Frantz Rowe (eds.)
Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Bart Jacobs (auth.), Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)
Complex Systems Design & Management: Proceedings of the Second International Conference on Complex Systems Design & Management CSDM 2011
  • PDF
  • English
  • Year: 2012
  • Author: Dimitri N. Mavris, Olivia J. Pinon (auth.), Omar Hammami, Daniel Krob, Jean-Luc Voirin (eds.)
SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Andreas Prinz, Markus Scheidgen, Merete S. Tveit (auth.), Emmanuel Gaudin, Elie Najm, Rick Reed (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  • PDF
  • English
  • Year: 1998
  • Author: Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim (auth.), Stan Budkowski, Ana Cavalli, Elie Najm (eds.)
Complex Systems Design & Management: Proceedings of the First International Conference on Complex System Design & Management CSDM 2010
  • PDF
  • English
  • Year: 2010
  • Author: Farhad Arbab (auth.), Marc Aiguier, Francis Bretaudeau, Daniel Krob (eds.)
Eléments de combinatoire
  • PDF
  • French
  • Year: 1995?
  • Author: Daniel Krob
search