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 212 träffar

Titel Författare År Språk
141 Parallel Problem Solving from Nature – PPSN X - 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings David. Hutchison 2008 Engelska
142 Post-Quantum Cryptography - Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings David. Hutchison 2008 Engelska
143 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
144 Principles and Practice of Constraint Programming - 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings David. Hutchison 2008 Engelska
145 Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks - Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers David. Hutchison 2008 Engelska
146 Privacy Enhancing Technologies electronic resource - 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings David. Hutchison 2008 Engelska
147 Privacy in Statistical Databases - UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings David. Hutchison 2008 Engelska
148 Progress in Pattern Recognition, Image Analysis and Applications - 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings David. Hutchison 2008 Engelska
149 Provable Security - Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings David. Hutchison 2008 Engelska
150 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
151 Quality of Software Architectures. Models and Architectures - 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings David. Hutchison 2008 Engelska
152 Reasoning Web - 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures David. Hutchison 2008 Engelska
153 Recent Advances in Intrusion Detection - 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings David. Hutchison 2008 Engelska
154 Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings David. Hutchison 2008 Engelska
155 Reconfigurable Computing: Architectures, Tools and Applications - 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings David. Hutchison 2008 Engelska
156 Reflections on the Teaching of Programming - Methods and Implementations David. Hutchison 2008 Engelska
157 Reliable Implementation of Real Number Algorithms: Theory and Practice - International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers David. Hutchison 2008 Engelska
158 Research and Advanced Technology for Digital Libraries - 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings David. Hutchison 2008 Engelska
159 Research in Cryptology - Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
160 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

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.