![]() |
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
ISBN: 9783030871802 / Angielski / Twarda / 466 str. Termin realizacji zamówienia: 22 dni roboczych |
362,09 |
![]() |
Social Data Analytics
ISBN: 9781032196275 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
832,62 |
![]() |
Fundamentals of High Frequency CMOS Analog Integrated Circuits
ISBN: 9783030636609 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
![]() |
Mp. Jahrgang 4, Heft 2
ISBN: 9783112592410 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Mp. Jahrgang 2, Heft 3
ISBN: 9783112592595 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Mp. Jahrgang 2, Heft 2
ISBN: 9783112592618 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Mp. Jahrgang 3, Heft 5
ISBN: 9783112592632 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Mp. Jahrgang 2, Heft 11
ISBN: 9783112594254 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Mp. Jahrgang 2, Heft 10
ISBN: 9783112594278 / Niemiecki / Twarda / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
![]() |
Embedded Microprocessor System Design Using FPGAs
ISBN: 9783030505356 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
![]() |
Terraform - Up and Running: Writing Infrastructure as Code
ISBN: 9781098116743 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
254,29 |
![]() |
Programming Massively Parallel Processors: A Hands-on Approach
ISBN: 9780323912310 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
337,70 |
![]() |
Emerging Topics in Hardware Security
ISBN: 9783030644505 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an overview of emerging topics in the field of hardware security, such as artificial intelligence and quantum computing, and highlights how these technologies can be leveraged to secure hardware and assure electronics supply chains. The authors are experts in emerging technologies, traditional hardware design, and hardware security and trust. Readers will gain a comprehensive understanding of hardware security problems and how to overcome them through an efficient combination of conventional approaches and emerging technologies, enabling them to design... This book provides an overview of emerging topics in the field of hardware security, such as artificial intelligence and quantum comp... |
cena:
322,01 |
![]() |
Distributed Computing by Oblivious Mobile Robots
ISBN: 9783031008801 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), where it is now an integral part of the investigations on computability by mobile entities. The robots are identical computational entities located and able to move in a spatial universe; they operate without explicit communication and are usually unable to remember the past; they are extremely simple, with limited resources, and individually quite weak. However, collectively the...
The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in the...
|
cena:
160,99 |
![]() |
Multithreading Architecture
ISBN: 9783031006104 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multithreaded architectures now appear across the entire range of computing devices, from the highest-performing general purpose devices to low-end embedded processors. Multithreading enables a processor core to more effectively utilize its computational resources, as a stall in one thread need not cause execution resources to be idle. This enables the computer architect to maximize performance within area constraints, power constraints, or energy constraints. However, the architectural options for the processor designer or architect looking to implement multithreading are quite extensive and...
Multithreaded architectures now appear across the entire range of computing devices, from the highest-performing general purpose devices to low-end em...
|
cena:
132,80 |
![]() |
The Paradigm Shift to Multimodality in Contemporary Computer Interfaces
ISBN: 9783031010859 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the last decade, cell phones with multimodal interfaces based on combined new media have become the dominant computer interface worldwide. Multimodal interfaces support mobility and expand the expressive power of human input to computers. They have shifted the fulcrum of human-computer interaction much closer to the human. This book explains the foundation of human-centered multimodal interaction and interface design, based on the cognitive and neurosciences, as well as the major benefits of multimodal interfaces for human cognition and performance. It describes the data-intensive...
During the last decade, cell phones with multimodal interfaces based on combined new media have become the dominant computer interface worldwide. Mult...
|
cena:
201,24 |
![]() |
Shared-Memory Synchronization
ISBN: 9783031006128 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From driving, flying, and swimming, to digging for unknown objects in space exploration, autonomous robots take on varied shapes and sizes. In part, autonomous robots are designed to perform tasks that are too dirty, dull, or dangerous for humans. With nontrivial autonomy and volition, they may soon claim their own place in human society. These robots will be our allies as we strive for understanding our natural and man-made environments and build positive synergies around us. Although we may never perfect replication of biological capabilities in robots, we must harness the inevitable...
From driving, flying, and swimming, to digging for unknown objects in space exploration, autonomous robots take on varied shapes and sizes. In part, a...
|
cena:
181,11 |
![]() |
Analyzing Analytics
ISBN: 9783031006210 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book aims to achieve the following goals: (1) to provide a high-level survey of key analytics models and algorithms without going into mathematical details; (2) to analyze the usage patterns of these models; and (3) to discuss opportunities for accelerating analytics workloads using software, hardware, and system approaches. The book first describes 14 key analytics models (exemplars) that span data mining, machine learning, and data management domains. For each analytics exemplar, we summarize its computational and runtime patterns and apply the information to evaluate parallelization...
This book aims to achieve the following goals: (1) to provide a high-level survey of key analytics models and algorithms without going into mathematic...
|
cena:
132,80 |
![]() |
Decidability of Parameterized Verification
ISBN: 9783031008832 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n , whether, for all n , the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling...
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is t...
|
cena:
181,11 |
![]() |
Security Basics for Computer Architects
ISBN: 9783031006142 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design for security is an essential aspect of the design of future computers. However, security is not well understood by the computer architecture community. Many important security aspects have evolved over the last several decades in the cryptography, operating systems, and networking communities. This book attempts to introduce the computer architecture student, researcher, or practitioner to the basic concepts of security and threat-based design. Past work in different security communities can inform our thinking and provide a rich set of technologies for building architectural support...
Design for security is an essential aspect of the design of future computers. However, security is not well understood by the computer architecture co...
|
cena:
132,80 |