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
19 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Preparing HPC Applications for Exascale - Challenges and Recommendations
|
Erika Abraham
|
2015 |
Engelska |
| 2 |
Formal Techniques for Distributed Objects, Components, and Systems
|
Erika Ábrahám
|
2014 |
Okänt |
| 3 |
Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
|
|
2023 |
Okänt |
| 4 |
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
|
Hossein. Hojjat
|
2023 |
Engelska |
| 5 |
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
|
|
2016 |
Engelska |
| 6 |
Integrated Formal Methods
|
|
2016 |
Okänt |
| 7 |
Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
|
|
2022 |
Okänt |
| 8 |
Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
|
|
2023 |
Okänt |
| 9 |
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
|
|
2016 |
Engelska |
| 10 |
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
|
|
2016 |
Okänt |
| 11 |
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 |
| 12 |
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 |
| 13-14 |
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 |
| 15 |
Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
|
Erika. Ábrahám
|
uuuu-uuuu |
Okänt |
| 16 |
Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
|
Erika. Ábrahám
|
2024 |
Engelska |
| 17 |
Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
|
Erika. Ábrahám
|
2023 |
Engelska |
| 18 |
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 |
| 19 |
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 |
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.