-
-55%
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Access Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems Now. Discount up to 90%
-
-83%
Einführung in die objektorientierte Programmierung mit Java 2nd Edition
Access Einführung in die objektorientierte Programmierung mit Java 2nd Edition Now. Discount up to 90%
-
-91%
ELECTRIMACS 2024 Selected Papers – Volume 1
Access ELECTRIMACS 2024 Selected Papers – Volume 1 Now. Discount up to 90%
-
-52%
Eliminating Online Child Sexual Abuse Material 1st Edition
Access Eliminating Online Child Sexual Abuse Material 1st Edition Now. Discount up to 90%
-
-81%
Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology: Systems and Applications
Access Emerging Trends in Applications and Infrastructures for Computational Biology, Bioinformatics, and Systems Biology: Systems and Applications Now. Discount up to 90%
-
-70%
Energy System Modeling and Optimization A Practical Guide Using Pyomo
Access Energy System Modeling and Optimization A Practical Guide Using Pyomo Now. Discount up to 90%
-
-70%
Ergonomie interaktiver Lernmedien Kriterien und Entwicklungsprozesse für E-Learning-Systeme 1st Edition
Access Ergonomie interaktiver Lernmedien Kriterien und Entwicklungsprozesse für E-Learning-Systeme 1st Edition Now. Discount up to 90%
-
-58%
Every Bit Counts Posit Computing 1st Edition
Access Every Bit Counts Posit Computing 1st Edition Now. Discount up to 90%
-
-75%
Evolvable Hardware 1st Edition
Access Evolvable Hardware 1st Edition Now. Discount up to 90%
-
-55%
Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach
Access Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach Now. Discount up to 90%
-
-75%
FM’99 – Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I 1st Edition
Access FM’99 – Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I 1st Edition Now. Discount up to 90%
-
-55%
Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II 1st Edition
Access Formal Methods. FM 2019 International Workshops Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II 1st Edition Now. Discount up to 90%
-
-55%
Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
Access Formal Modeling and Analysis of Timed Systems 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings Now. Discount up to 90%
-
-83%
Formale Logik Logische Systeme. Einführung in die Metalogik 1st Edition
Access Formale Logik Logische Systeme. Einführung in die Metalogik 1st Edition Now. Discount up to 90%
-
-71%
Fourier Analysis—A Signal Processing Approach
Access Fourier Analysis—A Signal Processing Approach Now. Discount up to 90%
-
-67%
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Access Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings Now. Discount up to 90%