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-3 Logic in computer science - modelling and reasoning about systems (flera utgåvor) Michael Huth 2004 Engelska
4-5 Secure communicating systems - design, analysis, and implementation (flera utgåvor) Michael Huth cop. 2001 Engelska
6 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
7 Moby Dick - das Gasthaus zum blasenden Wal = The Spouter-Inn, Das Weisse des Wales = The Whiteness of the Whale Herman Melville 2004 Tyska
8 Globular clusters Michael Heriot Huth. Walters 1935 Engelska
9 Logic in Computer Science - Modelling and Reasoning about Systems 2004 Engelska
10 Trust and Trustworthy Computing - 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings Michael. Huth 2013 Engelska
11 Secure Communicating Systems: Design, Analysis, and Implementation Michael Huth 2001 Okänt
12 Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches Bernhard. Steffen 2018 Engelska
13 Mathematical foundations of advanced informatics - volume 1 - inductive appr Michael Huth 2018 Engelska
14 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
15 Trust and Trustworthy Computing Michael Huth 2013 Okänt
16-17 Secure communicating systems : design, analysis, and implementation / Michael R A Huth. electronic resource (flera utgåvor) Michael Huth uuuu-uuuu Okänt
18 Supply Chain Resilience: Reconceptualizing Risk Management in a Post-Pandemic World 2023 Okänt
19 Mathematical Foundations of Advanced Informatics: Inductive Approaches Bernhard Steffen 2018 Okänt
20 Wiley-schnellkurs logistik / Michael Huth Michael Huth uuuu-uuuu 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.