Home Advanced Search

Advanced Search - Page 1

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.)
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)
Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (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.)
Computation and deduction (lecture notes)
  • PDF
  • English
  • Year: 1997
  • Author: Frank Pfenning
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Frank Pfenning
Computer Systems A Programmer’s Perspective
  • PDF
  • English
  • Year: 2016
  • Author: Randal E. Bryant, David R. O’Hallaron. Manasa S., Mohit Tahiliani (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