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: Agostino Cortesi 36 träffar

Titel Författare År Språk
21 Advanced Computing and Systems for Security: Volume Twelve Nabendu Chaki 2020 Okänt
22 Advanced Computing and Systems for Security - Volume Six 2018 Engelska
23 Static Analysis: 6th International Symposium, SAS'99 Venice, Italy, September 2224, 1999 Proceedings Agostino Cortesi uuuu-uuuu Okänt
24 Challenges of Software Verification Vincenzo. Arceri 2023 Engelska
25 Computer Information Systems and Industrial Management Agostino Cortesi 2012 Okänt
26 Advanced Computing and Systems for Security: Volume Seven Nabendu Chaki 2019 Okänt
27 Advanced Computing and Systems for Security Nabendu Chaki 2019 Okänt
28 Space Data Management Agostino. Cortesi uuuu-uuuu Okänt
29 Applied Computing for Software and Smart Systems. - Proceedings of ACSS 2023 Rituparna. Chaki 2024 Engelska
30 Advanced Computing and Systems for Security: Volume 2 2016 Okänt
31 Applied Computing for Software and Smart Systems: Proceedings of ACSS 2022 2023 Okänt
32 Advanced Computing and Systems for Security: Volume Twelve Rituparna Chaki 2020 Engelska
33 Challenges of Software Verification 2023 Okänt
34 Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017 2018 Okänt
35 Advanced Computing and Systems for Security: Volume Six 2018 Okänt
36 Advanced Computing and Systems for Security: Volume 1 2016 Okänt

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.