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: Marco Montali 21 träffar

Titel Författare År Språk
1 Verification of unary communicating datalog programs 2024 June 23rd to 26th Italy Villasimius SEBD 2024 32nd Italian Symposium on Advanced Database Systems C. Aiswarya 2024 Engelska
2 AIxIA 2024 - Advances in Artificial Intelligence: XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings 2025 Okänt
3 AIxIA 2024 – Advances in Artificial Intelligence: XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings Alessandro Artale 2024 Engelska
4 AIxIA 2024 - Advances in Artificial Intelligence. - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings Alessandro. Artale 2025 Engelska
5 Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings 2018 Engelska
6 Business Process Management Forum - BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings 2018 Engelska
7 Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings 2018 Okänt
8 Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs 2022 June 19-22 Italy Tirrenia 30th Italian Symposium on Advanced Database Systems SEBD 2022 Diego Calvanese 2022 Engelska
9 Mapping patterns for virtual knowledge graphs (A report on ongoing research) 2020 September 12-14 Online 33rd International Workshop on Description Logics DL 2020 Diego Calvanese 2020 Engelska
10 Process mining with common sense 2021. September 6-10 Rome PROBLEMS 2021 2021 International Workshop on BPM Problems to Solve Before We Die Diego Calvanese 2021 Engelska
11 SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results) 2021 September 19th to 22nd Slovakia Bratislava DL 2021 34th International Workshop on Description Logics Diego Calvanese 2021 Engelska
12 Verification of generic, relational transition systems 2022 Austria,July 23 Wien PMAI 2022 2022 Workshop on Process Management in the AI Era Diego Calvanese 2022 Engelska
13 Enterprise Design, Operations, and Computing: 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3–7, 2022, Proceedings 2022 Okänt
14 Enterprise Design, Operations, and Computing. EDOC 2022 Workshops: IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4–7, 2022, Revised Selected Papers 2023 Okänt
15 Direct mappings under the lens of information capacity Davide Lanti 2023 Engelska
16 Process Mining Workshops Marco Montali 2023 Engelska
17 Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach Marco. Montali 2010 Engelska
18 Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach Marco Montali 2010 Okänt
19 Specification and verification of declarative open interaction models : a logic-based approach / Marco Montali Marco Montali uuuu-uuuu Okänt
20 A virtual knowledge graph based approach for object-centric event logs extraction 2022 October 23-28 Italy Bozen-Bolzano ICPM 2022 held at the International Conference on Process Mining and DQT-PM EduPM PQMI SA4PM PODS4H RPM ML4PM International Workshops on EDBA Jing Xiong 2023 Engelska

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.