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: Madhu Sudan 207 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 Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems Madhu Sudan 1995 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.