Wyniki wyszukiwania:
wyszukanych pozycji: 15
 |
Distributed, Parallel and Biologically Inspired Systems: 7th Ifip Tc 10 Working Conference, Dipes 2010, and 3rd Ifip Tc 10 International Conference, B
ISBN: 9783642422928 / Angielski / Miękka / 2014 / 297 str. Termin realizacji zamówienia: ok. 20 dni roboczych. st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired...
st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September...
|
cena:
192,30 zł |
 |
Software Technology: 10 Years of Innovation in IEEE Computer
ISBN: 9781119174219 / Angielski / Twarda / 2018 / 384 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is a compendium of extended and revised publications that have appeared in the "Software Technologies" column of IEEE Computer Magazine, which cover the key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems, and robotics. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and... This book is a compendium of extended and revised publications that have appeared in the "Software Technologies" column of IEEE Computer Mag... |
cena:
458,37 zł |
 |
Biologically-Inspired Collaborative Computing: Ifip 20th World Computer Congress, Second Ifip Tc 10 International Conference on Biologically-Inspired
ISBN: 9781441935021 / Angielski / Miękka / 2010 / 247 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "Look deep into nature and you will understand everything better." advised Albert Einstein. In recent years, the research communities in Computer Science, Engineering, and other disciplines have taken this message to heart, and a relatively new field of "biologically-inspired computing" has been born. Inspiration is being drawn from nature, from the behaviors of colonies of ants, of swarms of bees and even the human body. This new paradigm in computing takes many simple autonomous objects or agents and lets them jointly perform a complex task, without having the need for centralized control....
"Look deep into nature and you will understand everything better." advised Albert Einstein. In recent years, the research communities in Computer Scie...
|
cena:
384,63 zł |
 |
Distributed, Parallel and Biologically Inspired Systems
ISBN: 9783642152337 / Angielski / Twarda / 2010 / 297 str. Termin realizacji zamówienia: ok. 20 dni roboczych. st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September 2010. th The first part of the book presents the proceedings of DIPES 2010, the 7 IFIP Conference on Distributed and Parallel Embedded Systems. The conference, int- duced in a separate preface by the Chairs, covers a range of topics from specification and design of embedded systems through to dependability and fault tolerance. rd The second part of the book contains the proceedings of BICC 2010, the 3 IFIP Conference on Biologically-Inspired...
st This volume contains the proceedings of two conferences held as part of the 21 IFIP World Computer Congress in Brisbane, Australia, 20-23 September...
|
cena:
192,30 zł |
 |
Biologically-Inspired Collaborative Computing: Ifip 20th World Computer Congress, Second Ifip Tc 10 International Conference on Biologically-Inspired
ISBN: 9780387096544 / Angielski / Twarda / 2008 / 247 str. Termin realizacji zamówienia: ok. 20 dni roboczych. "Look deep into nature and you will understand everything better." advised Albert Einstein. In recent years, the research communities in Computer Science, Engineering, and other disciplines have taken this message to heart, and a relatively new field of "biologically-inspired computing" has been born. Inspiration is being drawn from nature, from the behaviors of colonies of ants, of swarms of bees and even the human body. This new paradigm in computing takes many simple autonomous objects or agents and lets them jointly perform a complex task, without having the need for centralized control....
"Look deep into nature and you will understand everything better." advised Albert Einstein. In recent years, the research communities in Computer Scie...
|
cena:
384,63 zł |
 |
Conquering Complexity
ISBN: 9781447158264 / Angielski / Miękka / 2014 / 468 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis since the first NATO Software Engineering conference in 1968. Time and again we have been proven unable to engineer reliable software as easily/cheaply as we imagined. Cost overruns and expensive failures are the norm. Software has long been perceived as complex, at least within Software Engineering circles. We have been living in a recognised state of crisis sinc... |
cena:
576,96 zł |
 |
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ISBN: 9783031738869 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
253,84 zł |
 |
Autonomy Requirements Engineering for Space Missions
ISBN: 9783319384030 / Angielski / Miękka / 2016 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs.Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today.
Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs.Elicitation and e...
|
cena:
384,63 zł |
 |
Autonomy Requirements Engineering for Space Missions
ISBN: 9783319098159 / Angielski / Twarda / 2014 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are major factors supporting the use of unmanned craft and the use of automation and robotic technologies where possible. Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and reduce mission costs. Elicitation and expression of autonomy requirements is one of the most significant challenges the autonomous spacecraft engineers need to overcome today. This book discusses the Autonomy... Advanced space exploration is performed by unmanned missions with integrated autonomy in both flight and ground systems. Risk and feasibility are m... |
cena:
384,63 zł |
 |
Applications of Networks, Sensors and Autonomous Systems Analytics: Proceedings of ICANSAA 2020
ISBN: 9789811673078 / Angielski / Miękka / 2022 / 374 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents high-quality research papers presented at International Conference on Applications of Networks, Sensors and Autonomous Systems Analytics (ICANSAA 2020), held during December, 11 – 12, 2020, at JIS College of Engineering, Kalyani, West Bengal, India. The major topics covered are cyber-physical systems and sensor networks, data analytics and autonomous systems and MEMS and NEMS with applications in biomedical devices. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry.
This book presents high-quality research papers presented at International Conference on Applications of Networks, Sensors and Autonomous Systems Anal...
|
cena:
842,43 zł |
 |
Recent Advances in Artificial Intelligence & Smart Applications: Proceedings of Raaisa 2023
ISBN: 9789819734849 / Angielski Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
1364,95 zł |
 |
Provably Correct Systems
ISBN: 9783319486277 / Angielski / Twarda / 2017 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within... As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ens... |
cena:
384,63 zł |
 |
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ISBN: 9783642338250 / Angielski / Miękka / 2012 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering...
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in The...
|
cena:
192,30 zł |
 |
Agent Technology from a Formal Perspective
ISBN: 9781852339470 / Angielski / Twarda / 2005 / 354 str. Termin realizacji zamówienia: ok. 20 dni roboczych. During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented popularity. Meanwhile, the ?eld of formal methods has also blossomed and has proven its importance in substantial industrial and government applications. Thus, in 2000 it was quite timely to pursue a workshop to merge the concerns of the two ?elds. The need for such a workshop was particularly compelling given the growing concerns of agent-basedsystemsusersthattheirsystemsshouldbeaccompaniedby behavioral assurances. The Formal Approaches...
During the last several years, the ?eld of agent and multi-agent s- tems has experienced tremendous growth, i.e., the topic has gained - precedented p...
|
cena:
576,96 zł |
 |
Provably Correct Systems
ISBN: 9783319839806 / Angielski / Miękka / 2018 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
384,63 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
