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 17 träffar

Titel Författare År Språk
1-2 Foundations of Software Science and Computation Structures (flera utgåvor) Luca. Aceto 2006 Engelska
3-4 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
5 Reactive Systems - Modelling, Specification and Verification 2007 Engelska
6-7 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
8 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
9 Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 2017 Engelska
10 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
11 Automata, Languages and Programming, Volume 5126 Luca Aceto 2008 Okänt
12 Automata, Languages and Programming, Volume 5125 Luca Aceto 2008 Okänt
13 Reactive systems : modelling, specification and verification / Luca Aceto and others. electronic resource Luca Aceto uuuu-uuuu Okänt
14 Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings 2011 Okänt
15 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
16 Proceedings of the 34th Computational Complexity Conference / Luca Aceto Luca Aceto uuuu-uuuu Okänt
17 Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings 2011 Okänt

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.