Werkzeuge und Algorithmen zum Aufbau und zur Analyse von Systemen: 25.
74,74 €
SAT and SMT. - Decomposing Farkas Interpolants. - Parallel SAT Simplification on GPU Architectures. - Building Better Bit-Blasting for Floating-Point Problems. - The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.
Jetzt bei Ebay:
![Produktbild - Mathematical Analysis of Machine Learning Algorithms by Tong [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/nmoAAeSwwFpoSSVJ/s-l140.jpg)
![Produktbild - Data Analytics: Models and Algorithms for Intelligent Data Analysis [Paperback]](https://i.ebayimg.com/thumbs/images/g/5bYAAeSwQV5oB2g2/s-l140.jpg)
![Produktbild - Bioinformatics: Algorithms, Coding, Data Science And Biostatistics [Paperback]](https://i.ebayimg.com/thumbs/images/g/k0AAAeSwLe1oNv6m/s-l140.jpg)
![Produktbild - Analytics: Business Intelligence, Algorithms and Statistical Analysis [Hardback]](https://i.ebayimg.com/thumbs/images/g/A68AAeSwJqBoWBt9/s-l140.jpg)
![Produktbild - Modeling and Analysis of Communicating Systems [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/-kgAAeSw~LdoWVzw/s-l140.jpg)
![Produktbild - Beyond the Worst-Case Analysis of Algorithms by Tim Roughgarden [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/vxcAAeSwu4dn6RLP/s-l140.jpg)
![Produktbild - Analysis and Design of Algorithms- A Beginner's Hope [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/400AAeSwsHJoHMa6/s-l140.jpg)
