Related Books | Bookwire

1.

Free Choice Petri Nets

Author:: Desel, Jorg
Esparza, Javier

ISBN:: 978-0-521-01945-3

Book Format:: Paperback

List Price:: AUD $71.95

Publisher:: Cambridge University Press

Publication Date:: Sep 2005

2.

Deductive and Declarative Programming

Author:: Padawitz, Peter

ISBN:: 978-0-511-56987-6

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Oct 2009

3.

Theoretical Foundations of VLSI Design

ISBN:: 978-0-511-56983-8

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Nov 2009

4.

Theoretical Foundations of VLSI Design

ISBN:: 978-0-521-54565-5

Book Format:: Paperback

List Price:: AUD $71.95

Publisher:: Cambridge University Press

Publication Date:: Dec 2003

5.

Temporal Logics in Computer Science

Finite-State Systems

Author:: Demri, Stéphane
Goranko, Valentin
Lange, Martin

ISBN:: 978-1-316-72856-7

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Sep 2016

6.

Concurrency Verification

Introduction to Compositional and...

Author:: Hanneman, Ulrich
Hooman, Jozef
Lakhnech, Yassine
Poel, Mannes
Zwiers, Job
de Boer, Frank
de Roever, Willem-Paul

ISBN:: 978-0-521-80608-4

Book Format:: Hardback

List Price:: AUD $440.00

Publisher:: Cambridge University Press

Publication Date:: Nov 2001

7.

Process Algebra

Author:: Baeten, J. C. M.
Weijland, W. P.

ISBN:: 978-0-511-87847-3

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Mar 2011

8.

The Uncertain Reasoner's Companion

A Mathematical Perspective

Author:: Paris, J. B.

ISBN:: 978-0-511-88514-3

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Feb 2011

9.

Process Algebra

Equational Theories of Communicating Processes

Author:: Baeten, J. C. M.
Basten, T.
Reniers, M. A.

ISBN:: 978-1-139-19500-3

Book Format:: Digital (delivered electronically)

List Price:: AUD $270.00

Publisher:: Cambridge University Press

Publication Date:: Jul 2014

10.

The Uncertain Reasoner's Companion

A Mathematical Perspective

Author:: Paris, J. B.

ISBN:: 978-0-521-03272-8

Book Format:: Paperback

List Price:: AUD $82.95

Publisher:: Cambridge University Press

Publication Date:: Nov 2006

11.

Topological Duality for Distributive Lattices

Theory and Applications

Author:: Gehrke, Mai
van Gool, Sam

ISBN:: 978-1-009-34969-7

Book Format:: Hardback

List Price:: AUD $124.95

Publisher:: Cambridge University Press

Publication Date:: Mar 2024

12.

Nominal Sets

Names and Symmetry in Computer Science

Author:: Pitts, Andrew M.

ISBN:: 978-1-139-08467-3

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Jul 2013

13.

Nets, Terms and Formulas

Three Views of Concurrent Processes and Their...

Author:: Olderog, E. -R.

ISBN:: 978-0-521-01845-6

Book Format:: Paperback

List Price:: AUD $78.95

Publisher:: Cambridge University Press

Publication Date:: Aug 2005

14.

Basic Simple Type Theory

Author:: Hindley, J. Roger

ISBN:: 978-0-521-46518-2

Book Format:: Hardback

List Price:: AUD $176.95

Publisher:: Cambridge University Press

Publication Date:: Jul 1997

15.

Formal Semantics and Pragmatics for Natural Langua... - a book by Clifford, James

Formal Semantics and Pragmatics for Natural Language Querying

Author:: Clifford, James

ISBN:: 978-0-511-56975-3

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Oct 2009

16.

Advanced Topics in Bisimulation and Coinduction

ISBN:: 978-1-139-15379-9

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Nov 2011

17.

The Clausal Theory of Types

Author:: Wolfram, D. A.

ISBN:: 978-0-521-11790-6

Book Format:: Paperback

List Price:: AUD $39.95

Publisher:: Cambridge University Press

Publication Date:: Jul 2009

18.

Programs, Recursion and Unbounded Choice

Author:: Hesselink, Wim H.

ISBN:: 978-0-511-87921-0

Book Format:: Ebook

List Price:: Contact Supplier contact

Publisher:: Cambridge University Press

Publication Date:: Apr 2011

19.

A Unifying Framework for Structured Analysis and D... - a book by Tse, T. H.

A Unifying Framework for Structured Analysis and Design Models

An Approach Using Initial Algebra Semantics...

Author:: Tse, T. H.

ISBN:: 978-0-511-56989-0

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2010

20.

Nets, Terms and Formulas

Three Views of Concurrent Processes and Their...

Author:: Olderog, E. -R.

ISBN:: 978-0-511-52658-9

Book Format:: Digital (delivered electronically)

List Price:: AUD $200.00

Publisher:: Cambridge University Press

Publication Date:: Jan 2010

Books » Related Books

Related Keywords

Refine Options

Featured Books


1.		Free Choice Petri Nets Author: Desel, Jorg Esparza, Javier ISBN: 978-0-521-01945-3 Book Format: Paperback List Price: AUD $71.95 Publisher: Cambridge University Press Publication Date: Sep 2005 Quantity Note

2.		Deductive and Declarative Programming Author: Padawitz, Peter ISBN: 978-0-511-56987-6 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Oct 2009 Quantity Note

3.		Theoretical Foundations of VLSI Design ISBN: 978-0-511-56983-8 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Nov 2009 Quantity Note

4.		Theoretical Foundations of VLSI Design ISBN: 978-0-521-54565-5 Book Format: Paperback List Price: AUD $71.95 Publisher: Cambridge University Press Publication Date: Dec 2003 Quantity Note

5.		Temporal Logics in Computer Science Finite-State Systems Author: Demri, Stéphane Goranko, Valentin Lange, Martin ISBN: 978-1-316-72856-7 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Sep 2016 Quantity Note

6.		Concurrency Verification Introduction to Compositional and... Author: Hanneman, Ulrich Hooman, Jozef Lakhnech, Yassine Poel, Mannes Zwiers, Job de Boer, Frank de Roever, Willem-Paul ISBN: 978-0-521-80608-4 Book Format: Hardback List Price: AUD $440.00 Publisher: Cambridge University Press Publication Date: Nov 2001 Quantity Note

7.		Process Algebra Author: Baeten, J. C. M. Weijland, W. P. ISBN: 978-0-511-87847-3 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Mar 2011 Quantity Note

8.		The Uncertain Reasoner's Companion A Mathematical Perspective Author: Paris, J. B. ISBN: 978-0-511-88514-3 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Feb 2011 Quantity Note

9.		Process Algebra Equational Theories of Communicating Processes Author: Baeten, J. C. M. Basten, T. Reniers, M. A. ISBN: 978-1-139-19500-3 Book Format: Digital (delivered electronically) List Price: AUD $270.00 Publisher: Cambridge University Press Publication Date: Jul 2014 Quantity Note

10.		The Uncertain Reasoner's Companion A Mathematical Perspective Author: Paris, J. B. ISBN: 978-0-521-03272-8 Book Format: Paperback List Price: AUD $82.95 Publisher: Cambridge University Press Publication Date: Nov 2006 Quantity Note

11.		Topological Duality for Distributive Lattices Theory and Applications Author: Gehrke, Mai van Gool, Sam ISBN: 978-1-009-34969-7 Book Format: Hardback List Price: AUD $124.95 Publisher: Cambridge University Press Publication Date: Mar 2024 Quantity Note

12.		Nominal Sets Names and Symmetry in Computer Science Author: Pitts, Andrew M. ISBN: 978-1-139-08467-3 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Jul 2013 Quantity Note

13.		Nets, Terms and Formulas Three Views of Concurrent Processes and Their... Author: Olderog, E. -R. ISBN: 978-0-521-01845-6 Book Format: Paperback List Price: AUD $78.95 Publisher: Cambridge University Press Publication Date: Aug 2005 Quantity Note

14.		Basic Simple Type Theory Author: Hindley, J. Roger ISBN: 978-0-521-46518-2 Book Format: Hardback List Price: AUD $176.95 Publisher: Cambridge University Press Publication Date: Jul 1997 Quantity Note

15.		Formal Semantics and Pragmatics for Natural Language Querying Author: Clifford, James ISBN: 978-0-511-56975-3 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Oct 2009 Quantity Note

16.		Advanced Topics in Bisimulation and Coinduction ISBN: 978-1-139-15379-9 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Nov 2011 Quantity Note

17.		The Clausal Theory of Types Author: Wolfram, D. A. ISBN: 978-0-521-11790-6 Book Format: Paperback List Price: AUD $39.95 Publisher: Cambridge University Press Publication Date: Jul 2009 Quantity Note

18.		Programs, Recursion and Unbounded Choice Author: Hesselink, Wim H. ISBN: 978-0-511-87921-0 Book Format: Ebook List Price: Contact Supplier contact Publisher: Cambridge University Press Publication Date: Apr 2011 Quantity Note

19.		A Unifying Framework for Structured Analysis and Design Models An Approach Using Initial Algebra Semantics... Author: Tse, T. H. ISBN: 978-0-511-56989-0 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Jan 2010 Quantity Note

20.		Nets, Terms and Formulas Three Views of Concurrent Processes and Their... Author: Olderog, E. -R. ISBN: 978-0-511-52658-9 Book Format: Digital (delivered electronically) List Price: AUD $200.00 Publisher: Cambridge University Press Publication Date: Jan 2010 Quantity Note