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: Claude Kirchner
15 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Unification
|
|
1990 |
Engelska |
| 2-3 |
Rewriting techniques and applications - proceedings
(flera utgåvor)
|
|
cop. 1993 |
Engelska |
| 4-5 |
Automated deduction - CADE-15 - proceedings
(flera utgåvor)
|
International Conference on Automated Deduction 1998) Lindau :
|
cop. 1998 |
Engelska |
| 6 |
Rewriting, Computation and Proof electronic resource - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
|
Hubert. Comon-Lundh
|
2007 |
Engelska |
| 7 |
Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration
|
Véronique. Cortier
|
2009 |
Engelska |
| 8 |
Formal to Practical Security
|
Véronique Cortier
|
2009 |
Okänt |
| 9-10 |
Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
(flera utgåvor)
|
Samson. Abramsky
|
2010 |
Engelska |
| 11 |
Automated Deduction CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5-10, 1998 Proceedings
|
Claude Kirchner
|
uuuu-uuuu |
Okänt |
| 12 |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday (Lecture notes in computer science, Festschrift 4600)
|
Hubert Comon-Lundh
|
2007 |
Okänt |
| 13 |
Automata, Languages and Programming, Volume 6198
|
|
2010 |
Okänt |
| 14 |
Automata, Languages and Programming, Volume 6199
|
|
2010 |
Okänt |
| 15 |
Rewriting Techniques and Applications
|
|
1993 |
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.