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
Cerebral blood flow and metabolism : a quantitative approach
  • PDF
  • English
  • Year: 2018
  • Author: Of University of Oxford. Department of Engineering Science Stephen Payne
Embedded Systems and Software Validation
  • PDF
  • English
  • Year: 2009
  • Author: Abhik Roychoudhury M.S. and Ph.D. in Computer Science from the State University of New York at Stony Brook
Ada and Beyond : Software Policies for the Department of Defense
  • PDF
  • English
  • Year: 1997
  • Author: National Research Council; Computer Science and Telecommunications Board; Committee on the Past and Present Contexts for the Use of Ada in the Department of Defense
A closer look at big data analytics
  • PDF
  • English
  • Year: 2021
  • Author: R. Anandan, editor, Professor, Department of Computer Science and Engineering, School of Engineering, Vels Institute of Science, Technology and Advanced Studies, Chennai, Tamilnadu, India.
Achieving Effective Acquisition of Information Technology in the Department of Defense
  • PDF
  • English
  • Year: 2010
  • Author: National Research Council; Division on Engineering and Physical Sciences; Computer Science and Telecommunications Board; Committee on Improving Processes and Policies for the Acquisition and Test of Information Technologies in the Department of Defense
The Best Book on Stanford International Admissions
  • EPUB
  • English
  • Year: 2012;2013
  • Author: Stanford University.;Sy, Andrea
Theoretical computer science
  • PDF
  • English
  • Year: 1975
  • Author: European Association for Theoretical Computer Science