Home Advanced Search

Advanced Search - Page 1

Management Technologies for E-Commerce and E-Business Applications: 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002 Montreal, Canada, October 21–23, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Jacques Nantel (auth.), Metin Feridun, Peter Kropf, Gilbert Babin (eds.)
Distributed Communities on the Web: Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: John Plaice, Herwig Unger (auth.), Peter G. Kropf, Gilbert Babin, John Plaice, Herwig Unger (eds.)
Theorem Provers in Circuit Design: Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Thomas Kropf (auth.), Ramayya Kumar, Thomas Kropf (eds.)
Computational Mathematics Driven by Industrial Problems: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 21–27, 1999
  • PDF
  • English
  • Year: 2000
  • Author: Rainer E. Burkard (auth.), Rainer E. Burkard, Antony Jameson, Gilbert Strang, Peter Deuflhard, Jacques-Louis Lions, Vincenzo Capasso, Jacques Periaux, Heinz W. Engl (eds.)
Introduction to Formal Hardware Verification
  • PDF
  • English
  • Year: 1999
  • Author: Dr. Thomas Kropf (auth.)
Controlling für Electronic-Business-Geschäftsmodelle: Ein ganzheitliches Steuerungssystem von der Strategie bis zur Umsetzung
  • PDF
  • German
  • Year: 2004
  • Author: Dr. Martin Kropf (auth.)
Semi-Markov Models: Theory and Applications
  • PDF
  • English
  • Year: 1986
  • Author: Peter Ney, Esa Nummelin (auth.), Jacques Janssen (eds.)
Essays in Group Theory
  • DJVU
  • English
  • Year: 1987
  • Author: Gilbert Baumslag, Peter B. Shalen (auth.), S. M. Gersten (eds.)
The Fish Oocyte: From Basic Studies to Biotechnological Applications
  • PDF
  • English
  • Year: 2007
  • Author: Francoise Le Menn, Dr. Joan Cerdà , Patrick J. Babin (auth.), Patrick J. Babin, Dr. Joan Cerdà , Esther Lubzens (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
search