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: Michael G. Hinchey 31 träffar

Titel Författare År Språk
1 Applications of formal methods cop. 1995 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 Italy) IFIP International Conference on Biologically Inspired Computing 2008 : Milan cop. 2008 Engelska
3 High-integrity system specification and design Jonathan P. Bowen cop. 1999 Engelska
4-5 Formal Methods and Software Engineering (flera utgåvor) Michael. Butler 2007 Engelska
6 Conquering complexity electronic resource c2012 Engelska
7 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
8 Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings George. Eleftherakis 2012 Engelska
9 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
10 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
11 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
12-13 Formal Approaches to Agent-Based Systems (flera utgåvor) Michael G. (Michael Gerard) Hinchey 2005 Engelska
14 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
15 ICFEM 2000 - Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000 England) IEEE International Conference on Formal Engineering Methods 2000 : York c2000 Engelska
16 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
17 Industrial-strength formal methods in practice c1999 Engelska
18 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
19 Agent Technology from a Formal Perspective electronic resource Christopher A. Rouff 2006 Engelska
20 Experience from the DARPA Urban Challenge Christopher. Rouff 2012 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.