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
241 SOFSEM 2017: Theory and Practice of Computer Science 2017 Okänt
242 Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings Bernhard. Steffen 2024 Engelska
243 Bridging the Gap Between AI and Reality electronic resource : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / edited by Bernhard Steffen Bernhard. Steffen uuuu-uuuu Okänt
244 Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings Bernhard. Steffen 2024 Engelska
245 Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings Bernhard. Steffen 2025 Engelska
246 Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings Bernhard. Steffen uuuu-uuuu Okänt
247 Bridging the Gap Between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings / edited by Bernhard Steffen Bernhard. Steffen uuuu-uuuu Okänt
248 Hofmanns und Ritschls Lehren über die Heilsbedeutugn des Todes Jesu - Diss. Halle. Bernhard Steffen 1911 Tyska
249 Hofmanns und Ritschls Lehren über die Heilsbedeutung des Todes Jesu Bernhard Steffen 1910 Tyska
250 Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches Bernhard. Steffen 2018 Engelska
251 Mathematical Foundations of Advanced Informatics: Inductive Approaches Bernhard Steffen 2018 Okänt
252 Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers Denmark) TACAS '95 (1995 : Århus TACAS '95 1995 Engelska
253 Tools and Algorithms for the Construction and Analysis of Systems - Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings TACAS '96 TACAS '96 1996 Engelska
254 Leveraging Applications of Formal Methods Tiziana Margaria 2006 Okänt
255 Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Tiziana Margaria 2012 Okänt
256 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I Tiziana Margaria 2024 Engelska
257 Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Tiziana Margaria 2014 Okänt
258 Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Tiziana Margaria 2012 Okänt
259-260 Tools and algorithms for the construction an analysis of aystems (flera utgåvor) International Conference on Tools and Algorithms for the Constructions and Analysis of Systems 1998) Lisboa : cop. 1998 Engelska

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.