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: Javier. Esparza 25 träffar

Titel Författare År Språk
1 Free choice Petri nets Jörg Desel 1995 Engelska
2-3 Application and theory of Petri nets 2002 - 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings (flera utgåvor) International Conference on Application and Theory of Petri Nets 2002 : Adelaide) cop. 2002 Engelska
4-5 Unfoldings - a partial-order approach to model checking (flera utgåvor) Javier Esparza cop. 2008 Engelska
6 Tools and Algorithms for the Construction and Analysis of Systems - 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Javier. Esparza 2010 Engelska
7 Free Choice Petri Nets 1995 Engelska
8 Finite and algorithmic model theory 2011 Engelska
9 Finite and Algorithmic Model Theory 2011 Okänt
10 Matematik Origo 1b/1c vux, Lösningar Javier Esparza 2013 Svenska
11 Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 2017 Engelska
12-13 Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I (flera utgåvor) Javier. Esparza 2014 Engelska
14 Matematik Origo 2b/2c vux, Lösningar Javier Esparza 2015 Svenska
15 El reino del norte José Javier Esparza 2014 Okänt
16 Matematik Origo 3b/3c vux, Lösningar Javier Esparza 2016 Svenska
17 Automata, Languages, and Programming; Pt. Ii Javier Esparza 2014 Okänt
18 Automata, Languages, and Programming; Pt. I Javier Esparza 2014 Okänt
19 Logics and Languages for Reliability and Security Javier Esparza uuuu-uuuu Okänt
20 Tools and Algorithms for the Construction and Analysis of Systems Javier Esparza 2010 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.