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: Bernhard Steffen 266 träffar

Titel Författare År Språk
41-42 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
43-44 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
45 Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings David. Hutchison 2008 Engelska
46 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
47 Biomedical Simulation electronic resource - 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings David. Hutchison 2008 Engelska
48 Business Process Management - 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings David. Hutchison 2008 Engelska
49 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
50 Central European Functional Programming School - Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures David. Hutchison 2008 Engelska
51 Challenges for Next Generation Network Operations and Service Management - 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings David. Hutchison 2008 Engelska
52 Changing Television Environments electronic resource - 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings David. Hutchison 2008 Engelska
53 Coding Theory and Applications - Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. Proceedings David. Hutchison 2008 Engelska
54 Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support electronic resource - Results of the IMPROVE Project David. Hutchison 2008 Engelska
55 Combinatorial Optimization and Applications - Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings David. Hutchison 2008 Engelska
56 The Common Component Modeling Example - Comparing Software Component Models David. Hutchison 2008 Engelska
57 Component-Based Software Engineering - 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings David. Hutchison 2008 Engelska
58 Computational Forensics - Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008. Proceedings David. Hutchison 2008 Engelska
59 Computational Geometry and Graph Theory - International Conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007. Revised Selected Papers David. Hutchison 2008 Engelska
60 Computer Aided Verification electronic resource - 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings David. Hutchison 2008 Engelska

Förra sidan 1 2 3 4 5 6 7 8 9 10 11 12 13 14 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.