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
AED122
Binding:
Paperback
Release:
22 Jun 2007
Language:
English
Available
Ships within 10-12 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
AED147
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
AED135
Binding:
Paperback
Release:
25 May 2009
Language:
English
Available
Ships within 10-12 Days Explain..
4.
Unification
Unification
By: Claude Kirchner
Publisher: Elsevier Science Publishing Co Inc
No Review Yet
AED153
Binding:
Hardback
Release:
01 Jan 1990
Out of Stock
Notify me when this book is in stockNotify Me
5.
Rewriting Techniques and Applications
Rewriting Techniques and Applications
By: Claude Kirchner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED174
Binding:
Paperback
Release:
/06/1993
Out of Stock
Notify me when this book is in stockNotify Me
6.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Claude Kirchner, Cyril Gavoille
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
7.
Automata, Languages and Programming
Automata, Languages and Programming
By: Samson Abramsky, Claude Kirchner, Cyril Gavoille
Publisher: Springer
No Review Yet
AED96
Binding:
Paperback
Release:
13 Mar 2011
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
AED96
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, Friedhelm Meyer Auf Der Heide, Claude Kirchner, Cyril Gavoille, Paul Spirakis
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED132
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
10.
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
AED128
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found