Buy books written by Claude Kirchner Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Claude Kirchner

Claude Kirchner

10 results found
List viewGrid view
Sort By:
1.
Rewriting, Computation and Proof
Rewriting, Computation and Proof
By: Claude Kirchner, Hubert Comon-Lundh, Hélène Kirchner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED134
Binding:
Paperback
Release:
22 Jun 2007
Language:
English
Available
Ships within 2-4 Days Explain..
2.
Automated Deduction - CADE-15
Automated Deduction - CADE-15
By: Helene Kirchner, Claude Kirchner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED159
Binding:
Paperback
Release:
24 Jun 1998
Language:
English
Available
Ships within 1-2 Days Explain..
3.
Formal to Practical Security
Formal to Practical Security
By: Mitsuhiro Okada, Claude Kirchner, Hideki Sakurada, Véronique Cortier
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED148
Binding:
Paperback
Release:
25 May 2009
Language:
English
Available
Ships within 1-2 Days Explain..
4.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Friedhelm Meyer Auf Der Heide, Claude Kirchner, Cyril Gavoille, Paul Spirakis
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED501
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
5.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Friedhelm Meyer Auf Der Heide, Claude Kirchner, Cyril Gavoille, Paul Spirakis
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED503
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
International Edition
Ships within 12-14 Days Explain..
6.
Rewriting Techniques and Applications
Rewriting Techniques and Applications
By: Claude Kirchner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED191
Binding:
Paperback
Release:
/06/1993
Out of Stock
Notify me when this book is in stockNotify Me
7.
Unification
Unification
By: Claude Kirchner
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED168
Binding:
Hardback
Release:
01 Jan 1990
Out of Stock
Notify me when this book is in stockNotify Me
8.
Formal to Practical Security
Formal to Practical Security
By: Mitsuhiro Okada, Claude Kirchner, V Ronique Cortier
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
06 Jun 2009
Out of Stock
Notify me when this book is in stockNotify Me
9.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Claude Kirchner, Cyril Gavoille
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
10.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Claude Kirchner, Cyril Gavoille
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
No more records found