Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Bernard Boigelot, Pierre Wolper (auth.), Peter J. Stuckey (eds.)
Introduction à la calculabilité : Cours et exercices corrigés
  • DJVU
  • French
  • Year: 2006
  • Author: Pierre Wolper
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.)
Computer Systems A Programmer’s Perspective
  • PDF
  • English
  • Year: 2016
  • Author: Randal E. Bryant, David R. O’Hallaron. Manasa S., Mohit Tahiliani (eds.)
search