Home Advanced Search

Advanced Search - Page 1

Statecharts. A Visual Formalism for Complex Systems
  • PDF
  • English
  • Year: 1986
  • Author: David Harel
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.
SICStus Prolog user's manual
  • CHM
  • English
  • Year: 1988
  • Author: Mats Carlsson
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
Festschrift in honor of I. I. Piatetski-Shapiro on the occasion of his sixtieth birthday. Part I. Papers in representation theory
  • PDF
  • English ; French
  • Year: 1990
  • Author: S. Gelbert; R. Howe ; P. Sarnak
Understanding Understanding: Syntactic Semantics and Computational Cognition
  • DJVU
  • English
  • Year: 1994
  • Author: William J Rapaport
search