Search Results for Hinchey, Mike.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHinchey$00252C$002bMike.$0026ps$003d300?dt=list
2026-06-01T15:11:23Z
Provably Correct Systems
ent://SD_ILS/0/SD_ILS:616382
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conquering Complexity
ent://SD_ILS/0/SD_ILS:173412
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Mike. editor. Coyle, Lorcan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2297-5">http://dx.doi.org/10.1007/978-1-4471-2297-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:605669
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192904
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:164734
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Mike. editor. Pagnoni, Anastasia. editor. Rammig, Franz J. editor. Schmeck, Hartmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09655-1">http://dx.doi.org/10.1007/978-0-387-09655-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Requirements Engineering for Space Missions
ent://SD_ILS/0/SD_ILS:485641
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09816-6">https://doi.org/10.1007/978-3-319-09816-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experience from the DARPA Urban Challenge
ent://SD_ILS/0/SD_ILS:168593
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Rouff, Christopher. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-772-3">http://dx.doi.org/10.1007/978-0-85729-772-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Artificial Intelligence and Smart Applications Proceedings of RAAISA 2024
ent://SD_ILS/0/SD_ILS:609907
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Mandal, Jyotsna K. editor. (orcid)0000-0001-9447-647X Hinchey, Mike. editor. Chakrabarti, Satyajit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-5822-0">https://doi.org/10.1007/978-981-96-5822-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Artificial Intelligence and Smart Applications Proceedings of RAAISA 2023
ent://SD_ILS/0/SD_ILS:605272
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Hinchey, Mike. editor. Chakrabarti, Satyajit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-3485-6">https://doi.org/10.1007/978-981-97-3485-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Signal Processing and Embedded Systems Proceedings of ICISPES 2021
ent://SD_ILS/0/SD_ILS:528283
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Mandal, Jyotsna Kumar. editor. Hinchey, Mike. editor. Rao, K. Sreenivas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-1669-4">https://doi.org/10.1007/978-981-19-1669-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:613073
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197437
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software technology : 10 years of innovation in IEEE Computer
ent://SD_ILS/0/SD_ILS:594575
2026-06-01T15:11:23Z
2026-06-01T15:11:23Z
Author Hinchey, Michael G. (Michael Gerard), 1969- editor.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>