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: Luca. Aceto 19 träffar

Titel Författare År Språk
1-2 Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II (flera utgåvor) Luca. Aceto 2011 Engelska
3 "Automata, Languages and Programming: 35th International Colloquium, Icalp 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I" Luca Aceto 2008 Okänt
4 Exploiting Algebraic Laws to Improve Mechanized Axiomatizations 2013 September 3-6 Poland Warsaw The 5th Conference on Algebra and Coalgebra in Computer Science CALCO 2013 Luca Aceto 2013 Engelska
5-6 Foundations of Software Science and Computation Structures (flera utgåvor) Luca. Aceto 2006 Engelska
7 LICS '17 : Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science / Luca Aceto, Anna Ingólfsdóttir Luca Aceto uuuu-uuuu Okänt
8 Proceedings of the 34th Computational Complexity Conference / Luca Aceto Luca Aceto uuuu-uuuu Okänt
9 Reactive systems : modelling, specification and verification / Luca Aceto and others. electronic resource Luca Aceto uuuu-uuuu Okänt
10 Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings 2011 Okänt
11 Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings 2011 Okänt
12-13 Automata, Languages and Programming electronic resource - 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I (flera utgåvor) David. Hutchison 2008 Engelska
14 Automata, Languages and Programming, Volume 5125 Luca Aceto 2008 Okänt
15 Automata, Languages and Programming, Volume 5126 Luca Aceto 2008 Okänt
16 Foundations of Software Science and Computation Structures: 9Th International Conference, FOSSACS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : Proceedings (Lecture notes in computer science, 3921) Luca Aceto 2006 Okänt
17 Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 2017 Engelska
18 Models, Algorithms, Logics and Tools 2017 Okänt
19 Reactive Systems - Modelling, Specification and Verification 2007 Engelska

1

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.