![]() |
Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9781013271212 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
254,43 |
![]() |
Digital Design and Computer Architecture, RISC-V Edition
ISBN: 9780128200643 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
407,23 |
![]() |
Fundamentals of Modern VLSI Devices
ISBN: 9781108480024 / Angielski / Twarda / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
256,86 |
![]() |
Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings
ISBN: 9783030798369 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Principles of Verilog Digital Design
ISBN: 9781032034126 / Angielski / Twarda / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
850,66 |
![]() |
Simulation and Gaming
ISBN: 9789535138037 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
627,15 |
![]() |
Evolutionary Computation
ISBN: 9789533070087 / Angielski / Twarda / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
829,47 |
![]() |
Cellular Automata: Simplicity Behind Complexity
ISBN: 9789533072302 / Angielski / Twarda / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
829,47 |
![]() |
Grid Computing: Technology and Applications, Widespread Coverage and New Horizons
ISBN: 9789535106043 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,27 |
![]() |
Web Intelligence and Intelligent Agents
ISBN: 9789537619855 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,27 |
![]() |
New Achievements in Evolutionary Computation
ISBN: 9789533070537 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,27 |
![]() |
Game Theory
ISBN: 9789533071329 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
627,15 |
![]() |
Cellular Automata: Innovative Modelling for Science and Engineering
ISBN: 9789533071725 / Angielski / Twarda / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,27 |
![]() |
Particle Swarm Optimization
ISBN: 9789537619480 / Angielski / Twarda / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
724,27 |
![]() |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
ISBN: 9783030878818 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata...
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of c...
|
cena:
241,50 |
![]() |
Mastering NFT's: The Complete Guide to Understanding and Working With NFT's
ISBN: 9798737912444 / Angielski / Miękka / 48 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
52,56 |
![]() |
The Maximum Consensus Problem: Recent Algorithmic Advances
ISBN: 9783031006906 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Outlier-contaminated data is a fact of life in computer vision. For computer vision applications to perform reliably and accurately in practical settings, the processing of the input data must be conducted in a robust manner. In this context, the maximum consensus robust criterion plays a critical role by allowing the quantity of interest to be estimated from noisy and outlier-prone visual measurements. The maximum consensus problem refers to the problem of optimizing the quantity of interest according to the maximum consensus criterion. This book provides an overview of the algorithms for...
Outlier-contaminated data is a fact of life in computer vision. For computer vision applications to perform reliably and accurately in practical setti...
|
cena:
201,24 |
![]() |
An Introduction to Logic Circuit Testing
ISBN: 9783031797842 / Angielski / Miękka / 99 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circuits/systems. The material covered in the book should be sufficient for a course, or part of a course, in digital circuit testing for senior-level undergraduate and first-year graduate students in Electrical Engineering and Computer Science. The book will also be a valuable resource for engineers working in the industry. This book has four chapters. Chapter 1 deals with various types of faults that may occur in very large scale integration...
An Introduction to Logic Circuit Testing provides a detailed coverage of techniques for test generation and testable design of digital electronic circ...
|
cena:
112,68 |
![]() |
Reversible Computation: 14th International Conference, Rc 2022, Urbino, Italy, July 5-6, 2022, Proceedings
ISBN: 9783031090042 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021. The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum Computing; Foundations and Applications. This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, I... |
cena:
261,63 |
![]() |
Next Generation Arithmetic: Third International Conference, Conga 2022, Singapore, March 1-3, 2022, Revised Selected Papers
ISBN: 9783031097782 / Angielski / Miękka / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1-3, 2022. The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance computing.
This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Sing...
|
cena:
241,50 |