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
21 Algebraic Methodology and Software Technology - 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings David. Hutchison 2008 Engelska
22 Algorithms and Models for the Web-Graph - Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers David. Hutchison 2008 Engelska
23 Algorithms - ESA 2008 - 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings David. Hutchison 2008 Engelska
24 Ambient Intelligence - European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings David. Hutchison 2008 Engelska
25 Ant Colony Optimization and Swarm Intelligence - 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings David. Hutchison 2008 Engelska
26 Applications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers David. Hutchison 2008 Engelska
27 Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques - 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings David. Hutchison 2008 Engelska
28 Architecting Dependable Systems V David. Hutchison 2008 Engelska
29 Arithmetic of Finite Fields electronic resource - 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings David. Hutchison 2008 Engelska
30 Articulated Motion and Deformable Objects electronic resource - 5th International Conference, AMDO 2008, Port d’Andratx, Mallorca, Spain, July 9-11, 2008. Proceedings David. Hutchison 2008 Engelska
31 Artificial Immune Systems - 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings David. Hutchison 2008 Engelska
32-33 Artificial Neural Networks - ICANN 2008 - 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I (flera utgåvor) David. Hutchison 2008 Engelska
34-35 Automata, Languages and Programming electronic resource - 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I (flera utgåvor) David. Hutchison 2008 Engelska
36 Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings David. Hutchison 2008 Engelska
37 Balancing Agility and Formalism in Software Engineering - Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers David. Hutchison 2008 Engelska
38 Biomedical Simulation electronic resource - 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings David. Hutchison 2008 Engelska
39 Business Process Management - 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings David. Hutchison 2008 Engelska
40 Cellular Automata - 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 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.