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: Mohammad Reza Mousavi 32 träffar

Titel Författare År Språk
21 Robustness of equations under operational extensions 2010 August 30th France Paris 17th International Workshop (EXPRESS’10) P. D. Mosses 2010 Engelska
22 Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFIP WG 6. 1 International Conference, FORTE 2022, Held As Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings Mohammad Reza. Mousavi uuuu-uuuu Okänt
23 Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A / Mohammad Reza Mousavi Mohammad Reza Mousavi uuuu-uuuu Okänt
24 Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B / Mohammad Reza Mousavi Mohammad Reza Mousavi uuuu-uuuu Okänt
25 On the Complexity of Input Output Conformance Testing 27–29 October 2013 China Nanchang 10th International Symposium on Formal Aspects of Component Software (FACS 2013) Neda Noroozi 2014 Engelska
26 Data-driven Fault Diagnosis for Cyber-Physical Systems Mehdi Saman Azari 2025 Engelska
27-28 Topics in Theoretical Computer Science - The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers (flera utgåvor) 2017 Engelska
29 Topics in Theoretical Computer Science 2016 Okänt
30 Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings 2017 Okänt
31 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems 2019 January 27-30 Slovakia Nový Smokovec 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019) Mahsa Varshosaz 2019 Engelska
32 Modeling and Model-Based Testing of Software Product Lines Mahsa Varshosaz 2019 Engelska

Förra sidan 1 2

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.