Home Advanced Search

Advanced Search - Page 1

Theoretical computer science
  • PDF
  • English
  • Year: 1975
  • Author: European Association for Theoretical Computer Science
Keeping the U.S. Computer Industry Competitive: Defining the Agenda
  • DJVU
  • English
  • Year: 1990
  • Author: The Computer Science and Technology Board, National Research Council
Keeping the U.S. Computer and Communications Industry Competitive: Convergence of Computing, Communications, and Entertainment
  • DJVU
  • English
  • Year: 1995
  • Author: Computer Science and Technology Board, National Research Council
Computer Science and Artificial Intelligence
  • PDF
  • English
  • Year: 1997
  • Author: Panel on Computer Science and Artificial Intelligence, National Research Council
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
Encyclopedia of Algorithms
  • PDF
  • English
  • Year: 2008
  • Author: Michele Mosca (auth.), Ming-Yang Kao Professor of Computer Science (eds.)
Program Semantics, Specification and Verification: Theory and Applications
  • PDF
  • Russian
  • Author: Nepomnyaschy Valery , Sokolov Valery , 8th International Computer Science Symposium in Russia
Encyclopedia of Algorithms
  • PDF
  • English
  • Year: 2008
  • Author: Michele Mosca (auth.), Ming-Yang Kao Professor of Computer Science (eds.)