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
21 Central European Functional Programming School - Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures David. Hutchison 2008 Engelska
22 Graphics Recognition. Recent Advances and New Opportunities - 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers David. Hutchison 2008 Engelska
23 Semantics in Data and Knowledge Bases - Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers David. Hutchison 2008 Engelska
24 Computer Vision – ECCV 2008 - 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I David. Hutchison 2008 Engelska
25 Provable Security - Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings David. Hutchison 2008 Engelska
26 Smart Sensing and Context - Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008. Proceedings David. Hutchison 2008 Engelska
27 String Processing and Information Retrieval - 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings David. Hutchison 2009 Engelska
28 Motion in Games - First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008. Revised Papers David. Hutchison 2008 Engelska
29 Runtime Verification - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers David. Hutchison 2008 Engelska
30 Advanced Web and NetworkTechnologies, and Applications - APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers David. Hutchison 2008 Engelska
31 Provenance and Annotation of Data and Processes - Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers David. Hutchison 2008 Engelska
32 Theoretical Aspects of Computer Software International Symposium TACS 1994 Engelska
33 High Confidence Software Reuse in Large Systems electronic resource - 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings David. Hutchison 2008 Engelska
34 Trusted Computing - Challenges and Applications electronic resource - First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings David. Hutchison 2008 Engelska
35 Static Analysis electronic resource - 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
36 A Practical Programming Model for the Multi-Core Era electronic resource - 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings David. Hutchison 2008 Engelska
37 Scientific and Statistical Database Management electronic resource - 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings David. Hutchison 2008 Engelska
38 Changing Television Environments electronic resource - 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings David. Hutchison 2008 Engelska
39 Arithmetic of Finite Fields electronic resource - 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings David. Hutchison 2008 Engelska
40 Image and Signal Processing electronic resource - 3rd International Conference, ICISP 2008 Cherbourg-Octeville, France, July 1-3, 2008 Proceedings 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.