claude kirchner author - Books - 24x7 online bookstore Bookswagon.ae
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
12 results found
List viewGrid view
Sort By:
1.
Rewriting, Computation and Proof
Rewriting, Computation and Proof
By: Claude Kirchner, Hélène Kirchner, Hubert Comon-Lundh
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED255
Binding:
Paperback
Release:
22 Jun 2007
Language:
English
International Edition
Ships within 14-16 Days Explain..
2.
Automated Deduction - CADE-15
Automated Deduction - CADE-15
By: Claude Kirchner, Helene Kirchner
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED256
Binding:
Paperback
Release:
24 Jun 1998
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Formal to Practical Security
Formal to Practical Security
By: Claude Kirchner, Hideki Sakurada, Mitsuhiro Okada, Véronique Cortier
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED250
Binding:
Paperback
Release:
25 May 2009
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
Automated Deduction - Cade-15
Automated Deduction - Cade-15
By: Claude Kirchner, Helene Kirchner
Publisher: Springer
No Review Yet
AED106
Binding:
Paperback
Release:
01 Sep 2014
Out of Stock
Notify me when this book is in stockNotify Me
5.
Rewriting, Computation and Proof
Rewriting, Computation and Proof
By: Claude Kirchner, Hubert Comon-Lundh, H L Ne Kirchner
Publisher: Springer
No Review Yet
AED32
Binding:
Paperback
Release:
26 Aug 2008
Out of Stock
Notify me when this book is in stockNotify Me
6.
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
7.
Automata, Languages and Programming
Automata, Languages and Programming
By: Claude Kirchner, Cyril Gavoille, Samson Abramsky
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
8.
Automata, Languages and Programming
Automata, Languages and Programming
By: Claude Kirchner, Cyril Gavoille, Samson Abramsky
Publisher: Springer
No Review Yet
AED105
Binding:
Paperback
Release:
13 Mar 2011
Out of Stock
Notify me when this book is in stockNotify Me
9.
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
10.
Formal to Practical Security
Formal to Practical Security
By: Claude Kirchner, Mitsuhiro Okada, 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
11.
Automata, Languages and Programming
Automata, Languages and Programming
By: Paul Spirakis, Claude Kirchner, Friedhelm Meyer auf der Heide, Cyril Gavoille, Samson Abramsky
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED140
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
12.
Automata, Languages and Programming
Automata, Languages and Programming
By: Paul Spirakis, Claude Kirchner, Friedhelm Meyer auf der Heide, Cyril Gavoille, Samson Abramsky
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED145
Binding:
Paperback
Release:
30 Jun 2010
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found