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

Titel Författare År Språk
181 Stabilization, Safety, and Security of Distributed Systems - 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings David. Hutchison 2008 Engelska
182 Static Analysis electronic resource - 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
183 String Processing and Information Retrieval - 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings David. Hutchison 2009 Engelska
184 Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings David. Hutchison 2008 Engelska
185 Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings David. Hutchison 2008 Engelska
186 Theory of Quantum Computation, Communication, and Cryptography - Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers David. Hutchison 2008 Engelska
187 Times of Convergence. Technologies Across Learning Contexts - Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings David. Hutchison 2008 Engelska
188 Transactions on Computational Science II David. Hutchison 2008 Engelska
189 Transactions on Rough Sets VIII David. Hutchison 2008 Engelska
190 Trust, Privacy and Security in Digital Business - 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings David. Hutchison 2008 Engelska
191 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
192 Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings David. Hutchison 2008 Engelska
193 Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings David. Hutchison 2008 Engelska
194 Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics David. Hutchison 2008 Engelska
195 Visual Information Systems. Web-Based Visual Information Search and Management - 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008. Proceedings David. Hutchison 2008 Engelska
196 Visualization for Computer Security - 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings David. Hutchison 2008 Engelska
197 Web Information Systems Engineering - WISE 2008 - 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings David. Hutchison 2008 Engelska
198 Web Information Systems Engineering – WISE 2008 Workshops - WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings David. Hutchison 2008 Engelska
199 Web Reasoning and Rule Systems - Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings David. Hutchison 2008 Engelska
200 Wireless Algorithms, Systems, and Applications - Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings David. Hutchison 2008 Engelska

Förra sidan 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.