Home Advanced Search

Advanced Search - Page 1

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
  • EPUB
  • English
  • Year: 2021
  • Author: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
ELECTRO-MAGNETIC TISSUE PROPERTIES MRI (Modelling and Simulation in Medical Imaging)
ELECTRO-MAGNETIC TISSUE PROPERTIES MRI (Modelling and Simulation in Medical Imaging)
  • PDF
  • English
  • Year: 2014
  • Author: YI WANG
Transforming Inner Mongolia: Commerce, Migration, and Colonization on the Qing Frontier
Transforming Inner Mongolia: Commerce, Migration, and Colonization on the Qing Frontier
  • PDF
  • English
  • Year: 2021
  • Author: Yi Wang
Australia-China Relations post 1949: Sixty Years of Trade and Politics
Australia-China Relations post 1949: Sixty Years of Trade and Politics
  • PDF
  • English
  • Year: 2012
  • Author: Yi Wang
Provably Correct Systems
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)
Mitobiografia
  • EPUB
  • Italian
  • Year: 2014
  • Author: Bernhard, Ernst
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification
  • PDF
  • English
  • Year: 2008
  • Author: Ernst-Rudiger Olderog, Henning Dierks
Official Relations Between China and Japan, 1368–1549
Official Relations Between China and Japan, 1368–1549
  • PDF
  • English
  • Year: 2014
  • Author: Yi-T'ung Wang
search