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

Titel Författare År Språk
1-2 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
3 Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings 2002 Okänt
4 Free choice Petri nets Jörg Desel 1995 Engelska
5 Unfoldings electronic resource : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko Javier. author. Esparza uuuu-uuuu Okänt
6-7 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
8 Automata Theory : An Algorithmic Approach Javier. Esparza uuuu-uuuu Okänt
9 El reino del norte José Javier Esparza 2014 Okänt
10 Logics and Languages for Reliability and Security Javier Esparza uuuu-uuuu Okänt
11 Matematik Origo 1b/1c vux, Lösningar Javier Esparza 2013 Svenska
12 Matematik Origo 2b/2c vux, Lösningar Javier Esparza 2015 Svenska
13 Matematik Origo 3b/3c vux, Lösningar Javier Esparza 2016 Svenska
14 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
15-16 Unfoldings - a partial-order approach to model checking (flera utgåvor) Javier Esparza cop. 2008 Engelska
17 Unfoldings: A Partial-order Approach to Model Checking (Monographs in theoretical computer science: an EATCS series) Javier Esparza 2008 Okänt
18 Finite and algorithmic model theory 2011 Engelska
19-20 Finite and Algorithmic Model Theory (flera utgåvor) 2011 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.