Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Peter Lee (auth.), Hubert Garavel, John Hatcliff (eds.)
Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998
  • PDF
  • English
  • Year: 1999
  • Author: Torben Æ Mogensen (auth.), John Hatcliff, Torben Æ Mogensen, Peter Thiemann (eds.)
Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998
  • PDF
  • English
  • Year: 1999
  • Author: Torben Æ Mogensen (auth.), John Hatcliff, Torben Æ Mogensen, Peter Thiemann (eds.)
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
Robotic Urology
  • PDF
  • English
  • Year: 2008
  • Author: A. Hoznek (auth.), Hubert John, Peter Wiklund (eds.)
Robotic Urology
  • PDF
  • English
  • Year: 2013
  • Author: Ibrahim M. Karam, Alexandre Oliver, Jacques Hubert (auth.), Hubert John, Peter Wiklund (eds.)
Robotic Urology
  • PDF
  • English
  • Year: 2018
  • Author: Hubert John,Peter Wiklund (eds.)
Atlas of Robotic Prostatectomy
  • PDF
  • English
  • Year: 2013
  • Author: Robert P. Myers (auth.), Hubert John, Peter Wiklund, Jorn H. Witt (eds.)
Nonlinear Process Control: Applications of Generic Model Control
  • PDF
  • English
  • Year: 1993
  • Author: Peter L. Lee (auth.), Peter L. Lee (eds.)
search