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
181 Software Technologies for Embedded and Ubiquitous Systems - 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings David. Hutchison 2008 Engelska
182 Stabilization, Safety, and Security of Distributed Systems - 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings David. Hutchison 2008 Engelska
183 Static Analysis electronic resource - 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings David. Hutchison 2008 Engelska
184 String Processing and Information Retrieval - 15th International Symposium, SPIRE 2008, Melbourne, Australia, November 10-12, 2008. Proceedings David. Hutchison 2009 Engelska
185 Theorem Proving in Higher Order Logics electronic resource - 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings David. Hutchison 2008 Engelska
186 Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings David. Hutchison 2008 Engelska
187 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
188 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
189 Transactions on Computational Science II David. Hutchison 2008 Engelska
190 Transactions on Rough Sets VIII David. Hutchison 2008 Engelska
191 Trust, Privacy and Security in Digital Business - 5th International Conference, TrustBus 2008 Turin, Italy, September 4-5, 2008 Proceedings David. Hutchison 2008 Engelska
192 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
193 Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings David. Hutchison 2008 Engelska
194 Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings David. Hutchison 2008 Engelska
195 Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics David. Hutchison 2008 Engelska
196 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
197 Visualization for Computer Security - 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings David. Hutchison 2008 Engelska
198 Web Information Systems Engineering - WISE 2008 - 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings David. Hutchison 2008 Engelska
199 Web Information Systems Engineering – WISE 2008 Workshops - WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings David. Hutchison 2008 Engelska
200 Web Reasoning and Rule Systems - Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 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.