Mike Hinchey – författare
Visar alla böcker från författaren Mike Hinchey. Handla med fri frakt och snabb leverans.
39 produkter
Biologically-Inspired Collaborative Computing
IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
Av Mike Hinchey, Anastasia Pagnoni m. fl.
Inbunden, 2008
1127 kr
Lägg i varukorg
“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 …
Biologically-Inspired Collaborative Computing
IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
Av Hartmut Schmeck, Franz J. Rammig m. fl.
E-bok, 2008
1459 kr
Lägg i varukorg
“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 …
Software Technology
10 Years of Innovation in IEEE Computer
Inbunden, 2018
1153 kr
Lägg i varukorg
A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columnsThis book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software …
Software Technology
10 Years of Innovation in IEEE Computer
Av Mike Hinchey
E-bok, 2018
1336 kr
Lägg i varukorg
A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software …
Software Technology
10 Years of Innovation in IEEE Computer
Av Mike Hinchey
E-bok, 2018
1336 kr
Lägg i varukorg
A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software …
Biologically-Inspired Collaborative Computing
IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
Av Mike Hinchey, Anastasia Pagnoni m. fl.
Häftad, 2010
1096 kr
Lägg i varukorg
“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 …
Conquering Complexity
Inbunden, 2012
1690 kr
Lägg i varukorg
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 …
Conquering Complexity
E-bok, 2012
2127 kr
Lägg i varukorg
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 …
Conquering Complexity
Häftad, 2014
1690 kr
Lägg i varukorg
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 …
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Av Mike Hinchey, Bernhard Steffen
Häftad, 2024
847 kr
Lägg i varukorg
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for …
Combined Power of Research, Education, and Dissemination
Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Av Bernhard Steffen, Mike Hinchey
E-bok, 2024
1067 kr
Lägg i varukorg
Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable functionalities in software and systems, with building blocks and MDD, and she strives for …
Autonomy Requirements Engineering for Space Missions
Inbunden, 2014
1127 kr
Lägg i varukorg
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 …
Autonomy Requirements Engineering for Space Missions
E-bok, 2014
1470 kr
Lägg i varukorg
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 …
Nature of Computation and Communication
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
Av Phan Cong Vinh, Emil Vassev m. fl.
Häftad, 2015
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over …
Nature of Computation and Communication
International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
Av Mike Hinchey, Emil Vassev m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over …
Autonomy Requirements Engineering for Space Missions
Häftad, 2016
1127 kr
Lägg i varukorg
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 …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Inbunden, 2017
1127 kr
Lägg i varukorg
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 …
Provably Correct Systems
Av Ernst-Rudiger Olderog, Jonathan P. Bowen m. fl.
E-bok, 2017
1502 kr
Lägg i varukorg
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 …
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Av Bernhard Steffen, Christel Baier m. fl.
Häftad, 2017
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. …
SOFSEM 2017: Theory and Practice of Computer Science
43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Av Tiziana Margaria, Mike Hinchey m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. …
Provably Correct Systems
Av Mike Hinchey, Jonathan P. Bowen m. fl.
Häftad, 2018
1127 kr
Lägg i varukorg
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 …
Innovative Concepts for Agent-Based Systems
First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
Av Walt Truszkowski, Chris Rouff m. fl.
Häftad, 2003
551 kr
Lägg i varukorg
This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16–18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as …
Innovative Concepts for Agent-Based Systems
First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers
Av Mike Hinchey, Chris Rouff m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
This collection represents the proceedings of the 1st GSFC/JPL Workshop on Radical Agent Concepts (WRAC), which was held on 16–18 January, 2002 at the Science Applications International Corporation (SAIC) Conference Center in McLean, VA, USA. Over the past few years, agent technologyhas emerged as …
Distributed, Parallel and Biologically Inspired Systems
7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Mike Hinchey, Bernd Kleinjohann m. fl.
Inbunden, 2010
567 kr
Lägg i varukorg
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 …
Distributed, Parallel and Biologically Inspired Systems
7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Marilyn Wolf, Jon Timmis m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
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 …
Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Av George Eleftherakis, Mike Hinchey m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
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 …
Software Engineering and Formal Methods
10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Av Mike Holcombe, Mike Hinchey m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
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 …
Distributed, Parallel and Biologically Inspired Systems
7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Av Mike Hinchey, Bernd Kleinjohann m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
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 …
Applications of Networks, Sensors and Autonomous Systems Analytics
Proceedings of ICANSAA 2020
Av Jyotsna Kumar Mandal, Mike Hinchey m. fl.
Inbunden, 2021
3595 kr
Lägg i varukorg
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 …
Applications of Networks, Sensors and Autonomous Systems Analytics
Proceedings of ICANSAA 2020
Av Papun Biswas, Sabyasachi Sen m. fl.
E-bok, 2021
3251 kr
Lägg i varukorg
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 …
