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

Titel Författare År Språk
181 Rewriting Techniques and Applications electronic resource - 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings David. Hutchison 2008 Engelska
182 ECOOP 2008 – Object-Oriented Programming electronic resource - 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings David. Hutchison 2008 Engelska
183 Mathematics of Program Construction electronic resource - 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings David. Hutchison 2008 Engelska
184 Privacy Enhancing Technologies electronic resource - 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings David. Hutchison 2008 Engelska
185 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
186 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
187 Information Visualization electronic resource - Human-Centered Issues and Perspectives David. Hutchison 2008 Engelska
188 Semantic Web, Ontologies and Databases electronic resource - VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
189 Adaptive Hypermedia and Adaptive Web-Based Systems electronic resource - 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings David. Hutchison 2008 Engelska
190 Fast Software Encryption electronic resource - 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers David. Hutchison 2008 Engelska
191 Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings David. Hutchison 2008 Engelska
192 Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics David. Hutchison 2008 Engelska
193 Reflections on the Teaching of Programming - Methods and Implementations David. Hutchison 2008 Engelska
194 Reconfigurable Computing: Architectures, Tools and Applications - 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings David. Hutchison 2008 Engelska
195 Algorithms and Models for the Web-Graph - Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers David. Hutchison 2008 Engelska
196 Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings David. Hutchison 2008 Engelska
197 Information Security and Cryptology - Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
198 Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings David. Hutchison 2008 Engelska
199 Medical Imaging and Augmented Reality - 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings David. Hutchison 2008 Engelska
200 Cellular Automata - 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings David. Hutchison 2008 Engelska

Förra sidan 10 11 12 13 14 15 16 17 18 19 20 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.