Related Books | Bookwire

1.

Synthesis of Distributed Systems

Author:: Schewe, Sven
Fearnley, John

ISBN:: 978-3-0348-0242-0

Book Format:: Hardback

List Price:: AUD $179.95

Publisher:: Birkhauser Verlag

Publication Date:: Aug 2012

2.

Graph-Based Proof Procedures for Horn Clauses

Author:: RAATZ

ISBN:: 978-1-4899-3556-4

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Birkhauser Verlag

Publication Date:: Nov 2013

3.

Feasible Mathematics

A Mathematical Sciences Institute Workshop,...

Author:: Buss, Samuel R.
Scott, Philip J.

ISBN:: 978-3-7643-3483-3

Book Format:: Hardback

List Price:: Contact Supplier contact

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1990

4.

Mathematical Logic

Foundations for Information Science

Author:: Li, Wei

ISBN:: 978-3-7643-9976-4

Book Format:: Hardback

List Price:: AUD $134.95

Publisher:: Birkhauser Verlag

Publication Date:: Mar 2010

5.

Complexity Theory of Real Functions

Author:: Ker-l Ko Staff

ISBN:: 978-3-7643-3586-1

Book Format:: Hardback

List Price:: AUD $268.95

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1991

6.

Applied Probability-Computer Science: the Interfac... - a book by Disney, Ralph L.

Applied Probability-Computer Science: the Interface Volume 1

Author:: Disney, Ralph L.
Ott, Teunis J.

ISBN:: 978-1-4612-5793-6

Book Format:: Paperback

List Price:: AUD $142.95

Publisher:: Birkhauser Verlag

Publication Date:: Oct 2011

7.

Symbolic Rewriting Techniques

ISBN:: 978-3-0348-9779-2

Book Format:: Paperback

List Price:: AUD $179.95

Publisher:: Birkhauser Verlag

Publication Date:: Oct 2012

8.

Cryptography and Computational Number Theory

ISBN:: 978-3-0348-8295-8

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Birkhauser Verlag

Publication Date:: Mar 2013

9.

Isomorphisms of Types

Author:: Di Cosmo, R.

ISBN:: 978-3-7643-3763-6

Book Format:: Hardback

List Price:: AUD $205.95

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1994

10.

A Proof Theory for General Unification

Author:: Snyder, W.

ISBN:: 978-3-7643-3593-9

Book Format:: Hardback

List Price:: Contact Supplier contact

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1991

11.

Finite Automata, Formal Logic, and Circuit Complex... - a book by Straubing, Howard

Finite Automata, Formal Logic, and Circuit Complexity

Author:: Straubing, Howard

ISBN:: 978-3-7643-3719-3

Book Format:: Hardback

List Price:: AUD $163.95

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1993

12.

Lecture Notes on Bucket Algorithms

Author:: DEVROYE

ISBN:: 978-1-4899-3531-1

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Birkhauser Verlag

Publication Date:: Nov 2013

13.

Subrecursive Programming Systems

Author:: Royer, James S.

ISBN:: 978-3-7643-3767-4

Book Format:: Hardback

List Price:: AUD $205.95

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1994

14.

Mathematical Logic

Foundations for Information Science

ISBN:: 978-1-282-83611-2

Book Format:: Ebook

List Price:: USD $89.99

Publisher:: Birkhauser Verlag

Publication Date:: Jan 2010

15.

Logical Methods

Author:: Crossley, John N.

ISBN:: 978-3-7643-3690-5

Book Format:: Hardback

List Price:: AUD $394.95

Publisher:: Birkhauser Verlag

Publication Date:: Jan 1993

16.

Automata Theory and Its Applications

Author:: Khoussainov, Bakhadyr
Nerode, Anil

ISBN:: 978-1-4612-0171-7

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Birkhauser Verlag

Publication Date:: Dec 2012

17.

Number Theoretic Methods in Cryptography

Complexity Lower Bounds

Author:: Shparlinski, Igor

ISBN:: 978-3-0348-8664-2

Book Format:: Ebook

List Price:: USD $129.00

Publisher:: Birkhauser Verlag

Publication Date:: Dec 2012

18.

A Proof Theory for General Unification

Author:: Snyder, W.

ISBN:: 978-1-4612-0435-0

Book Format:: Ebook

List Price:: USD $139.00

Publisher:: Birkhauser Verlag

Publication Date:: Dec 2012

19.

Symbolic Rewriting Techniques

ISBN:: 978-3-0348-8800-4

Book Format:: Ebook

List Price:: USD $99.00

Publisher:: Birkhauser Verlag

Publication Date:: Mar 2013

20.

Synthesis of Distributed Systems

Author:: Schewe, Sven
Fearnley, John

ISBN:: 978-3-0348-0242-0

Book Format:: Hardback

List Price:: USD $109.00

Publisher:: Birkhauser Verlag

Publication Date:: Jul 2018

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Synthesis of Distributed Systems Author: Schewe, Sven Fearnley, John ISBN: 978-3-0348-0242-0 Book Format: Hardback List Price: AUD $179.95 Publisher: Birkhauser Verlag Publication Date: Aug 2012 Quantity Note

2.		Graph-Based Proof Procedures for Horn Clauses Author: RAATZ ISBN: 978-1-4899-3556-4 Book Format: Ebook List Price: USD $99.00 Publisher: Birkhauser Verlag Publication Date: Nov 2013 Quantity Note

3.		Feasible Mathematics A Mathematical Sciences Institute Workshop,... Author: Buss, Samuel R. Scott, Philip J. ISBN: 978-3-7643-3483-3 Book Format: Hardback List Price: Contact Supplier contact Publisher: Birkhauser Verlag Publication Date: Jan 1990 Quantity Note

4.		Mathematical Logic Foundations for Information Science Author: Li, Wei ISBN: 978-3-7643-9976-4 Book Format: Hardback List Price: AUD $134.95 Publisher: Birkhauser Verlag Publication Date: Mar 2010 Quantity Note

5.		Complexity Theory of Real Functions Author: Ker-l Ko Staff ISBN: 978-3-7643-3586-1 Book Format: Hardback List Price: AUD $268.95 Publisher: Birkhauser Verlag Publication Date: Jan 1991 Quantity Note

6.		Applied Probability-Computer Science: the Interface Volume 1 Author: Disney, Ralph L. Ott, Teunis J. ISBN: 978-1-4612-5793-6 Book Format: Paperback List Price: AUD $142.95 Publisher: Birkhauser Verlag Publication Date: Oct 2011 Quantity Note

7.		Symbolic Rewriting Techniques ISBN: 978-3-0348-9779-2 Book Format: Paperback List Price: AUD $179.95 Publisher: Birkhauser Verlag Publication Date: Oct 2012 Quantity Note

8.		Cryptography and Computational Number Theory ISBN: 978-3-0348-8295-8 Book Format: Ebook List Price: USD $99.00 Publisher: Birkhauser Verlag Publication Date: Mar 2013 Quantity Note

9.		Isomorphisms of Types Author: Di Cosmo, R. ISBN: 978-3-7643-3763-6 Book Format: Hardback List Price: AUD $205.95 Publisher: Birkhauser Verlag Publication Date: Jan 1994 Quantity Note

10.		A Proof Theory for General Unification Author: Snyder, W. ISBN: 978-3-7643-3593-9 Book Format: Hardback List Price: Contact Supplier contact Publisher: Birkhauser Verlag Publication Date: Jan 1991 Quantity Note

11.		Finite Automata, Formal Logic, and Circuit Complexity Author: Straubing, Howard ISBN: 978-3-7643-3719-3 Book Format: Hardback List Price: AUD $163.95 Publisher: Birkhauser Verlag Publication Date: Jan 1993 Quantity Note

12.		Lecture Notes on Bucket Algorithms Author: DEVROYE ISBN: 978-1-4899-3531-1 Book Format: Ebook List Price: USD $99.00 Publisher: Birkhauser Verlag Publication Date: Nov 2013 Quantity Note

13.		Subrecursive Programming Systems Author: Royer, James S. ISBN: 978-3-7643-3767-4 Book Format: Hardback List Price: AUD $205.95 Publisher: Birkhauser Verlag Publication Date: Jan 1994 Quantity Note

14.		Mathematical Logic Foundations for Information Science ISBN: 978-1-282-83611-2 Book Format: Ebook List Price: USD $89.99 Publisher: Birkhauser Verlag Publication Date: Jan 2010 Quantity Note

15.		Logical Methods Author: Crossley, John N. ISBN: 978-3-7643-3690-5 Book Format: Hardback List Price: AUD $394.95 Publisher: Birkhauser Verlag Publication Date: Jan 1993 Quantity Note

16.		Automata Theory and Its Applications Author: Khoussainov, Bakhadyr Nerode, Anil ISBN: 978-1-4612-0171-7 Book Format: Ebook List Price: USD $99.00 Publisher: Birkhauser Verlag Publication Date: Dec 2012 Quantity Note

17.		Number Theoretic Methods in Cryptography Complexity Lower Bounds Author: Shparlinski, Igor ISBN: 978-3-0348-8664-2 Book Format: Ebook List Price: USD $129.00 Publisher: Birkhauser Verlag Publication Date: Dec 2012 Quantity Note

18.		A Proof Theory for General Unification Author: Snyder, W. ISBN: 978-1-4612-0435-0 Book Format: Ebook List Price: USD $139.00 Publisher: Birkhauser Verlag Publication Date: Dec 2012 Quantity Note

19.		Symbolic Rewriting Techniques ISBN: 978-3-0348-8800-4 Book Format: Ebook List Price: USD $99.00 Publisher: Birkhauser Verlag Publication Date: Mar 2013 Quantity Note

20.		Synthesis of Distributed Systems Author: Schewe, Sven Fearnley, John ISBN: 978-3-0348-0242-0 Book Format: Hardback List Price: USD $109.00 Publisher: Birkhauser Verlag Publication Date: Jul 2018 Quantity Note