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: John C. Mitchell 209 träffar

Titel Författare År Språk
41 Articulated Motion and Deformable Objects electronic resource - 5th International Conference, AMDO 2008, Port d’Andratx, Mallorca, Spain, July 9-11, 2008. Proceedings David. Hutchison 2008 Engelska
42 Biomedical Simulation electronic resource - 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings David. Hutchison 2008 Engelska
43 Digital Mammography electronic resource - 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings David. Hutchison 2008 Engelska
44 Computers Helping People with Special Needs electronic resource - 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings David. Hutchison 2008 Engelska
45 Detection of Intrusions and Malware, and Vulnerability Assessment electronic resource - 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings David. Hutchison 2008 Engelska
46 Computer Aided Verification electronic resource - 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings David. Hutchison 2008 Engelska
47 Embedded Computer Systems: Architectures, Modeling, and Simulation electronic resource - 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings David. Hutchison 2008 Engelska
48 Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support electronic resource - Results of the IMPROVE Project David. Hutchison 2008 Engelska
49 Data and Applications Security XXII electronic resource - 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings David. Hutchison 2008 Engelska
50 Interactive Systems. Design, Specification, and Verification electronic resource - 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers David. Hutchison 2008 Engelska
51-52 Automata, Languages and Programming electronic resource - 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I (flera utgåvor) David. Hutchison 2008 Engelska
53 Computer-Human Interaction electronic resource - 8th Asia-Pacific Conference, APCHI 2008 Seoul, Korea, July 6-9, 2008 Proceedings David. Hutchison 2008 Engelska
54 Resilient Networks and Services electronic resource - Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings David. Hutchison 2008 Engelska
55 Rewriting Techniques and Applications electronic resource - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings David. Hutchison 2008 Engelska
56 ECOOP 2008 – Object-Oriented Programming electronic resource - 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings David. Hutchison 2008 Engelska
57 Mathematics of Program Construction electronic resource - 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings David. Hutchison 2008 Engelska
58 Privacy Enhancing Technologies electronic resource - 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings David. Hutchison 2008 Engelska
59 Implementation and Applications of Automata electronic resource - 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings David. Hutchison 2008 Engelska
60 Model-Driven Development of Reliable Automotive Services electronic resource - Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers David. Hutchison 2008 Engelska

Förra sidan 1 2 3 4 5 6 7 8 9 10 11 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.