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: Marcello M. Bonsangue 28 träffar

Titel Författare År Språk
1 Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers Bernhard K. Aichernig 2012 Engelska
2 Data Science and Artificial Intelligence. - Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings Chutiporn. Anutariya 2025 Engelska
3 Data Science and Artificial Intelligence : First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings Chutiporn. Anutariya 2023 Engelska
4 Theoretical Aspects of Computing - ICTAC 2024 : 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings Chutiporn. Anutariya 2025 Engelska
5 Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers Bernhard. Beckert 2013 Engelska
6 Formal Methods for Components and Objects Bernhard Beckert 2013 Okänt
7-12 Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures (flera utgåvor) Frank S. Boer 2010 Engelska
13 Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers Marcello M. Bonsangue 2014 Engelska
14 Formal Methods for Components and Objects Marcello M. Bonsangue Engelska
15 Formal Methods for Open Object-Based Distributed Systems electronic resource - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings Marcello M. Bonsangue 2007 Engelska
16 Data Science and Artificial Intelligence. - First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings 2023 Engelska
17 Data Science and Artificial Intelligence: Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings 2025 Okänt
18 Formal Methods for Components and Objects (vol. # 4111) electronic resource - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures Frank S. de Boer 2006 Engelska
19 Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures Elena Giachino 2013 Okänt
20 Formal Methods for Components and Objects Frank S. Boer 2007 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.