Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andreas Kuehlmann (auth.), Achim D. Brucker, Jacques Julliand (eds.)
Computer Systems A Programmer’s Perspective
  • PDF
  • English
  • Year: 2016
  • Author: Randal E. Bryant, David R. O’Hallaron. Manasa S., Mohit Tahiliani (eds.)
Third Caltech Conference on Very Large Scale Integration
  • PDF
  • English
  • Year: 1983
  • Author: Egon Hörbst, Gerd Sandweg, Stefan Wallstab (auth.), Randal Bryant (eds.)
Computer Systems - A Programmer's Perspective
  • DJVU
  • English
  • Year: 2003
  • Author: Randal E. Bryant, David E. O'Hallaron
Computer Systems. A Programmer’s Perspective [3rd ed.]
  • PDF
  • english
  • Year: 2016
  • Author: Randal E. Bryant, David R. O’Hallaron
search