Home Advanced Search

Advanced Search - Page 1

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
  • PDF
  • English
  • Year: 2010
  • Author: Frédéric Mallet, Charles André, Robert de Simone (auth.), Dominique Borrione (eds.)
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet, Paul Pettersson (auth.), Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti (eds.)
CONLAN Report
  • PDF
  • English
  • Year: 1983
  • Author: Robert Piloty, Dominique Borrione, Mario R. Barbacci, D. L. Dietmeyer, Frederick J. Hill, Patrick Skelly (auth.)
Modeling in Computational Biology and Biomedicine: A Multidisciplinary Endeavor
  • PDF
  • English
  • Year: 2013
  • Author: Frédéric Cazals, Tom Dreyfus, Charles H. Robert (auth.), Frédéric Cazals, Pierre Kornprobst (eds.)
Computer Hardware Description Languages and their Applications. Proceedings of the 1992 International Conference on Artificial Neural Networks (Icann–92), Brighton, United Kingdom, 4–7 September, 1992
  • PDF
  • English
  • Year: 1991
  • Author: Dominique Borrione, Ronald Waxman
Regional Development in Rural Areas: Analytical Tools and Public Policies
  • PDF
  • English
  • Year: 2016
  • Author: André Torre, Frédéric Wallet (auth.)
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)
Séminaire de Probabilités XXII
  • PDF
  • French-English
  • Year: 1988
  • Author: Dominique Bakry (auth.), Jacques Azéma, Marc Yor, Paul André Meyer (eds.)
Séminaire de Probabilités XXIII
  • PDF
  • French-English
  • Year: 1989
  • Author: Dominique Bakry (auth.), Jacques Azéma, Marc Yor, Paul André Meyer (eds.)
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
  • DJVU
  • English
  • Year: 1987
  • Author: Dominique Snyers, André Thayse (auth.)
search