topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 14
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 2012 / 213 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
605,23 |
 |
Das Himmelsauge Chinas
ISBN: 9783960748533 / Niemiecki / Miękka / 2024 / 184 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) Das FAST-Teleskop, auch bekannt als "Himmelsauge", ist das weltweit größte Radioteleskop und ein Meilenstein in der modernen Astronomie. Dieses technologische Wunderwerk mit einem Durchmesser von 500 Metern wurde in China entwickelt. Es ist in der Lage, elektromagnetische Signale aus unglaublichen Entfernungen von bis zu 13,7 Milliarden Lichtjahren zu empfangen und bietet damit einen einzigartigen Blick auf den Rand des Universums.Unter der Leitung des verstorbenen Chefingenieurs Nan Rendong war das FAST-Projekt nicht nur eine technische Errungenschaft, sondern auch ein ambitioniertes...
Das FAST-Teleskop, auch bekannt als "Himmelsauge", ist das weltweit größte Radioteleskop und ein Meilenstein in der modernen Astronomie. Dieses tech...
|
cena:
85,34 |
 |
Symmetry in Structural Health Monitoring
ISBN: 9783036542379 / Angielski / Twarda / 2022 / 310 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
372,81 |
 |
The Great Exodus from China: Trauma, Memory, and Identity in Modern Taiwan
ISBN: 9781108478120 / Angielski / Twarda / 2020 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
389,07 |
 |
The Great Exodus from China: Trauma, Memory, and Identity in Modern Taiwan
ISBN: 9781108746878 / Angielski / Miękka / 2021 / 329 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
126,20 |
 |
Big Data and Social Computing: 7th China National Conference, BDSC 2022, Hangzhou, China, August 11-13, 2022, Revised Selected Papers
ISBN: 9789811975318 / Angielski / Miękka / 2022 / 390 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes refereed proceedings of the 7th China National Conference on Big Data and Social Computing, BDSC 2022, held in Hangzhou, China, from August 11-13, 2022The 24 full papers and 2 short papers presented in this volume were carefully reviewed and selected from a total of 99 submissions. The papers in the volume are organised according to the following topical headings: urban computing and social governance; artificial intelligence and cognitive science; social network and group behavior; digital society and public security; digital government and public big data
This book constitutes refereed proceedings of the 7th China National Conference on Big Data and Social Computing, BDSC 2022, held in Hangzhou, China,...
|
cena:
322,77 |
 |
Dynamical Models of Biology and Medicine
ISBN: 9783039212170 / Angielski / Miękka / 2019 / 292 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
278,62 |
 |
Prostate Diseases - Management Strategies and Emerging Technologies: Management Strategies and Emerging Technologies
ISBN: 9780854663477 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
605,27 |
 |
Design, Modeling and Experiments of 3-DOF Electromagnetic Spherical Actuators
ISBN: 9789400716452 / Angielski / Twarda / 2011 / 163 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) A spherical actuator is a novel electric device that can achieve 2/3-DOF rotational motions in a single joint with electric power input. It has advantages such as compact structure, low mass/moment of inertia, fast response and non-singularities within the workspace. It has promising applications in robotics, automobile, manufacturing, medicine and aerospace industry. This is the first monograph that introduces the research on spherical actuators systematically. It broadens the scope of actuators from conventional single-axis to multi-axis, which will help both beginners and... A spherical actuator is a novel electric device that can achieve 2/3-DOF rotational motions in a single joint with electric power input. It has adv... |
cena:
403,47 |
 |
Modelling, Analysis, and Control of Networked Dynamical Systems
ISBN: 9783030846817 / Angielski / Twarda / 2021 / 166 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
443,82 |
 |
Modelling, Analysis, and Control of Networked Dynamical Systems
ISBN: 9783030846848 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This monograph provides a comprehensive exploration of new tools for modelling, analysis, and control of networked dynamical systems. Expanding on the authors’ previous work, this volume highlights how local exchange of information and cooperation among neighboring agents can lead to emergent global behaviors in a given networked dynamical system. Divided into four sections, the first part of the book begins with some preliminaries and the general networked dynamical model that is used throughout the rest of the book. The second part focuses on synchronization...
This monograph provides a comprehensive exploration of new tools for modelling, analysis, and control of networked dynamical systems. Expanding o...
|
cena:
322,77 |
 |
Pandemic Crossings: Digital Technology, Everyday Experience, and Governance in the Covid-19 Crisis
ISBN: 9781611864922 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
281,57 |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9780792396536 / Angielski / Twarda / 1995 / 213 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
605,23 |
 |
Advanced Data Mining and Applications: 5th International Conference, ADMA 2009, Chengdu, China, August 17-19, 2009, Proceedings
ISBN: 9783642033476 / Angielski / Miękka / 2009 / 807 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the proceedings of the International Conference on Advanced Data Mining and Applications (ADMA 2009), held in Beijing, China, during August 17-19, 2009. We are pleased to have a very strong program. Acceptance into the conference proceedings was extremely competitive. From the 322 submissions from 27 countries and regions, the Program Committee selected 34 full papers and 47 short papers for presentation at the conference and inclusion in the proceedings. The c- tributed papers cover a wide range of data mining topics and a diverse spectrum of interesting applications....
This volume contains the proceedings of the International Conference on Advanced Data Mining and Applications (ADMA 2009), held in Beijing, China, dur...
|
cena:
403,47 |
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
