Books By Butler, Ricky W.

Displaying 1- 8 of 8 results for keyword "Ricky-W-Butler" books

Sort by:


1.		The Anmlite Language and Logic for Specifying Planning Problems Author: Butler, Ricky W. ISBN: 978-1-287-23689-4 Book Format: Paperback List Price: USD $17.75 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

2.		A Primer on Architectural Level Fault Tolerance Author: Butler, Ricky W. ISBN: 978-1-287-22897-4 Book Format: Paperback List Price: AUD $32.99 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

3.		The Anmlite Language and Logic for Specifying Planning Problems Author: Butler, Ricky W. ISBN: 978-1-287-23689-4 Book Format: Paperback List Price: AUD $32.99 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

4.		A Primer on Architectural Level Fault Tolerance Author: Butler, Ricky W. ISBN: 978-1-287-22897-4 Book Format: Paperback List Price: USD $17.75 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

5.		Formalization of the Integral Calculus in the Pvs Theorem Prover Author: Butler, Ricky W. ISBN: 978-1-287-26694-5 Book Format: Paperback List Price: AUD $29.69 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

6.		Formalization of the Integral Calculus in the Pvs Theorem Prover Author: Butler, Ricky W. ISBN: 978-1-287-26694-5 Book Format: Paperback List Price: USD $15.75 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

7.		Solving the Ai Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language to T Author: Butler, Ricky W. ISBN: 978-1-289-23431-7 Book Format: Paperback List Price: AUD $32.99 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note

8.		Solving the Ai Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language to T Author: Butler, Ricky W. ISBN: 978-1-289-23431-7 Book Format: Paperback List Price: USD $16.75 Publisher: Creative Media Partners, LLC Publication Date: Jul 2013 Quantity Note