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.