Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and PascalXSC Programs (Springer Serie,Used

Exclusive offer available

Ergodebooks

Mathematical Modelling,Used

$87.00

ThinkEDU

Computational Methods with MATLAB®

$36.00

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of th,Used

Exclusive offer available

Ergodebooks

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of th,Used

$65.96

Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the J,Used

Exclusive offer available

Ergodebooks

Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the J,Used

$81.14

Introduction to Partial Differential Equations: A Computational Approach (Texts in Applied Mathematics, 29),New

Exclusive offer available

Ergodebooks

Introduction to Partial Differential Equations: A Computational Approach (Texts in Applied Mathematics, 29),New

$108.38

Introductory Computer Forensics: A Handson Practical Approach,Used

Exclusive offer available

Ergodebooks

Introductory Computer Forensics: A Handson Practical Approach,Used

$156.09

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13,Used

Exclusive offer available

Ergodebooks

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13,Used

Ergodemedia

Springer Handbook of Computational Intelligence (Springer Handbooks)

$358.57

ThinkEDU

Dependable Software Engineering. Theories, Tools, and Applications

$79.99

Wahrscheinlichkeitsrechnung und Statistik mit MATLAB: Anwendungsorientierte Einfhrung fr Ingenieure und Naturwissenschaftler (Ge,Used

Exclusive offer available

Ergodebooks

Wahrscheinlichkeitsrechnung und Statistik mit MATLAB: Anwendungsorientierte Einfhrung fr Ingenieure und Naturwissenschaftler (Ge,Used

$81.71

Exclusive offer available

Ergodebooks

A Beginners Guide To R (Use R!)-new,New

$36.80

Automatic Programming Applied To Vlsi Cad Software: A Case Study (The Springer International Series In Engineering And Computer -new,New

Exclusive offer available

Ergodebooks

Automatic Programming Applied To Vlsi Cad Software: A Case Study (The Springer International Series In Engineering And Computer ,New

$198.51

Compiler Design: Analysis and Transformation,Used

Exclusive offer available

Ergodebooks

Compiler Design: Analysis and Transformation,Used

$102.88

Scientific Computing, Validated Numerics, Interval Methods (University Series in Mathematics),New

Exclusive offer available

Ergodebooks

Scientific Computing, Validated Numerics, Interval Methods (University Series in Mathematics),New

$280.22

Exclusive offer available

Ergodebooks

Applied Number Theory,Used

$86.96

Physically Unclonable Functions: From Basic Design Principles to Advanced Hardware Security Applications,Used

Exclusive offer available

Ergodebooks

Physically Unclonable Functions: From Basic Design Principles to Advanced Hardware Security Applications,Used

$87.16

Numerical Methods of Mathematics Implemented in Fortran (Forum for Interdisciplinary Mathematics),Used

Exclusive offer available

Ergodebooks

Numerical Methods of Mathematics Implemented in Fortran (Forum for Interdisciplinary Mathematics),Used

$87.01

Modelling, Simulation and Software Concepts for ScientificTechnological Problems (Lecture Notes in Applied and Computational Me,Used

Exclusive offer available

Ergodebooks

Modelling, Simulation and Software Concepts for ScientificTechnological Problems (Lecture Notes in Applied and Computational Me,Used

$198.33

Numerical Recipes in Pascal (First Edition): The Art of Scientific Computing

Exclusive offer available

Ergodebooks

Numerical Recipes in Pascal (First Edition): The Art of Scientific Computing

$81.83

Exclusive offer available

Ergodebooks

Developments in Reliable Computing,Used

Models and Theories in Social Systems (Studies in Systems, Decision and Control, 179),Used

Exclusive offer available

Ergodebooks

Models and Theories in Social Systems (Studies in Systems, Decision and Control, 179),Used

$198.28

A Roadmap for Formal Property Verification,Used

Exclusive offer available

Ergodebooks

A Roadmap for Formal Property Verification,Used

$131.58

Classification Algorithms for Codes and Designs (Algorithms and Computation in Mathematics, 15),Used

Exclusive offer available

Ergodebooks

Classification Algorithms for Codes and Designs (Algorithms and Computation in Mathematics, 15),Used

$155.94

Programming and Mathematical Method: International Summer School (NATO ASI Subseries F:, 88),Used

Exclusive offer available

Ergodebooks

Programming and Mathematical Method: International Summer School (NATO ASI Subseries F:, 88),Used

$160.86

Quantum Computing: An Applied Approach,Used

Exclusive offer available

Ergodebooks

Quantum Computing: An Applied Approach,Used

$56.77

Exclusive offer available

Ergodebooks

GasTurbine Regenerators,New

$199.25

The Mathematical Foundation of Structural Mechanics,Used

Exclusive offer available

Ergodebooks

The Mathematical Foundation of Structural Mechanics,Used

$113.52

ErrorCorrecting Linear Codes: Classification by Isometry and Applications (Algorithms and Computation in Mathematics, 18),New

Exclusive offer available

Ergodebooks

ErrorCorrecting Linear Codes: Classification by Isometry and Applications (Algorithms and Computation in Mathematics, 18),New

$129.70

Ergodemedia

Numerical Verification Methods and ComputerAssisted Proofs for Partial Differential Equations (Springer Series in Computational

$135.57

Numerical Methods for Twophase Incompressible Flows (Springer Series in Computational Mathematics, 40),Used

Exclusive offer available

Ergodebooks

Numerical Methods for Twophase Incompressible Flows (Springer Series in Computational Mathematics, 40),Used

$135.62

Theoretical and Experimental DNA Computation (Natural Computing Series),Used

Exclusive offer available

Ergodebooks

Theoretical and Experimental DNA Computation (Natural Computing Series),Used

$132.81

Concurrent Scientific Computing (Texts in Applied Mathematics, 16),Used

Exclusive offer available

Ergodebooks

Concurrent Scientific Computing (Texts in Applied Mathematics, 16),Used

$113.62

Automatic Nonuniform Random Variate Generation (Statistics and Computing),Used

Exclusive offer available

Ergodebooks

Automatic Nonuniform Random Variate Generation (Statistics and Computing),Used

Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 24, 2010, Proceedings (Lecture Notes in Comput,Used

Exclusive offer available

Ergodebooks

Fun with Algorithms: 5th International Conference, FUN 2010, Ischia, Italy, June 24, 2010, Proceedings (Lecture Notes in Comput,Used

$81.14

Methods and Models in Mathematical Programming,Used

Exclusive offer available

Ergodebooks

Methods and Models in Mathematical Programming,Used

$134.88

Pattern Recognition, Machine Intelligence and Biometrics,Used

Exclusive offer available

Ergodebooks

Pattern Recognition, Machine Intelligence and Biometrics,Used

$365.14

Ergodemedia

Tensor Spaces and Numerical Tensor Calculus (Springer Series in Computational Mathematics, Vol. 42)

$162.58

Ergodemedia

An Introduction To Programming And Problem Solving With Pascal 2E (Pb 2011)

$19.81

Ergodemedia

Handbook of Computational Statistics: Concepts and Methods (Springer Handbooks of Computational Statistics)

$342.01

A Logical Approach to Discrete Math (Texts and Monographs in Computer Science),New

Exclusive offer available

Ergodebooks

A Logical Approach to Discrete Math (Texts and Monographs in Computer Science),New

$126.52

Number By Colors: A Guide To Using Color To Understand Technical Data-new,New

Exclusive offer available

Ergodebooks

Number By Colors: A Guide To Using Color To Understand Technical Data,New

$83.61

Computational Methods in Earthquake Engineering: Volume 3 (Computational Methods in Applied Sciences, 44),Used

Exclusive offer available

Ergodebooks

Computational Methods in Earthquake Engineering: Volume 3 (Computational Methods in Applied Sciences, 44),Used

Journal on Data Semantics XV (Lecture Notes in Computer Science, 6720),Used

Exclusive offer available

Ergodebooks

Journal on Data Semantics XV (Lecture Notes in Computer Science, 6720),Used

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2223, ,Used

Exclusive offer available

Ergodebooks

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 2223, ,Used

C++ and ObjectOriented Numeric Computing for Scientists and Engineers,New

Exclusive offer available

Ergodebooks

C++ and ObjectOriented Numeric Computing for Scientists and Engineers,New

$63.61

Digitale Rechenanlagen: Grundlagen / Schaltungstechnik / Arbeitsweise Betriebssicherheit (German Edition),Used

Exclusive offer available

Ergodebooks

Digitale Rechenanlagen: Grundlagen / Schaltungstechnik / Arbeitsweise Betriebssicherheit (German Edition),Used

$87.01

Logic Functions and Equations: Fundamentals and Applications using the XBOOLEMonitor,Used

Exclusive offer available

Ergodebooks

Logic Functions and Equations: Fundamentals and Applications using the XBOOLEMonitor,Used

$136.33

Programming For Computations Python: A Gentle Introduction To Numerical Simulations With Python 3.6 (Texts In Computational Sc-new,New

Exclusive offer available

Ergodebooks

Programming For Computations Python: A Gentle Introduction To Numerical Simulations With Python 3.6 (Texts In Computational Sc,New

$66.68

Journal on Data Semantics I (Lecture Notes in Computer Science, 2800),Used

Exclusive offer available

Ergodebooks

Journal on Data Semantics I (Lecture Notes in Computer Science, 2800),Used

Ergodemedia

SCIENTIFIC COMPUTING WITH MATLAB AND OCTAVE, 2ND EDITION (TEXTS IN COMPUTATIONAL SCIENCE AND ENGINEERING)

$19.11

Excel 2007 For Business Statistics: A Guide To Solving Practical Business Problems,New

Exclusive offer available

Ergodebooks

Excel 2007 For Business Statistics: A Guide To Solving Practical Business Problems,New

$99.04

A Recursive Introduction to the Theory of Computation (Texts in Computer Science),New

Exclusive offer available

Ergodebooks

A Recursive Introduction to the Theory of Computation (Texts in Computer Science),New

Computational Science ICCS 2021: 21st International Conference, Krakow, Poland, June 1618, 2021, Proceedings, Part III (Theor,Used

Exclusive offer available

Ergodebooks

Computational Science ICCS 2021: 21st International Conference, Krakow, Poland, June 1618, 2021, Proceedings, Part III (Theor,Used

Optimization for Industrial Problems,Used

Exclusive offer available

Ergodebooks

Optimization for Industrial Problems,Used

Uncertainty Quantification in Computational Fluid Dynamics (Lecture Notes in Computational Science and Engineering, 92),Used

Exclusive offer available

Ergodebooks

Uncertainty Quantification in Computational Fluid Dynamics (Lecture Notes in Computational Science and Engineering, 92),Used

$134.58

Graph Theory with Applications to Engineering and Computer Science (Dover Books on Mathematics),New

Exclusive offer available

Ergodebooks

Graph Theory with Applications to Engineering and Computer Science (Dover Books on Mathematics),New

$35.38

FaultTolerance Techniques for HighPerformance Computing (Computer Communications and Networks),Used

Exclusive offer available

Ergodebooks

FaultTolerance Techniques for HighPerformance Computing (Computer Communications and Networks),Used

Embedded Systems Design Based on Formal Models of Computation,Used

Exclusive offer available

Ergodebooks

Embedded Systems Design Based on Formal Models of Computation,Used

$132.81

Exclusive offer available

Ergodebooks

Wavelets in Numerical Simulation,Used

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 2628, 2009, Selected Papers (Lecture Notes in,Used

Exclusive offer available

Ergodebooks

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 2628, 2009, Selected Papers (Lecture Notes in,Used

$81.14

Beleuchtungsalgorithmen in der Computergrafik (German Edition),Used

Exclusive offer available

Ergodebooks

Beleuchtungsalgorithmen in der Computergrafik (German Edition),Used

$80.83

Computational Logic (NATO ASI Subseries F:, 165),Used

Exclusive offer available

Ergodebooks

Computational Logic (NATO ASI Subseries F:, 165),Used

$172.58

Recent Advances in Computational and Applied Mathematics,Used

Exclusive offer available

Ergodebooks

Recent Advances in Computational and Applied Mathematics,Used

$282.78

ThinkEDU

MATLAB Essentials: Symbolic and Numeric Problem-Solving in Engineering

$109.00

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used

Exclusive offer available

Ergodebooks

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach,Used

$152.38

Introduction To Numerical Analysis: Second Edition (Dover Books On Mathematics)

Exclusive offer available

Ergodebooks

Introduction To Numerical Analysis: Second Edition (Dover Books On Mathematics),New

$33.87

Mathematical Methods in Program Development (NATO ASI Subseries F:, 158),Used

Exclusive offer available

Ergodebooks

Mathematical Methods in Program Development (NATO ASI Subseries F:, 158),Used

$160.86

Programming Heterogeneous MPSoCs: Tool Flows to Close the Software Productivity Gap,Used

Exclusive offer available

Ergodebooks

Programming Heterogeneous MPSoCs: Tool Flows to Close the Software Productivity Gap,Used

$134.59

Integer Programming and Network Models,New

Exclusive offer available

Ergodebooks

Integer Programming and Network Models,New

$216.49

Numerical Simulation of Mechanical Behavior of Composite Materials (Lecture Notes on Numerical Methods in Engineering and Scienc,Used

Exclusive offer available

Ergodebooks

Numerical Simulation of Mechanical Behavior of Composite Materials (Lecture Notes on Numerical Methods in Engineering and Scienc,Used

$99.04

Exclusive offer available

Ergodebooks

Math Tools: Level 1,New

$21.72

Compatible Spatial Discretizations (The Ima Volumes In Mathematics And Its Applications, 142),New

Exclusive offer available

Ergodebooks

Compatible Spatial Discretizations (The Ima Volumes In Mathematics And Its Applications, 142),New

$172.58

Numerical Semigroups (Developments in Mathematics, 20),New

Exclusive offer available

Ergodebooks

Numerical Semigroups (Developments in Mathematics, 20),New

$134.88

Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used

Exclusive offer available

Ergodebooks

Lectures on Runtime Verification: Introductory and Advanced Topics (Programming and Software Engineering),Used

$91.43

Parallel Algorithms for Irregular Problems: State of the Art,Used

Exclusive offer available

Ergodebooks

Parallel Algorithms for Irregular Problems: State of the Art,Used

$198.51

Bayesian Computation with R (Use R!),New

Exclusive offer available

Ergodebooks

Bayesian Computation with R (Use R!),New

$46.29

Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 1521, 2019, Rev,Used

Exclusive offer available

Ergodebooks

Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 1521, 2019, Rev,Used

Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 2529, 2008, Proc,Used

Exclusive offer available

Ergodebooks

Theory and Applications of Models of Computation: 5th International Conference, TAMC 2008, Xi'an, China, April 2529, 2008, Proc,Used

$128.23

Mathematical Summary for Digital Signal Processing Applications with Matlab,Used

Exclusive offer available

Ergodebooks

Mathematical Summary for Digital Signal Processing Applications with Matlab,Used

$199.09

Chaos: A Program Collection for the PC,Used

Exclusive offer available

Ergodebooks

Chaos: A Program Collection for the PC,Used

An Introduction to Numerical Methods: A MATLAB Approach,New

Exclusive offer available

Ergodebooks

An Introduction to Numerical Methods: A MATLAB Approach,New

$46.29

ValueRange Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities,New

Exclusive offer available

Ergodebooks

ValueRange Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities,New

$200.13

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science, 5454),Used

Exclusive offer available

Ergodebooks

Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science, 5454),Used

Algorithmic Topology and Classification of 3Manifolds (Algorithms and Computation in Mathematics, 9),Used

Exclusive offer available

Ergodebooks

Algorithmic Topology and Classification of 3Manifolds (Algorithms and Computation in Mathematics, 9),Used

$124.28

Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics, 22),Used

Exclusive offer available

Ergodebooks

Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics, 22),Used