Home Advanced Search

Advanced Search - Page 1

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
Linear algebra methods in combinatorics with applications to geometry and computer science
  • DJVU
  • English
  • Year: 1992
  • Author: Lʹaszló Babai
Using Prolog as metalanguage for teaching programming language concepts
  • PDF
  • English
  • Author: Christiansen H.
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
Understanding Understanding: Syntactic Semantics and Computational Cognition
  • DJVU
  • English
  • Year: 1994
  • Author: William J Rapaport
Understanding Understanding: Syntactic Semantics and Computational Cognition
  • DJVU
  • English
  • Year: 1994
  • Author: William J Rapaport
Statecharts. A Visual Formalism for Complex Systems
  • PDF
  • English
  • Year: 1986
  • Author: David Harel
Thermodynamic properties in SI
  • DJVU
  • English
  • Year: 1979
  • Author: William Craig Reynolds
search