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 34 träffar

Titel Författare År Språk
1 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
2 Experience from the DARPA Urban Challenge Christopher Rouff 2012 Engelska
3 Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings George Eleftherakis 2012 Okänt
4 Autonomy Requirements Engineering for Space Missions Emil. Vassev 2014 Engelska
5 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
6-7 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
8 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
9 Provably Correct Systems 2017 Engelska
10 Experience from the DARPA Urban Challenge 2012 Okänt
11 SOFSEM 2017: Theory and Practice of Computer Science 2017 Okänt
12 Provably Correct Systems 2017 Okänt
13 Conquering Complexity 2012 Okänt
14 Nature of Computation and Communication: International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers 2015 Okänt
15 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
16 Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday Mike. Hinchey 2024 Engelska
17 ZUM '95 - the Z formal specification notation : proceedings International Conference of Z Users 1995) Limerick : cop. 1995 Engelska
18 Proceedings, sventh IEEE international conference om engineering of complex computer systems (ICECCS 2001), Skövde, Sweden, 11-13 June 2001 IEEE International conference on Engineering of complex computer systems 2001 Engelska
19 Innovative concepts for agent-based systems. - first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers Va.) International Workshop on Radical Agent Concepts 2002 : McLean 2003 Engelska
20 Formal approaches to agent-based systems. - second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers Md.) FAABS 2002 (2002 : Greenbelt 2003 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.