Home Advanced Search

Advanced Search - Page 1

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, 12699)
  • PDF
  • English
  • Year: 2021
  • Author: André Platzer (editor), Geoff Sutcliffe (editor)
Logical Foundations of Cyber-Physical Systems
  • PDF
  • English
  • Year: 2018
  • Author: André Platzer
Untriangulated Stars: Letters of Edwin Arlington Robinson to Harry de Forest Smith, 1890–1905
  • PDF
  • English
  • Year: 1947
  • Author: Denham Sutcliffe (editor)
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • PDF
  • English
  • Year: 2010
  • Author: André Platzer (auth.)
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
  • PDF
  • English
  • Year: 2010
  • Author: André Platzer (auth.)
Adorno Reframed: Interpreting Key Thinkers for the Arts
  • PDF
  • English
  • Year: 2013
  • Author: Geoff Boucher (editor)
Indiewood, USA: Where Hollywood meets Independent Cinema
  • PDF
  • English
  • Year: 2009
  • Author: Geoff King (editor)
New Hollywood Cinema: An Introduction
  • PDF
  • English
  • Year: 2002
  • Author: Geoff King (editor)
Spectacular Narratives: Hollywood in the Age of the Blockbuster
  • PDF
  • English
  • Year: 2000
  • Author: Geoff King (editor)
The Spectacle Of The Real: From Hollywood To 'reality' TV And Beyond 2005
  • PDF
  • English
  • Year: 2005
  • Author: Geoff King (Editor)
search