Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Ricky W Butler

Ricky W Butler

4 results found
List viewGrid view
Sort By:
1.
A Primer on Architectural Level Fault Tolerance
A Primer on Architectural Level Fault Tolerance
By: Nasa Technical Reports Server (Ntrs), Ricky W Butler
Publisher: Bibliogov
No Review Yet
₹1,586
Binding:
Paperback
Release:
22 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
2.
Formalization of the Integral Calculus in the Pvs Theorem Prover
Formalization of the Integral Calculus in the Pvs Theorem Prover
By: Nasa Technical Reports Server (Ntrs), Ricky W Butler
Publisher: Bibliogov
No Review Yet
₹1,415
Binding:
Paperback
Release:
31 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
3.
Solving the AI Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language (Appl) to T
Solving the AI Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language (Appl) to T
By: Et Al, Nasa Technical Reports Server (Ntrs), Ricky W Butler
Publisher: Bibliogov
No Review Yet
₹1,500
Binding:
Paperback
Release:
23 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
4.
The Anmlite Language and Logic for Specifying Planning Problems
The Anmlite Language and Logic for Specifying Planning Problems
By: Et Al, Nasa Technical Reports Server (Ntrs), Ricky W Butler
Publisher: Bibliogov
No Review Yet
₹1,586
Binding:
Paperback
Release:
23 Jul 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA