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: International Conference on Rewriting Techniques and Applications 40 träffar

Titel Författare År Språk
1 Rewriting Techniques and Applications electronic resource : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / edited by Vincent van Oostrom Germany) 2004 : (15th International Conference on Rewriting Techniques and Applications Aachen uuuu-uuuu Okänt
2 Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings / edited by Vincent van Oostrom Germany) 2004 : (15th International Conference on Rewriting Techniques and Applications Aachen uuuu-uuuu Okänt
3 Rewriting Techniques and Applications electronic resource : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings / edited by Andrei Voronkov Austria) 2008 : (19th International Conference on Rewriting Techniques and Applications Hagenberg uuuu-uuuu Okänt
4 Rewriting Techniques and Applications electronic resource : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings / edited by Ralf Treinen Austria) 2009 : (19th International Conference on Rewriting Techniques and Applications Hagenberg im Mühlkreis uuuu-uuuu Okänt
5 Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings / Jurgen Giesl (ed.) Japan) 2005 : (16th International Conference on Rewriting Techniques and Applications Nara-shi uuuu-uuuu Okänt
6 Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, 26-28.06.2007 : proceedings / edited by Franz Baader France) 2007 : (18th International Conference on Rewriting Techniques and Applications Paris uuuu-uuuu Okänt
7 "Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings" International Conference on Rewriting Techniques and Applications 2003 Okänt
8 "Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings" International Conference on Rewriting Techniques and Applications 2001 Okänt
9 Rewriting Techniques and Applications electronic resource : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / edited by Aart Middeldorp International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
10 Rewriting Techniques and Applications electronic resource : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / edited by Ronald V. Book International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
11 Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner, editor International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
12 Rewriting Techniques and Applications electronic resource : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / edited by Sophie Tison International Conference on Rewriting Techniques and Applications uuuu-uuuu Okänt
13 "Rewriting Techniques and Applications: 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings" International Conference on Rewriting Techniques and Applications 2009 Okänt
14 "Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings" International Conference on Rewriting Techniques and Applications 2002 Okänt
15 Rewriting Techniques and Applications International Conference on Rewriting Techniques and Applications 2008 Okänt
16 Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.) Wash.) 2006 : (17th International Conference on Rewriting Techniques and Applications Seattle uuuu-uuuu Okänt
17 "Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings" International Conference on Rewriting Techniques and Applications 2006 Okänt
18 Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / edited by Robert Nieuwenhuis Spain) 2003 : (14th International Conference on Rewriting Techniques and Applications Valencia uuuu-uuuu Okänt
19 Rewriting techniques and applications. - 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings Spain) International Conference on Rewriting Techniques and Applications 2003 : Valencia International Conference on Rewriting Techniques and Applications 2003 Engelska
20 Rewriting Techniques and Applications International Conference on Rewriting Techniques and Applications 2004 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.