Home Advanced Search

Advanced Search - Page 1

Linear algebra methods in combinatorics with applications to geometry and computer science
  • DJVU
  • English
  • Year: 1992
  • Author: Lʹaszló Babai
A really temporal logic
  • RAR
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
A really temporal logic
  • PDF
  • English
  • Year: 2007
  • Author: Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
Performance Analysis of the Technology Chess Program.
  • PDF
  • English
  • Year: 1978
  • Author: James J. Gillogly
Complexity of composition of power series (rpb050)(Siam J Comp 1980)
  • DJVU
  • English
  • Year: 1978
  • Author: R. P Brent
Parallel Web Automata
  • PDF
  • English
  • Year: 1973
  • Author: Shah, A.N. and Milgram, D.L. and Rosenfeld, A.
Assemblers, compilers, and program translation
  • DJVU
  • English
  • Year: 1979
  • Author: Peter Calingaert
Report on the Environmental Benefits and Costs of Green Roof Technology for the City of Toronto
  • PDF
  • English
  • Year: 2005
  • Author: Doug Banting; Hitesh Doshi; James Li; Paul Missios; Angela Au; Beth Anne Currie; Michael Verrati
A category-theoretic approach to the semantics of programming languages
  • DJVU
  • English
  • Year: 1982
  • Author: Frank Joseph Oles
Science in Germany: The Intersection of Institutional and Intellectual Issues
  • PDF
  • English
  • Year: 1989
  • Author: Kathryn Mary Olesko (editor)
search