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: Yamine Ait Ameur 14 träffar

Titel Författare År Språk
1 ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings 2014 Okänt
2 Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings Yamine. Ait Ameur 2014 Engelska
3 Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings Yamine. Ait Ameur 2014 Engelska
4 Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings Yamine. Aït-Ameur 2022 Engelska
5 Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings Yamine. Aït-Ameur uuuu-uuuu Okänt
6 Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings Guangdong. Bai 2024 Engelska
7 ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings Frédéric. Boniol 2014 Engelska
8 Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings 2016 Engelska
9 Model and Data Engineering 2016 Okänt
10 Formal Modelling of the Impact of Cyberattacks on Safety of Networked Control Systems Ehsan Poorhadi 2025 Engelska
11 Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings Yamine Ait Ameur 2014 Okänt
12 Formal Methods and Software Engineering Yamine Ait-Ameur uuuu-uuuu Okänt
13 Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Yamine Ait-Ameur 2021 Okänt
14 Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings Yamine Ait Ameur 2014 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.