Automatic Differentiation of Algorithms (From Simulation to Optimization)

By George Corliss, Christele Faure, Andreas Griewank, Laurent Hascoet

Automatic Differentiation of Algorithms (From Simulation to Optimization)

By George Corliss, Christele Faure, Andreas Griewank, Laurent Hascoet

$120

Garbage Collection (Algorithms for Automatic Dynamic Memory Management)

By Richard Jones, Rafael Lins

Garbage Collection (Algorithms for Automatic Dynamic Memory Management)

By Richard Jones, Rafael Lins

$140

1

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Roberto Basili, Maria Teresa Pazienza

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings (Lecture Notes in Artificial Intelligence))

By Roberto Basili, Maria Teresa Pazienza

$249

Structured Object-Oriented Formal Language and Method (Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shaoying Liu, Zhenhua Duan

Structured Object-Oriented Formal Language and Method (Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shaoying Liu, Zhenhua Duan

$128

Structured Object-Oriented Formal Language and Method (4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shaoying Liu, Zhenhua Duan

Structured Object-Oriented Formal Language and Method (4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shaoying Liu, Zhenhua Duan

$98.17

Prediction and Analysis for Knowledge Representation and Machine Learning

By Avadhesh Kumar, Shrddha Sagar, T. Ganesh Kumar

Prediction and Analysis for Knowledge Representation and Machine Learning

By Avadhesh Kumar, Shrddha Sagar, T. Ganesh Kumar

$223

Prediction and Analysis for Knowledge Representation and Machine Learning

By Avadhesh Kumar, Shrddha Sagar, T. Ganesh Kumar

Prediction and Analysis for Knowledge Representation and Machine Learning

By Avadhesh Kumar, Shrddha Sagar, T. Ganesh Kumar

$89.97 Elsewhere ~~$125.00~~ Save $35.03 (28%)

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

By Simar Preet Singh, Arun Solanki, Anju Sharma, Zdzislaw Polkowski

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

By Simar Preet Singh, Arun Solanki, Anju Sharma, Zdzislaw Polkowski

$215 Elsewhere ~~$306.00~~ Save $91.00 (30%)

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

By Simar Preet Singh, Arun Solanki, Anju Sharma, Zdzislaw Polkowski

Smart Computing and Self-Adaptive Systems (Computational Intelligence Techniques)

By Simar Preet Singh, Arun Solanki, Anju Sharma, Zdzislaw Polkowski

$79.97 Elsewhere ~~$109.00~~ Save $29.03 (27%)

Mining Software Specifications (Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series))

By David Lo, Siau-Cheng Khoo, Jiawei Han, Chao Liu

Mining Software Specifications (Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series))

By David Lo, Siau-Cheng Khoo, Jiawei Han, Chao Liu

$126

Computing with hp-ADAPTIVE FINITE ELEMENTS (Volume II Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications (Chapman & Hall/CRC Applied Mathematics & Nonlinear Science))

By Demkowicz, Leszek, Kurtz, Jason, David Pardo, Maciek Paszenski

Computing with hp-ADAPTIVE FINITE ELEMENTS (Volume II Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications (Chapman & Hall/CRC Applied Mathematics & Nonlinear Science))

By Demkowicz, Leszek, Kurtz, Jason, David Pardo, Maciek Paszenski

$590

Human Activity Recognition (Using Wearable Sensors and Smartphones (Chapman & Hall/CRC Computer and Information Science Series))

By Labrador, Miguel A., Lara Yejas, Oscar D.

Human Activity Recognition (Using Wearable Sensors and Smartphones (Chapman & Hall/CRC Computer and Information Science Series))

By Labrador, Miguel A., Lara Yejas, Oscar D.

$432

Options and Derivatives Programming in C++23 (Algorithms and Programming Techniques for the Financial Industry)

By Carlos Oliveira

Options and Derivatives Programming in C++23 (Algorithms and Programming Techniques for the Financial Industry)

By Carlos Oliveira

$83.80

Computer Vision and Image Analysis for Industry 4.0

By Nazmul Siddique, Mohammad Shamsul Arefin, Md Atiqur Rahman Ahad, M. Ali Akber Dewan

Computer Vision and Image Analysis for Industry 4.0

By Nazmul Siddique, Mohammad Shamsul Arefin, Md Atiqur Rahman Ahad, M. Ali Akber Dewan

$168

Computer Vision and Image Analysis for Industry 4.0

By Nazmul Siddique, Mohammad Shamsul Arefin, Md Atiqur Rahman Ahad, M. Ali Akber Dewan

Computer Vision and Image Analysis for Industry 4.0

By Nazmul Siddique, Mohammad Shamsul Arefin, Md Atiqur Rahman Ahad, M. Ali Akber Dewan

$77.99 Elsewhere ~~$106.00~~ Save $28.01 (26%)

Machine Translation (12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers: 2016 (Communications in Computer and Information Science))

By Muyun Yang, Shujie Liu

Machine Translation (12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers: 2016 (Communications in Computer and Information Science))

By Muyun Yang, Shujie Liu

$129

Neural Information Processing (30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part XII (Communications in Computer and Information Science))

By Biao Luo, Long Cheng, Zheng-Guang Wu, Hongyi Li

Neural Information Processing (30th International Conference, ICONIP 2023, Changsha, China, November 20–23, 2023, Proceedings, Part XII (Communications in Computer and Information Science))

By Biao Luo, Long Cheng, Zheng-Guang Wu, Hongyi Li

$208

Computational Science – ICCS 2019 (19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lamberts

Computational Science – ICCS 2019 (19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lamberts

$249

Topological Obstructions to Stability and Stabilization (History, Recent Advances and Open Problems (SpringerBriefs in Electrical and Computer Engineering) (SpringerBriefs in Control, Automation and Robotics))

By Moulay, Emmanuel, Jongeneel, Wouter

Topological Obstructions to Stability and Stabilization (History, Recent Advances and Open Problems (SpringerBriefs in Electrical and Computer Engineering) (SpringerBriefs in Control, Automation and Robotics))

By Moulay, Emmanuel, Jongeneel, Wouter

$68.37

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola (12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola (12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I (Lecture Notes in Computer Science))

By Tiziana Margaria, Bernhard Steffen

$180

Advances in Artificial Intelligence - Iberamia 2002 (8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Francisco J. Garijo, Jose C. Riquelme, Miguel Toro

Advances in Artificial Intelligence - Iberamia 2002 (8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Francisco J. Garijo, Jose C. Riquelme, Miguel Toro

$294

Formal Techniques for Networked and Distributed Systems - FORTE 2002 (22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Doron A. Peled, Moshe Y. Vardi

Formal Techniques for Networked and Distributed Systems - FORTE 2002 (22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Doron A. Peled, Moshe Y. Vardi

$128

Languages and Compilers for Parallel Computing (14th International Workshop, Lcpc 2001, Cumberland Falls, Ky, USA, August 1-3, 2001, Revised Papers: v. 2624 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henry Gordon Dietz

Languages and Compilers for Parallel Computing (14th International Workshop, Lcpc 2001, Cumberland Falls, Ky, USA, August 1-3, 2001, Revised Papers: v. 2624 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Henry Gordon Dietz

$126

Formal Techniques for Networked and Distributed Systems - Forte 2003 (23rd Ifip WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Konig, Monika Heiner, Adam Wolisz

Formal Techniques for Networked and Distributed Systems - Forte 2003 (23rd Ifip WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Konig, Monika Heiner, Adam Wolisz

$126

View:
Safe Search(?):