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
21-22 Formal Approaches to Agent-Based Systems (flera utgåvor) Michael G. (Michael Gerard) Hinchey 2005 Engelska
23-24 Formal Methods and Software Engineering (flera utgåvor) Michael. Butler 2007 Engelska
25 Biologically-Inspired Collaborative Computing electronic resource - IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8–9, 2008, Milano, Italy Michael G. (Michael Gerard) Hinchey 2008 Engelska
26 Agent Technology from a Formal Perspective electronic resource Christopher A. Rouff 2006 Engelska
27 Innovative Concepts for Autonomic and Agent-Based Systems electronic resource - Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers Michael G. (Michael Gerard) Hinchey 2006 Engelska
28 Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems - With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems Walt. Truszkowski 2009 Engelska
29 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 Michael G. (Michael Gerard) Hinchey 2010 Engelska
30 Conquering complexity electronic resource c2012 Engelska
31 Experience from the DARPA Urban Challenge Christopher. Rouff 2012 Engelska
32 Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings George. Eleftherakis 2012 Engelska
33 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 Qld.) TC10 Working Conference on Distributed and Parallel Embedded Systems 2010 : Brisbane cop. 2010 Engelska
34 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

Förra sidan 1 2

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.