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: Hossein. Hojjat 13 träffar

Titel Författare År Språk
1 An Encoding for CLP Problems in SMT-LIB Italy Rome Sapienza Univ Rome 2023 July 01-02 18th Logical and Semantic Frameworks with Applications (LSFA) Daneshvar Amrollahi 2024 Engelska
2 Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers 2023 Okänt
3 Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat 2023 Engelska
4 Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat 2023 Engelska
5 Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat uuuu-uuuu Okänt
6-7 Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, revised selected papers / Hossein Hojjat and Mieke Massink (flera utgåvor) Hossein Hojjat uuuu-uuuu Okänt
8 Horn Clauses for Communicating Timed Systems 17 July 2014 Austria Vienna First Workshop on Horn Clauses for Verification and Synthesis Hossein Hojjat 2014 Engelska
9 OptiRica - Towards an Efficient Optimizing Horn Solver Germany Munich 2022 April 3 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation (HCVS/VPT) Hossein Hojjat 2022 Engelska
10 The Eldarica Horn Solver Texas. Austin University of Texas 2018 30 October - 2 November The eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification (FMCAD 2018) Hossein Hojjat 2018 Engelska
11 Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings Hossein Hojjat uuuu-uuuu Okänt
12 Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings Hossein Hojjat 2025 Engelska
13 Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers Hossein Hojjat 2021 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.