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: Nachum Dershowitz 33 träffar

Titel Författare År Språk
1-3 Calendrical Calculations (flera utgåvor) Nachum Dershowitz 2007 Engelska
4 Calendrical tabulations 1900-2200 Edward M. Reingold 2002 Engelska
5 Rewriting techniques and applications - proceedings cop. 1989 Engelska
6 Conditional and typed rewriting systems International Workshop on Conditional and Typed Rewriting Systems 1994) Jerusalem : cop. 1995 Engelska
7 The evolution of programs Nachum Dershowitz 1983 Engelska
8 Verification. - theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday 2004 Engelska
9 Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Arnon. Avron 2008 Engelska
10 Conditional and Typed Rewriting Systems International Workshop on Conditional (and Typed) Rewriting Systems 1995 Engelska
11-12 Logic for Programming, Artificial Intelligence, and Reasoning (flera utgåvor) Nachum. Dershowitz 2007 Engelska
13 Unconventional Computation - 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings Cristian S. Calude 2009 Engelska
14 Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Andreas. Blass 2010 Engelska
15 Rewriting Techniques and Applications Nachum Dershowitz uuuu-uuuu Okänt
16 Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz 2007 Okänt
17 Conditional and Typed Rewriting Systems - 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings International Workshop on Conditional (and Typed) Rewriting Systems International Workshop on Conditional (and Typed) Rewriting Systems 1995 Engelska
18 Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I Nachum. Dershowitz 2014 Engelska
19 Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II Nachum. Dershowitz 2014 Engelska
20 Language, Culture, Computation. Computational Linguistics and Linguistics - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III Nachum. Dershowitz 2014 Engelska

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.