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: Erika Abraham 16 träffar

Titel Författare År Språk
1 Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings Erika. Ábrahám 2014 Engelska
2 Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers 2023 Okänt
3 Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Erika. Ábrahám 2014 Engelska
4 Preparing HPC Applications for Exascale - Challenges and Recommendations Erika Abraham 2015 Engelska
5 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Engelska
6 Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 Engelska
7 Formal Techniques for Distributed Objects, Components, and Systems Erika Ábrahám 2014 Okänt
8 Theoretical Aspects of Computing – ICTAC 2023 electronic resource : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings / edited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa Erika. Ábrahám uuuu-uuuu Okänt
9 Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings Erika. Ábrahám uuuu-uuuu Okänt
10-11 Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings (flera utgåvor) Erika. Ábrahám uuuu-uuuu Okänt
12 Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat 2023 Engelska
13 Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings Erika. Ábrahám 2023 Engelska
14 Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings 2023 Okänt
15 Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings Erika. Ábrahám 2024 Engelska
16 Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings 2014 Okänt

1

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.