Engineering & Technology

Showing 4069–4080 of 4165 results

• 

  Verification, Model Checking, and Abstract Interpretation

  Kenneth McMillan (Editor); Xavier Rival (Editor)

  € 62,49 ♡Add to bag
• 

  Verification, Model Checking, and Abstract Interpretation

  Deepak D'Souza (Editor); Akash Lal (Editor); Kim Guldstrand Larsen (Editor)

  € 62,49 ♡Add to bag
• 

  Verified Software: Theorie, Tools, Experiments

  Ernie Cohen (Editor); Andrey Rybalchenko (Editor)

  € 62,49 ♡Add to bag
• 

  Verified Software: Theories, Tools and Experiments

  Dimitra Giannakopoulou (Editor); Daniel Kroening (Editor)

  € 58,74 ♡Add to bag
• 

  Verified Software: Theories, Tools, and Experiments

  Arie Gurfinkel (Editor); Sanjit A. Seshia (Editor)

  € 62,49 ♡Add to bag
• 

  Verified Software. Theories, Tools, and Experiments

  Sandrine Blazy (Editor); Marsha Chechik (Editor)

  € 62,49 ♡Add to bag
• 

  Version Control with Git

  Prem Kumar Ponuthorai; Jon Loeliger

  € 56,24 ♡Add to bag
• 

  Vibration Control of Active Structures

  A. Preumont

  € 99,99 ♡Add to bag
• 

  Vibration Engineering and Technology of Machinery

  José Manoel Balthazar (Editor)

  € 249,99 ♡Add to bag
• 

  Video Analytics for Audience Measurement

  Cosimo Distante (Editor); Sebastiano Battiato (Editor); Andrea Cavallaro (Editor)

  € 49,99 ♡Add to bag
• 

  Video Editing Made Easy with DaVinci Resolve 20

  Lance Phillips; Nigel G Honey (Other)

  € 33,74 ♡Add to bag
• 

  Video Generation with AI

  Joseph Enochs

  € 77,50 ♡Add to bag