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
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
Parallel Web Automata
  • PDF
  • English
  • Year: 1973
  • Author: Shah, A.N. and Milgram, D.L. and Rosenfeld, A.
search