Wyniki wyszukiwania:
wyszukanych pozycji: 53
 |
Using Event-B for Critical Device Software Systems
ISBN: 9781447157908 / Angielski / Miękka / 2015 / 326 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
 |
A Guide to ISTQB(R) Foundation Certification
ISBN: 9781636400129 / Angielski / Miękka / 2020 / 168 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
51,06 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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
242,07 zł |
 |
Using Event-B for Critical Device Software Systems
ISBN: 9781447152590 / Angielski / Twarda / 2013 / 326 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 zł |
 |
Um Algoritmo Eficiente de Balanceamento de Carga em Redes Distribuídas
ISBN: 9786208252069 / Portugalski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
Un algorithme efficace d'équilibrage de la charge dans un réseau distribué
ISBN: 9786208252045 / Francuski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Un système distribué est un système à forte intensité de communication, dans lequel chaque système envoie et reçoit des messages pour se tenir informé de l'état actuel du système. La communication effectuée pour mettre à jour l'état du système est un surcoût et peut dégrader les performances du système. La réduction de la surcharge de communication dans les algorithmes d'équilibrage de charge pour équilibrer un système distribué est une tâche difficile. Dans un système distribué, les noeuds peuvent avoir des capacités de calcul différentes. L'attribution de la...
Un système distribué est un système à forte intensité de communication, dans lequel chaque système envoie et reçoit des messages pour se tenir ...
|
cena:
160,95 zł |
 |
Un algoritmo efficiente di bilanciamento del carico in una rete distribuita
ISBN: 9786208252052 / Włoski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
Ein effizienter Algorithmus zur Lastverteilung in einem verteilten Netzwerk
ISBN: 9786208252021 / Niemiecki / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Ein verteiltes System ist ein kommunikationsintensives System, bei dem jedes System Nachrichten sendet und empfängt, um sich über den aktuellen Systemstatus auf dem Laufenden zu halten. Die Kommunikation zur Aktualisierung des Systemstatus ist ein Overhead und kann die Leistung des Systems beeinträchtigen. Die Reduzierung des Kommunikations-Overheads in Algorithmen zur Lastverteilung, um ein verteiltes System auszugleichen, ist eine anspruchsvolle Aufgabe. In einem verteilten System können die Knoten unterschiedliche Rechenkapazitäten aufweisen. Die Zuweisung der Arbeitslast zu den...
Ein verteiltes System ist ein kommunikationsintensives System, bei dem jedes System Nachrichten sendet und empfängt, um sich über den aktuellen Syst...
|
cena:
160,95 zł |
 |
Integrated Bioeletrochemical–Constructed Wetland System for Future Sustainable Wastewater Treatment
ISBN: 9789819628131 / Angielski / Twarda / 2025 / 348 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book provides latest information and knowledge from internationally recognized experts working in wastewater treatment field. It covers broad aspects of integrated bioeletrochemical-constructed wetland system for future sustainable wastewater treatment and resource recovery. It discusses various constructed wetland and their application in wastewater treatment and the principle and mechanism of bioelectrochemical system for wastewater treatment. The book also reviews the various types of constructed wetland integrated with bioeletrochemical and microbial fuel cells. It includes chapters...
This book provides latest information and knowledge from internationally recognized experts working in wastewater treatment field. It covers broad asp...
|
cena:
806,99 zł |
 |
System on Chip Interfaces for Low Power Design
ISBN: 9780128016305 / Angielski / Miękka / 2015 / 406 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
335,83 zł |
 |
Trends und Wachstumsleistung der wichtigsten Kulturpflanzen in der Region Varanasi
ISBN: 9786204390864 / Niemiecki / Miękka / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Für die Bezirke Jaunpur, Ghazipur, Varanasi und Chandauli wurden Zeitreihendaten aus den Jahren 2001 bis 2015 in Bezug auf die Nahrungsmittelgetreideproduktion und damit verbundene Variablen erhoben. In dieser Studie wurden die Zeitreihendaten einer tabellarischen und grafischen Darstellung sowie einer Regressionsanalyse unterzogen. Wichtige Ergebnisse: Zeitreihendaten aus den Jahren 2001 bis 2015 in Bezug auf die Nahrungsmittelgetreideproduktion und damit verbundene Variablen wurden für die Bezirke Jaunpur, Ghazipur, Varanasi und Chandauli erhoben. In dieser Studie wurden die...
Für die Bezirke Jaunpur, Ghazipur, Varanasi und Chandauli wurden Zeitreihendaten aus den Jahren 2001 bis 2015 in Bezug auf die Nahrungsmittelgetreide...
|
cena:
178,89 zł |
 |
Cruzeiro da próxima geração
ISBN: 9786208818555 / Portugalski / Miękka / 2025 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
Rejs nastepnej generacji
ISBN: 9786208818524 / Polski / Miękka / 2025 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
Kreuzfahrt der nächsten Generation
ISBN: 9786208818531 / Niemiecki / Miękka / 2025 / 68 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Das Next Generation Cruise ist ein Fahrzeug. Theoretisch soll es einem Fahrzeug der Wahl folgen und auch einen Frontalzusammenstoß vermeiden. Wie der Name schon andeutet, soll es ein Cruise der nächsten Generation mit mehreren Fähigkeiten sein. Fähigkeiten wie sicheres und handliches Fahren. In diesem Buch geht es also um den Laborprototyp, der entwickelt wurde, um einige der Probleme zu lösen, denen wir in unserem täglichen Leben begegnen. Eines davon sind Fahrzeugkollisionen.
Das Next Generation Cruise ist ein Fahrzeug. Theoretisch soll es einem Fahrzeug der Wahl folgen und auch einen Frontalzusammenstoß vermeiden. Wie der...
|
cena:
160,95 zł |
 |
Crociera di nuova generazione
ISBN: 9786208818562 / Włoski / Miękka / 2025 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
Next Generation Cruise : Vehicle like never before
ISBN: 9783659907661 / Angielski / Miękka / 2016 / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
160,95 zł |
 |
La croisière nouvelle génération
ISBN: 9786208818579 / Francuski / Miękka / 2025 / 64 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Le système de croisière de nouvelle génération est un véhicule. En théorie, il est censé suivre le véhicule de son choix et éviter les collisions frontales. Comme son nom l'indique, il s'agit d'un véhicule de croisière de nouvelle génération doté de multiples capacités. Des capacités telles que la sécurité et la maniabilité. Ce livre traite donc du prototype de laboratoire conçu pour résoudre certains des problèmes que nous rencontrons dans notre vie quotidienne. L'un d'entre eux est la collision avec un véhicule.
Le système de croisière de nouvelle génération est un véhicule. En théorie, il est censé suivre le véhicule de son choix et éviter les collis...
|
cena:
160,95 zł |
 |
Microbiology & Biotechnology for a Sustainable Environment
ISBN: 9781536120769 / Angielski / Twarda / 2017 / 235 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
1187,70 zł |
 |
Quantum Computing: A Shift from Bits to Qubits
ISBN: 9789811995293 / Angielski Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
685,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. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
211,32 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
