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
1-2 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
3 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
4-5 Verification, model checking, and abstract interpretation - third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers (flera utgåvor) Model Checking and Abstract Interpretation 2002 : Venezia) International Workshop on Verification cop. 2002 Engelska
6 Space Data Management Agostino. Cortesi 2024 Engelska
7-8 Proceedings of International Conference on Computational Intelligence and Data Engineering - ICCIDE 2022 (flera utgåvor) 2023 Engelska
9 Advanced Computing and Systems for Security: Volume Three 2017 Okänt
10 Computer Information Systems Analysis and Technologies : 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings Agostino Cortesi 2011 Okänt
11 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
12 Computer Information Systems and Industrial Management - 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings Khalid. Saeed 2013 Engelska
13 Space Data Management 2024 Okänt
14-17 Advanced Computing and Systems for Security - Volume Three (flera utgåvor) 2017 Engelska
18 Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2022 2023 Okänt
19 Hyper-lattice Algebraic Model for Data Warehousing Soumya. Sen 2016 Engelska
20 Advanced Computing and Systems for Security: Volume Five Nabendu Chaki 2018 Okänt

1 2 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.