Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Mike. Hinchey
35 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Autonomy Requirements Engineering for Space Missions
|
Mike Emil Vassev
|
2014 |
Engelska |
| 2 |
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
|
|
2008 |
Okänt |
| 3 |
Conquering Complexity
|
|
2012 |
Okänt |
| 4 |
Experience from the DARPA Urban Challenge
|
|
2012 |
Okänt |
| 5 |
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
|
George Eleftherakis
|
2012 |
Okänt |
| 6 |
Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
|
Mike. Hinchey
|
2024 |
Engelska |
| 7-8 |
The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday / edited by Mike Hinchey, Bernhard Steffen
(flera utgåvor)
|
Mike. Hinchey
|
uuuu-uuuu |
Okänt |
| 9 |
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
|
Mike Hinchey
|
2010 |
Okänt |
| 10 |
Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
|
|
2015 |
Okänt |
| 11 |
Provably Correct Systems
|
|
2017 |
Engelska |
| 12 |
Provably Correct Systems
|
|
2017 |
Okänt |
| 13 |
Experience from the DARPA Urban Challenge
|
Christopher Rouff
|
2012 |
Engelska |
| 14 |
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
|
|
2017 |
Engelska |
| 15 |
SOFSEM 2017: Theory and Practice of Computer Science
|
|
2017 |
Okänt |
| 16 |
Autonomy Requirements Engineering for Space Missions
|
Emil. Vassev
|
2014 |
Engelska |
| 17 |
Autonomy Requirements Engineering for Space Missions
|
Emil Vassev
|
2014 |
Okänt |
| 18 |
Nature of Computation and Communication - International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
|
Phan Cong. Vinh
|
2015 |
Engelska |
| 19 |
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
|
Italy) IFIP International Conference on Biologically Inspired Computing 2008 : Milan
|
cop. 2008 |
Engelska |
| 20 |
Formal Methods and Software Engineering
|
Michael. Butler
|
2007 |
Engelska |
1
2
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.