topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 435
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
ISBN: 9783319470146 / Angielski / Twarda / 2016 / 258 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.
This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid...
|
cena:
480,30 |
 |
China's Formal Online Education under COVID-19: Actions from Government, Schools, Enterprises, and Families
ISBN: 9781032036236 / Angielski / Twarda / 2021 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
880,10 |
 |
Tintenstrahl gedruckte Optoelektronik
ISBN: 9786207710577 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
166,61 |
 |
J & J : Istoriya dvuh odinokih ljudej
ISBN: 9786202020848 / Rosyjski / Miękka / 2018 / 152 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
133,67 |
 |
Tapu Koko & The Enchanted Ruins
ISBN: 9781365871436 / Angielski / Miękka / 2017 / 42 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
27,33 |
 |
Big Data Benchmarks, Performance Optimization, and Emerging Hardware: 4th and 5th Workshops, Bpoe 2014, Salt Lake City, Usa, March 1, 2014 and Hangzho
ISBN: 9783319130200 / Angielski / Miękka / 2014 / 221 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly revised selected papers of the 4th and 5th workshops on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 4 and BPOE 5, held respectively in Salt Lake City, in March 2014, and in Hangzhou, in September 2014. The 16 papers presented were carefully reviewed and selected from 30 submissions. Both workshops focus on architecture and system support for big data systems, such as benchmarking; workload characterization; performance optimization and evaluation; emerging hardware.
This book constitutes the thoroughly revised selected papers of the 4th and 5th workshops on Big Data Benchmarks, Performance Optimization, and Emergi...
|
cena:
200,49 |
 |
Optoelectr?nica impressa a jato de tinta
ISBN: 9786207710614 / Portugalski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
166,61 |
 |
Kritika cifrowoj äkonomiki
ISBN: 9786205812860 / Rosyjski / Miękka / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
91,90 |
 |
Coupled Heat and Mass Transfer in Binary Mixtures at Supercritical Pressures
ISBN: 9789811678080 / Angielski / Miękka / 2023 / 159 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Supercritical pressure fluids have been exploited in many engineering fields, where binary mixtures are frequently encountered. This book focuses on the coupled heat and mass transfer in them, where the coupling comes from cross-diffusion effects (i.e., Soret and Dufour effects) and temperature-dependent boundary reactions. Under this configuration, three main topics are discussed: relaxation and diffusion problems, hydrodynamic stability, and convective heat and mass transfer. This book reports a series of new phenomena, novel mechanisms, and an innovative engineering design in hydrodynamics...
Supercritical pressure fluids have been exploited in many engineering fields, where binary mixtures are frequently encountered. This book focuses on t...
|
cena:
710,03 |
 |
Proceedings of the 8th International Congress on Environmental Geotechnics Volume 2: Towards a Sustainable Geoenvironment
ISBN: 9789811347504 / Angielski / Miękka / 2018 / 742 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
835,34 |
 |
Osnownye formy wyrazheniq molitwy
ISBN: 9786204452470 / Rosyjski / Miękka / 136 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
133,67 |
 |
Surface Insulation Resistance Degradation & Electrochemical Migration
ISBN: 9783639384208 / Angielski / Miękka / 2012 / 132 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
273,82 |
 |
Kriticheskij analiz raboty w äpohu iskusstwennogo intellekta
ISBN: 9786208271626 / Rosyjski / Miękka / 2024 / 260 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
449,72 |
 |
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
ISBN: 9783319836386 / Angielski / Miękka / 2018 / 258 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
480,30 |
 |
Proceedings of the 8th International Congress on Environmental Geotechnics Volume 3: Towards a Sustainable Geoenvironment
ISBN: 9789811322266 / Angielski / Twarda / 2018 / 575 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book gathers selected papers presented at the 8th International Congress on Environmental Geotechnics (ICEG), held on October 28 - November 1, 2018 in Hangzhou, China.
This book gathers selected papers presented at the 8th International Congress on Environmental Geotechnics (ICEG), held on October 28 - November 1, 20...
|
cena:
835,34 |
 |
Graphene-Electrolyte Interfaces: Electronic Properties and Applications
ISBN: 9789814774949 / Angielski / Twarda / 2020 / 254 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
593,60 |
 |
Simultaneous Localization and Mapping: Exactly Sparse Information Filters
ISBN: 9789814350310 / Angielski / Twarda / 2011 / 208 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Simultaneous localization and mapping (SLAM) is a process where an autonomous vehicle builds a map of an unknown environment while concurrently generating an estimate for its location. This book is concerned with computationally efficient solutions to the large scale SLAM problems using exactly sparse Extended Information Filters (EIF). The invaluable book also provides a comprehensive theoretical analysis of the properties of the information matrix in EIF-based algorithms for SLAM. Three exactly sparse information filters for SLAM are described in detail, together with two efficient and...
Simultaneous localization and mapping (SLAM) is a process where an autonomous vehicle builds a map of an unknown environment while concurrently genera...
|
cena:
436,31 |
 |
Optoelettronica stampata a getto d'inchiostro
ISBN: 9786207710607 / Włoski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
166,61 |
 |
Computational Biology of Embryonic Stem Cells
ISBN: 9781608054343 / Angielski / Miękka / 2018 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
509,05 |
 |
Mirnye sowetniki stalkiwaütsq so stressom bezdomnyh w Brüssele
ISBN: 9786206271017 / Rosyjski / Miękka / 72 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
91,90 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
