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
21 Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings Michael. Butler 2007 Engelska
22 Conquering complexity electronic resource c2012 Engelska
23 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
24 Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings George. Eleftherakis 2012 Engelska
25 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
26 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
27 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
28-29 Formal Approaches to Agent-Based Systems (flera utgåvor) Michael G. (Michael Gerard) Hinchey 2005 Engelska
30 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
31 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
32 Agent Technology from a Formal Perspective electronic resource Christopher A. Rouff 2006 Engelska
33 Experience from the DARPA Urban Challenge Christopher. Rouff 2012 Engelska
34 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
35 ZUM '95 - the Z formal specification notation : proceedings International Conference of Z Users 1995) Limerick : cop. 1995 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.