Wyniki wyszukiwania:
wyszukanych pozycji: 11
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9781461368502 / Angielski / Miękka / 2012 / 213 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
582,32 zł |
 |
Symmetry in Structural Health Monitoring
ISBN: 9783036542379 / Angielski / Twarda / 2022 / 310 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
419,66 zł |
 |
The Great Exodus from China: Trauma, Memory, and Identity in Modern Taiwan
ISBN: 9781108478120 / Angielski / Twarda / 2020 / 320 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
401,64 zł |
 |
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. 16-18 dni roboczych. |
cena:
129,81 zł |
 |
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. 20 dni roboczych. 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:
310,55 zł |
 |
Dynamical Models of Biology and Medicine
ISBN: 9783039212170 / Angielski / Miękka / 2019 / 292 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
313,64 zł |
 |
Design, Modeling and Experiments of 3-DOF Electromagnetic Spherical Actuators
ISBN: 9789400716452 / Angielski / Twarda / 2011 / 163 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
388,20 zł |
 |
Modelling, Analysis, and Control of Networked Dynamical Systems
ISBN: 9783030846817 / Angielski / Twarda / 2021 / 166 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
427,02 zł |
 |
Modelling, Analysis, and Control of Networked Dynamical Systems
ISBN: 9783030846848 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
310,55 zł |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9780792396536 / Angielski / Twarda / 1995 / 213 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
582,32 zł |
 |
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. 20 dni roboczych. 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:
388,20 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
