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 10 träffar

Titel Författare År Språk
1 Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers 2023 Okänt
2-3 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
4 Horn Clauses for Communicating Timed Systems 17 July 2014 Austria Vienna First Workshop on Horn Clauses for Verification and Synthesis Hossein Hojjat 2014 Engelska
5 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
6 Fundamentals of Software Engineering: 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers Hossein Hojjat 2021 Okänt
7 Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat 2023 Engelska
8 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
9 Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Hossein. Hojjat uuuu-uuuu Okänt
10 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

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.