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
A Guide to Kernel Exploitation: Attacking the Core
  • PDF
  • English
  • Year: 2010
  • Author: Enrico Perla B.Sc. Computer Science University of Torino M.Sc. Computer Science Trinity College Dublin, Massimiliano Oldani
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
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
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.