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

Python for Data Analysis: A Complete Guide for Beginners, Including Python Statistics and Big Data Analysis.

EPUB
English
Year: 2020
Author: Computer Science Academy

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.