Intelligent Internet of Things for Smart Healthcare Systems
ISBN: 9781032352862 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
532,07 zł |
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:
175,48 zł |
Automatic Parallelization: An Overview of Fundamental Compiler Techniques
ISBN: 9783031006081 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiling for parallelism is a longstanding topic of compiler research. This book describes the fundamental principles of compiling "regular" numerical programs for parallelism. We begin with an explanation of analyses that allow a compiler to understand the interaction of data reads and writes in different statements and loop iterations during program execution. These analyses include dependence analysis, use-def analysis and pointer analysis. Next, we describe how the results of these analyses are used to enable transformations that make loops more amenable to parallelization, and discuss...
Compiling for parallelism is a longstanding topic of compiler research. This book describes the fundamental principles of compiling "regular" numerica...
|
|
cena:
136,47 zł |
Introduction to Embedded Systems
ISBN: 9783031798238 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many electrical and computer engineering projects involve some kind of embedded system in which a microcontroller sits at the center as the primary source of control.
The recently-developed Arduino development platform includes an inexpensive hardware development board hosting an eight-bit ATMEL ATmega-family processor and a Java-based software-development environment. These features allow an embedded systems beginner the ability to focus their attention on learning how to write embedded software instead of wasting time overcoming the engineering CAD tools learning curve. The goal of this... Many electrical and computer engineering projects involve some kind of embedded system in which a microcontroller sits at the center as the primary so...
|
|
cena:
214,47 zł |
Digitalization and Control of Industrial Cyber-Physical Systems: Concepts, Technologies and Applications
ISBN: 9781789450859 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
666,75 zł |
Intelligent Security Management and Control in the Iot
ISBN: 9781789450538 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
666,75 zł |
Cognitive IoT: Emerging Technology towards Human Wellbeing
ISBN: 9781032315560 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
253,31 zł |
Raspberry Pi Cookbook, 4E: Software and Hardware Problems and Solutions
ISBN: 9781098130923 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
282,65 zł |
Artificial Intelligence Technologies for Computational Biology
ISBN: 9781032160009 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
582,74 zł |
Modern Metaheuristics in Image Processing
ISBN: 9781032019772 / Angielski / Twarda / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
253,31 zł |
Classical and Discrete Differential Geometry: Theory, Applications and Algorithms
ISBN: 9781032390178 / Angielski / Twarda / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
557,40 zł |
Swarm Intelligence: Trends and Applications
ISBN: 9781032039954 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
1013,46 zł |
Swarm Intelligence: Trends and Applications
ISBN: 9781032039961 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
390,13 zł |
Blockchain Technology and Applications
ISBN: 9781032054438 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
582,74 zł |
Hack the Cybersecurity Interview: A complete interview preparation guide for jumpstarting your cybersecurity career
ISBN: 9781801816632 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will take you through some key cybersecurity job roles and teach you the important technical and behavioral questions that will help you pass the interview, land the job, and grow in your cybersecurity career.
This book will take you through some key cybersecurity job roles and teach you the important technical and behavioral questions that will help you pas...
|
|
cena:
192,35 zł |
Tools, Languages, Methodologies for Representing Semantics on the Web of Things
ISBN: 9781786307644 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
666,75 zł |
Hybrid Computational Intelligent Systems: Modeling, Simulation and Optimization
ISBN: 9781032393025 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid Computational Intelligent Systems-Modeling, Simulation and Optimization unearths the latest advances in evolving hybrid intelligent modeling and simulation of human-centric data-intensive applications optimized for real-time use thereby enabling researchers to come up with novel breakthroughs in this ever-growing field.
Hybrid Computational Intelligent Systems-Modeling, Simulation and Optimization unearths the latest advances in evolving hybrid intelligent modeling an...
|
|
cena:
734,76 zł |
Deep Learning for Crack-Like Object Detection
ISBN: 9781032181189 / Angielski / Twarda / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Accurately detecting crack localization is not an easy task. This book addresses important issues in detecting crack-like objects and provides a practical smart pavement surface inspection system using deep learning.
Accurately detecting crack localization is not an easy task. This book addresses important issues in detecting crack-like objects and provides a pract...
|
|
cena:
233,05 zł |
Decision Support System: Tools and Techniques
ISBN: 9781032309927 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
684,09 zł |
Internet of Things: Applications for Sustainable Development
ISBN: 9781032128986 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
709,42 zł |