wyszukanych pozycji: 47
![]() |
Using Event-B for Critical Device Software Systems
ISBN: 9781447157908 / Angielski / Miękka / 2015 / 326 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not... Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using ... |
cena:
386,41 zł |
![]() |
Analysing the Current Afghan Context
ISBN: 9781032429403 / Angielski / 26-08-2024 Książka dostępna od: 26-08-2024 |
Planowany termin premiery książki: 26-08-2024
Książkę można już zamówić z rabatem 5% |
|
193,64 zł |
![]() |
Industrial System Engineering for Drones: A Guide with Best Practices for Designing
ISBN: 9781484235331 / Angielski / Miękka / 2019 / 261 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
231,83 zł |
![]() |
Using Event-B for Critical Device Software Systems
ISBN: 9781447152590 / Angielski / Twarda / 2013 / 326 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not... Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using ... |
cena:
386,41 zł |
![]() |
A Guide to ISTQB(R) Foundation Certification
ISBN: 9781636400129 / Angielski / Miękka / 2020 / 168 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
55,94 zł |
![]() |
System on Chip Interfaces for Low Power Design
ISBN: 9780128016305 / Angielski / Miękka / 2015 / 406 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. System on Chip Interfaces for Low Power Design provides a top-down understanding of interfaces available to SoC developers, not only the underlying protocols and architecture of each, but also how they interact and the tradeoffs involved. The book offers a common context to help understand the variety of available interfaces and make sense of technology from different vendors aligned with multiple standards. With particular emphasis on power as a factor, the authors explain how each interface performs in various usage scenarios and discuss their advantages and disadvantages.... System on Chip Interfaces for Low Power Design provides a top-down understanding of interfaces available to SoC developers, not only the un... |
cena:
351,66 zł |
![]() |
Nanotechnology: Device Design and Applications
ISBN: 9781032115238 / Angielski / Twarda / 2022 / 364 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
688,13 zł |
![]() |
Leadership styles and impact on employees' organizational commitment
ISBN: 9786138914396 / Angielski / Miękka / 2019 / 124 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
305,07 zł |
![]() |
Pathology, Prevention and Therapeutics of Neurodegenerative Disease
ISBN: 9789811309434 / Angielski / Twarda / 2018 / 301 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book, written by a leading panel of experts in the field of neurosciences, provides a comprehensive overview of the pathology of neurodegenerative diseases as well as the preventive measures.
This book, written by a leading panel of experts in the field of neurosciences, provides a comprehensive overview of the pathology of neurodegenerativ...
|
cena:
386,41 zł |
![]() |
Pathology, Prevention and Therapeutics of Neurodegenerative Disease
ISBN: 9789811345364 / Angielski / Miękka / 2019 / 301 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
347,77 zł |
![]() |
Microbiology & Biotechnology for a Sustainable Environment
ISBN: 9781536120769 / Angielski / Twarda / 2017 / 235 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
1243,67 zł |
![]() |
Quantum Computing: A Shift from Bits to Qubits
ISBN: 9789811995293 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. The edited book is a consolidated handbook on quantum computing that covers quantum basic science and mathematics to advanced concepts and applications of quantum computing and quantum machine learning applied to diverse domains. The book includes dedicated chapters on introduction to quantum computing, its practical applications, the working behind quantum systems, quantum algorithms, quantum communications, and quantum cryptography. Each challenge that can be addressed with quantum technologies is further discussed from theoretical and practical perspectives. The book is divided into five...
The edited book is a consolidated handbook on quantum computing that covers quantum basic science and mathematics to advanced concepts and application...
|
cena:
656,93 zł |
![]() |
Essential Computer Science: A Programmer's Guide to Foundational Concepts
ISBN: 9781484271063 / Angielski / Miękka / 2021 / 290 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
212,51 zł |
![]() |
Indian Wildlife Through Poems
ISBN: 9781482873313 / Angielski / Miękka / 2016 / 74 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. These poems on wildlife of India are written to make you fall and rise in love with Indian Wildlife.
These poems on wildlife of India are written to make you fall and rise in love with Indian Wildlife.
|
cena:
30,01 zł |
![]() |
Debatable Topics in PCOS Patients
ISBN: 9789535138112 / Angielski / Twarda / 2018 / 120 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
685,26 zł |
![]() |
Significance of a Brand: From Initial to Selection
ISBN: 9781655405778 / Angielski / Miękka / 2020 / 94 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
30,94 zł |
![]() |
Les?es fusocelulares da cavidade oral
ISBN: 9786207163700 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
336,00 zł |
![]() |
Bonifica del cromo e di altri metalli pesanti (Pb, Ni) nei rifiuti delle concerie
ISBN: 9786207577606 / Włoski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
218,40 zł |
![]() |
Syndromes de la t?te et du cou
ISBN: 9786207356843 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
341,60 zł |
![]() |
Spindelzell-L?sionen der Mundh?hle
ISBN: 9786207163663 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
336,00 zł |