Home Books

Books : Page 204859

Formal Verification of Control System Software
Formal Verification of Control System Software
  • PDF
  • English
  • Year: 2019
  • Author: Pierre-Loïc Garoche
Science, the Endless Frontier
Science, the Endless Frontier
  • PDF
  • English
  • Year: 2021
  • Author: Vannevar Bush; Rush Holt
Modeling Populations of Adaptive Individuals
Modeling Populations of Adaptive Individuals
  • PDF
  • English
  • Year: 2020
  • Author: Steven F. Railsback; Bret C. Harvey
Mathematical Foundations of Quantum Mechanics: New Edition
Mathematical Foundations of Quantum Mechanics: New Edition
  • PDF
  • English
  • Year: 2018
  • Author: John von Neumann (editor); Nicholas A. Wheeler (editor); Robert T. Beyer (editor)
Henry Raeburn: Context, Reception and Reputation
  • PDF
  • English
  • Year: 2022
  • Author: Viccy Coltman; Stephen Lloyd
Dynamic Programming
Dynamic Programming
  • PDF
  • English
  • Year: 2021
  • Author: Richard E. Bellman