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 Mitchell 485 träffar

Titel Författare År Språk
221 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
222 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
223 Information Visualization electronic resource - Human-Centered Issues and Perspectives David. Hutchison 2008 Engelska
224 Semantic Web, Ontologies and Databases electronic resource - VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
225 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
226 Fast Software Encryption electronic resource - 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers David. Hutchison 2008 Engelska
227 Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings David. Hutchison 2008 Engelska
228 Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics David. Hutchison 2008 Engelska
229 Reflections on the Teaching of Programming - Methods and Implementations David. Hutchison 2008 Engelska
230 Reconfigurable Computing: Architectures, Tools and Applications - 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings David. Hutchison 2008 Engelska
231 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
232 Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings David. Hutchison 2008 Engelska
233 Information Security and Cryptology - Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
234 Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings David. Hutchison 2008 Engelska
235 Medical Imaging and Augmented Reality - 4th International Workshop Tokyo, Japan, August 1-2, 2008 Proceedings David. Hutchison 2008 Engelska
236 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
237 GeoSensor Networks - Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers David. Hutchison 2008 Engelska
238 Computer Music Modeling and Retrieval. Sense of Sounds - 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers David. Hutchison 2008 Engelska
239 Cryptographic Hardware and Embedded Systems – CHES 2008 - 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings David. Hutchison 2008 Engelska
240 Transactions on Rough Sets VIII David. Hutchison 2008 Engelska

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