Hinchey, Mike books & textbook
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Programming and Software Engineering)
Eleftherakis, George Hinchey, Mike Holcombe, Mike
Springer /2012-08-28 Paperback / 398 Pages
isbn-10: 3642338259 / isbn-13: 9783642338250
Innovative Concepts for Agent-Based Systems: First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. ... (Lecture Notes in Computer Science, 2564)
Truszkowski, Walt Rouff, Chris Hinchey, Mike
Springer /2003-08-21 Paperback / 492 Pages
isbn-10: 3540407251 / isbn-13: 9783540407256
Autonomy Requirements Engineering for Space Missions (NASA Monographs in Systems and Software Engineering)
Springer /2014-09-09 Hardcover / 267 Pages
isbn-10: 3319098152 / isbn-13: 9783319098159
Recent Advances in Artificial Intelligence and Smart Applications: Proceedings of RAAISA 2023 (Innovations in Sustainable Technologies and Computing)
Mandal, Jyotsna Kumar Hinchey, Mike Chakrabarti, Satyajit
Springer /2024-09-22 Hardcover / 306 Pages
isbn-10: 9819734843 / isbn-13: 9789819734849
Innovations in Signal Processing and Embedded Systems: Proceedings of ICISPES 2021 (Algorithms for Intelligent Systems)
Mandal, Jyotsna Kumar Hinchey, Mike Rao, K. Sreenivas
Springer /2023-09-15 Paperback / 512 Pages
isbn-10: 9811916713 / isbn-13: 9789811916717
Applications of Networks, Sensors and Autonomous Systems Analytics: Proceedings of ICANSAA 2020 (Studies in Autonomic, Data-driven and Industrial Computing)
Mandal, Jyotsna Kumar Hinchey, Mike Sen, Sabyasachi Biswas, Papun
Springer /2022-11-29 Paperback / 386 Pages
isbn-10: 9811673071 / isbn-13: 9789811673078
Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, ... and Communication Technology, 329)
Hinchey, Mike Kleinjohann, Bernd Kleinjohann, Lisa Lindsay, Peter Rammig, Franz J. Timmis, Jon Wolf, Marilyn
Springer /2014-11-20 Paperback / 316 Pages
isbn-10: 3642422926 / isbn-13: 9783642422928
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger
Springer /2018-05-03 Paperback / 343 Pages
isbn-10: 3319839802 / isbn-13: 9783319839806
SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, ... Computer Science and General Issues)
Steffen, Bernhard Baier, Christel van den Brand, Mark Eder, Johann Hinchey, Mike Margaria, Tiziana
Springer /2017-01-11 Paperback / 544 Pages
isbn-10: 331951962X / isbn-13: 9783319519623
Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected ... and Telecommunications Engineering, 144)
Vinh, Phan Cong Vassev, Emil Hinchey, Mike
Springer /2015-02-06 Paperback / 384 Pages
isbn-10: 3319153919 / isbn-13: 9783319153919
