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. Ábrahám 11 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 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
3 Preparing HPC Applications for Exascale - Challenges and Recommendations Erika Abraham 2015 Engelska
4 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Engelska
5 Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings 2016 Engelska
6 Formal Techniques for Distributed Objects, Components, and Systems Erika Ábrahám 2014 Okänt
7-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 (flera utgåvor) Erika. Ábrahám uuuu-uuuu Okänt
9-10 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
11 Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings 2023 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.