Home Advanced Search

Advanced Search - Page 1

Third Caltech Conference on Very Large Scale Integration
  • PDF
  • English
  • Year: 1983
  • Author: Egon Hörbst, Gerd Sandweg, Stefan Wallstab (auth.), Randal Bryant (eds.)
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Randal E. Bryant (auth.), Frank Pfenning (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Randal E. Bryant (auth.), Bernhard Steffen (eds.)
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Randal E. Bryant (auth.), Pierre Wolper (eds.)
Term Rewriting and Applications: 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Randal E. Bryant (auth.), Frank Pfenning (eds.)
The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design
  • PDF
  • English
  • Year: 2003
  • Author: Randal E. Bryant, James H. Kukula (auth.), Andreas Kuehlmann (eds.)
VENUS: Entwurf von VLSI-Schaltungen
  • PDF
  • German
  • Year: 1986
  • Author: Dr. phil. Egon Hörbst, Dipl.-Ing. Martin Nett, Dr. techn. Heinz Schwärtzel (auth.)
Design of VLSI Circuits: Based on VENUS
  • PDF
  • English
  • Year: 1987
  • Author: Dr. phil. Egon Hörbst, Dr. Ing. Christian Müller-Schloer, Prof. Dr. techn. Heinz Schwärtzel (auth.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)
search