Home Advanced Search

Advanced Search - Page 1

Fundamentals and Standards in Hardware Description Languages
  • PDF
  • English
  • Year: 1993
  • Author: Raymond Boute (auth.), Jean P. Mermet (eds.)
VHDL for Simulation, Synthesis and Formal Proofs of Hardware
  • PDF
  • English
  • Year: 1992
  • Author: F. Erich Marschner (auth.), Jean Mermet (eds.)
System-level synthesis
  • DJVU
  • English
  • Year: 1999
  • Author: Rolf Ernst (auth.), Ahmed A. Jerraya, Jean Mermet (eds.)
Low Power Design in Deep Submicron Electronics
  • PDF
  • English
  • Year: 1997
  • Author: Wolfgang Nebel (auth.), Wolfgang Nebel, Jean Mermet (eds.)
Electronic Chips & Systems Design Languages
  • PDF
  • English
  • Year: 2001
  • Author: Ernst Christen, Kenneth Bakalar (auth.), Jean Mermet (eds.)
System-on-Chip Methodologies & Design Languages
  • PDF
  • English
  • Year: 2001
  • Author: Robert H. Klenke, James H. Aylor, Paul Menchini, Ron Waxman, William Anderson (auth.), Peter J. Ashenden, Jean P. Mermet, Ralf Seepold (eds.)
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
  • PDF
  • English
  • Year: 2011
  • Author: Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev (auth.)
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Equations Différentielles et Systèmes de Pfaff dans le Champ Complexe
  • PDF
  • French
  • Year: 1979
  • Author: Boele Braaksma (auth.), Raymond Gérard, Jean-Pierre Ramis (eds.)
Equations différentielles et systèmes de Pfaff dans le champ complexe — II: Séminaire
  • PDF
  • French
  • Year: 1983
  • Author: Kamel Betina (auth.), Raymond Gérard, Jean-Pierre Ramis (eds.)