Shop

Showing 1621–1632 of 10000 resultsSorted by latest

• 

  Advances in Data Mining: Applications and Theoretical Aspects

  Petra Perner (Editor)

  € 58,74 ♡Add to bag
• 

  Interactive Theorem Proving

  Gerwin Klein (Editor); Ruben Gamboa (Editor)

  € 62,49 ♡Add to bag
• 

  Computer Aided Verification

  Armin Biere (Editor); Roderick Bloem (Editor)

  € 112,49 ♡Add to bag
• 

  Computing and Machine Learning

  Jagdish Chand Bansal (Editor); Samarjeet Borah (Editor); Shahid Hussain (Editor); Said Salhi (Editor)

  € 302,58 ♡Add to bag
• 

  Proceedings of the Sixth International Technical Symposium on Deepwater Oil and Gas Engineering

  Baojiang Sun (Editor); Jinsheng Sun (Editor); Zhiyuan Wang (Editor); Litao Chen (Editor)

  € 311,25 ♡Add to bag
• 

  Innovative Design and Engineering Applications of Intelligent Systems Under the Framework of Industry 4.0

  Yongsheng Ma (Editor)

  € 212,49 ♡Add to bag
• 

  Altmetrics for Research Outputs Measurement and Scholarly Information Management

  Mojisola Erdt (Editor); Aravind Sesagiri Raamkumar (Editor); Edie Rasmussen (Editor); Yin-Leng Theng (Editor)

  € 62,49 ♡Add to bag
• 

  An Introduction to Kinetic Monte Carlo Simulations of Surface Reactions

  A.P.J. Jansen

  € 74,99 ♡Add to bag
• 

  Advances in Neural Computation, Machine Learning, and Cognitive Research III

  Boris Kryzhanovsky (Editor); Witali Dunin-Barkowski (Editor); Vladimir Redko (Editor); Yury Tiumentsev (Editor)

  € 174,99 ♡Add to bag
• 

  Recent Developments in Mechatronics and Intelligent Robotics

  Kevin Deng (Editor); Zhengtao Yu (Editor); Srikanta Patnaik (Editor); John Wang (Editor)

  € 249,99 ♡Add to bag
• 

  Validation of Alternative Methods for Toxicity Testing

  Chantra Eskes (Editor); Maurice Whelan (Editor)

  € 199,99 ♡Add to bag
• 

  Rewriting and Typed Lambda Calculi

  Gilles Dowek (Editor)

  € 62,49 ♡Add to bag