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.