![]() |
Polynomial Formal Verification of Approximate Functions
ISBN: 9783658418878 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the verification to fail. While exponential in general, recently it has been proven that the verification complexity of several circuits is polynomially bounded. Martha Schnieber proves the polynomial verifiability of several approximate circuits, which are beneficial in error-tolerant applications, where the circuit approximates...
During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been establishe...
|
cena:
445,90 |
![]() |
Computational Intelligence and Mathematics for Tackling Complex Problems 4
ISBN: 9783031077098 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The recent book of the series continues the collection of articles dealing with the important and efficient combination of traditional and novel mathematical approaches with various computational intelligence techniques, with a stress of fuzzy systems, and fuzzy logic. Complex systems are theoretically intractable, as the need of time and space resources (e.g., computer capacity) exceed any implementable extent. How is it possible that in the practice, such problems are usually manageable with an acceptable quality by human experts? They apply expert domain knowledge and various... The recent book of the series continues the collection of articles dealing with the important and efficient combination of traditional and novel ma... |
cena:
405,36 |
![]() |
Design of Heuristic Algorithms for Hard Optimization
ISBN: 9783031137167 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This open access book demonstrates all the steps required to design heuristic algorithms for difficult optimization. The classic problem of the travelling salesman is used as a common thread to illustrate all the techniques discussed. This problem is ideal for introducing readers to the subject because it is very intuitive and its solutions can be graphically represented. The book features a wealth of illustrations that allow the concepts to be understood at a glance. This open access book demonstrates all the steps required to design heuristic algorithms for difficult optimization. The classic problem of the tra... |
cena:
162,12 |
![]() |
Collaborative Research Advancing Engineering Solutions for Real-World Challenges: The 2023 Postgraduate Seminar in Esslingen
ISBN: 9783031485206 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
312,13 |
![]() |
Solutions of Fixed Point Problems with Computational Errors
ISBN: 9783031508783 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
443,26 |
![]() |
Proceedings of the 4th International Conference on Experimental and Computational Mechanics in Engineering: Icecme 2022, Banda Aceh, September 14-15,
ISBN: 9789819974948 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
624,29 |
![]() |
The Mathematics of Marine Modelling
ISBN: 9783031095610 / Angielski / Miękka Termin realizacji zamówienia: 22 dni roboczych Over the past few decades, numerical simulation has become instrumental in understanding the dynamics of seas, coastal regions and estuaries. The decision makers rely more and more frequently on model results for the management of these regions. Some modellers are insufficiently aware of the theoretical underpinning of the simulation tools they are using. On the other hand, a number of applied mathematicians tend to view marine sciences as a domain in which they would like to use the tools they have a good command of. Bridging the gap between model users and applied mathematicians is the... Over the past few decades, numerical simulation has become instrumental in understanding the dynamics of seas, coastal regions and estuaries. The d... |
413,98 |
![]() |
Computational Intelligence and Mathematics for Tackling Complex Problems 5
ISBN: 9783031469787 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
454,02 |
![]() |
Marginal and Functional Quantization of Stochastic Processes
ISBN: 9783031454639 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
589,65 |
![]() |
A Numerical Approach to the Simplified Laminate Theory of Composite Materials: The Composite Laminate Analysis Tool--Clat 1d
ISBN: 9783031479830 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
384,70 |
![]() |
Operational Research: IO 2021--Analytics for a Better World. XXI Congress of Apdio, Figueira Da Foz, Portugal, November 7-8, 2021
ISBN: 9783031207907 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
589,65 |
![]() |
Mathematical Methods for Engineering Applications: Icmase 2022, Bucharest, Romania, July 4-7
ISBN: 9783031217029 / Angielski Termin realizacji zamówienia: 22 dni roboczych |
589,65 |
![]() |
Continuum Micromechanics: Theory and Application to Multiscale Tectonics
ISBN: 9783031233159 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
648,61 |
![]() |
Libro de Matemáticas de Preparación Para Exámenes Para Estudiantes Adultos, Libro 2
ISBN: 9798348457501 / Hiszpański / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
123,31 |
![]() |
Basic Math & Pre-Algebra For Dummies
ISBN: 9781394421640 / Angielski / 02-06-2026 Książka dostępna od: 02-06-2026 |
|
Termin ukazania się książki: 02-06-2026
Książkę można już zamówić z rabatem 5% |
|
101,06 |
![]() |
Prime Discoveries
ISBN: 9781763537323 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
231,17 |
![]() |
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ: Αναλυτικές Σ
ISBN: 9786188834743 / Grecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
77,03 |