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: Michael Huth 21 träffar

Titel Författare År Språk
1 Tools and Algorithms for the Construction and Analysis of Systems electronic resource - 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal Orna. Grumberg 2007 Engelska
2-4 Logic in computer science - modelling and reasoning about systems (flera utgåvor) Michael Huth 2004 Engelska
5-6 Secure communicating systems - design, analysis, and implementation (flera utgåvor) Michael Huth cop. 2001 Engelska
7 Risikomanagement der Gefahrgutbeförderung : Einsatzpotential Eines GIS-Basierten Entscheidungsunterstützungssystems / Michael Huth Michael Huth uuuu-uuuu Okänt
8 Secure Communicating Systems: Design, Analysis, and Implementation Michael Huth 2001 Okänt
9-10 Secure communicating systems : design, analysis, and implementation / Michael R A Huth. electronic resource (flera utgåvor) Michael Huth uuuu-uuuu Okänt
11 Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings Michael. Huth 2013 Engelska
12 Wiley-schnellkurs logistik / Michael Huth Michael Huth uuuu-uuuu Okänt
13 Logic in Computer Science - Modelling and Reasoning about Systems 2004 Engelska
14 Moby Dick - das Gasthaus zum blasenden Wal = The Spouter-Inn, Das Weisse des Wales = The Whiteness of the Whale Herman Melville 2004 Tyska
15 Logic in Computer Science: Modelling and Reasoning about Systems Michael Huth 2004 Okänt
16 Trust and Trustworthy Computing Michael Huth 2013 Okänt
17 Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings Orna Grumberg 2007 Okänt
18 Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches Bernhard. Steffen 2018 Engelska
19 Mathematical Foundations of Advanced Informatics: Inductive Approaches Bernhard Steffen 2018 Okänt
20 Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World 2023 Okänt

1 2 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.