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
201 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
202 Unconventional Computing - 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings David. Hutchison 2008 Engelska
203 Verified Software: Theories, Tools, Experiments - Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings David. Hutchison 2008 Engelska
204 Visual Data Mining electronic resource - Theory, Techniques and Tools for Visual Analytics David. Hutchison 2008 Engelska
205 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
206 Visualization for Computer Security - 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings David. Hutchison 2008 Engelska
207 Web Information Systems Engineering - WISE 2008 - 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings David. Hutchison 2008 Engelska
208 Web Information Systems Engineering – WISE 2008 Workshops - WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings David. Hutchison 2008 Engelska
209 Web Reasoning and Rule Systems - Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings David. Hutchison 2008 Engelska
210 Wireless Algorithms, Systems, and Applications - Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings David. Hutchison 2008 Engelska
211 Wireless Systems and Mobility in Next Generation Internet - 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January 16-18, 2008 Revised Selected Papers David. Hutchison 2008 Engelska
212 Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers Reiner. Hähnle 2012 Engelska
213 Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings 2010 Okänt
214 Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III 2022 Okänt
215 Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III 2020 Okänt
216 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 Engelska
217 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 2016 Okänt
218 Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II 2020 Okänt
219 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I 2016 Engelska
220 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 2016 Okänt

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