Shop

Showing 1633–1644 of 10000 resultsSorted by latest

• 

  Theory and Applications of Satisfiability Testing – SAT 2014

  Carsten Sinz (Editor); Uwe Egly (Editor)

  € 62,49 ♡Add to bag
• 

  Automated Reasoning

  Stéphane Demri (Editor); Deepak Kapur (Editor); Christoph Weidenbach (Editor)

  € 62,49 ♡Add to bag
• 

  Articulated Motion and Deformable Objects

  Francisco José Perales (Editor); José Santos-Victor (Editor)

  € 58,74 ♡Add to bag
• 

  Trust and Trustworthy Computing

  Thorsten Holz (Editor); Sotiris Ioannidis (Editor)

  € 58,74 ♡Add to bag
• 

  Information Security and Cryptology — ICISC 2013

  Hyang-Sook Lee (Editor); Dong-Guk Han (Editor)

  € 62,49 ♡Add to bag
• 

  Data and Applications Security and Privacy XXVIII

  Vijay Atluri (Editor); Günther Pernul (Editor)

  € 62,49 ♡Add to bag
• 

  Information Security and Cryptology

  Dongdai Lin (Editor); Shouhuai Xu (Editor); Moti Yung (Editor)

  € 62,49 ♡Add to bag
• 

  Theory and Practice of Model Transformations

  Davide Di Ruscio (Editor); Dániel Varró (Editor)

  € 58,74 ♡Add to bag
• 

  Modelling Foundations and Applications

  Jordi Cabot (Editor); Julia Rubin (Editor)

  € 58,74 ♡Add to bag
• 

  Innovations in Sustainable Agricultural Systems, Volume 2

  Irina Samoylenko (Editor); Toshpulot Rajabov (Editor)

  € 274,99 ♡Add to bag
• 

  Embedded Systems Technology

  Yuanguo Bi (Editor); Gang Chen (Editor); Qingxu Deng (Editor); Yi Wang (Editor)

  € 62,49 ♡Add to bag
• 

  Non-complete Algebraic Surfaces

  M. Miyanishi

  € 62,49 ♡Add to bag