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

Titel Författare År Språk
21 Advanced Computing and Systems for Security: Volume Twelve Rituparna Chaki 2020 Engelska
22 Applied Computing for Software and Smart Systems. - Proceedings of ACSS 2023 Rituparna. Chaki 2024 Engelska
23 Challenges of Software Verification 2023 Okänt
24 Computer Information Systems and Industrial Management - 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings Agostino. Cortesi 2012 Engelska
25 Space Data Management Agostino. Cortesi 2024 Engelska
26 Space Data Management Agostino. Cortesi uuuu-uuuu Okänt
27 Computer Information Systems and Industrial Management: 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings Khalid Saeed 2013 Okänt
28 Advanced Computing and Systems for Security: Volume Five Nabendu Chaki 2018 Okänt
29 Advanced Computing and Systems for Security: Volume Twelve Nabendu Chaki 2020 Okänt
30-31 Proceedings of International Conference on Computational Intelligence and Data Engineering - ICCIDE 2022 (flera utgåvor) 2023 Engelska
32 Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017 2018 Okänt
33 Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022 2023 Okänt
34 Computer Information Systems and Industrial Management - 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings Khalid. Saeed 2013 Engelska
35 Hyper-lattice Algebraic Model for Data Warehousing Soumya. Sen 2016 Engelska
36 Hyper-lattice Algebraic Model for Data Warehousing Soumya Sen 2016 Okänt
37 Space Data Management 2024 Okänt
38-39 Static analysis - 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999 : proceedings (flera utgåvor) International Symposium on Static Analysis 1999) Venezia : cop. 1999 Engelska
40 Verification, model checking, and abstract interpretation - third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers Model Checking and Abstract Interpretation 2002 : Venezia) International Workshop on Verification cop. 2002 Engelska

Förra sidan 1 2 3 Nästa sida

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.