Mike Hinchey

Identifiers

Open LibraryOL7558223A

Top Subjects

Computer science (2)
Software engineering (2)
Instructional systems (1)
Embedded computer systems (1)
Parallel processing (electronic computers) (1)
Computer Science, general (1)
System design (1)

Books by Mike Hinchey

Total count: 16

Understanding Formal Methods

Springer Nature2003-01-01
Innovative Concepts for Agent-Based SystemsFirst International Workshop on Radical Agent Concepts, WRAC 2002, Mclean, VA, USA, January 16-18, 2002. Revised Papers

Springer London, Limited2006-01-01
Distributed, Parallel and Biologically Inspired Systems7th 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

Springer2010-01-01
Biologically-Inspired Collaborative Computing

Springer2010-11-19
Conquering Complexity

Springer London2012-01-01
Software Engineering and Formal Methods10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Springer Berlin / Heidelberg2012-01-01
Autonomy Requirements Engineering for Space Missions

Springer2014-01-01
Nature of Computation and CommunicationInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

Springer2015-01-01
SOFSEM 2017 : Theory and Practice of Computer Science43rd International Conference on Current Trends in Theory and Practice of Computer Science, ...

Springer2017-01-11
Provably Correct Systems

Springer2017-03-02
Software Technology10 Years of Innovation in IEEE Computer

IEEE Computer Society Press2018-01-01
Industry 4. 0Managing Digital Transformation Using Disruptive Technologies

Elsevier Science & Technology Books2021-01-01
Applications of Networks, Sensors and Autonomous Systems AnalyticsProceedings of ICANSAA 2020

Springer Singapore Pte. Limited2022-01-01
Innovations in Signal Processing and Embedded SystemsProceedings of ICISPES 2021

Springer2022-01-01
Combined Power of Research, Education, and DisseminationEssays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Springer2024-01-01
Recent Advances in Artificial Intelligence and Smart ApplicationsProceedings of RAAISA 2023

Springer2024-01-01