by Yuan Yan Tang
Customer Review Average:
Customer Review Count: 0
Details Coming Soon
Stock
Online Availability
In Store Availability
Regular Price
Sale Price
Available
True
$167.28
by Professor Rob Nederpelt; Professor Herman Geuvers
Customer Review Average:
Customer Review Count: 0
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$73.09
by Paul R Daugherty; H James Wilson
Customer Review Average:
Customer Review Count: 0
Artificial intelligence (AI) is transforming how we work right now. Are you ready? In the past, robots were typically large pieces of machinery, sectioned off from human workers to perform precise, mechanical tasks on an assembly line. But now, bots and other AI technologies go far beyond this in augmenting human capabilities--not just robots on the factory floor of an auto plant, but algorithms in the back office of a healthcare insurer and chatbots interacting with retail customers. Unlike any software tool or service that's come before, artificial intelligence has the power to profoundly change the very nature of work itself--and this is happening in all kinds of enterprises and across all functions of the organization. There's a current and growing imperative: businesses that understand how to harness AI can surge ahead, while those who neglect it are in danger of being left behind. In Human + Machine, Accenture technology leaders H. James Wilson and Paul R. Daugherty vividly illustrate how AI is redefining work and the economy. At the core of this paradigm shift is the transformation of business processes--all the step-by-step tasks that take place within an organization, from operations to customer service to workers' own personal productivity habits. As humans and smart machines collaborate ever more closely, work processes become more fluid and adaptive, enabling companies to change them on the fly--or completely reimagine them.--
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$29.66
by Ethem Alpaydin; Francis Bach
Customer Review Average:
Customer Review Count: 0
A substantially revised third edition of a comprehensive textbook that covers a broad range of topics not often included in introductory texts.
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$58.43
by Mehryar Mohri; Afshin Rostamizadeh; Ameet Talwalkar
Customer Review Average:
Customer Review Count: 0
Fundamental topics in machine learning are presented along with theoretical and conceptual tools for the discussion and proof of algorithms.
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Limited supply
True
True
$75.65
by Kevin P Murphy; Francis Bach
Customer Review Average:
Customer Review Count: 0
A comprehensive introduction to machine learning that uses probabilistic models and inference as a unifying approach.
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$155.63
by Petrucci, Laure
Customer Review Average:
Customer Review Count: 0
Details Coming Soon
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$79.20
Customer Review Average:
Customer Review Count: 0
Details Coming Soon
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$125.95
by Brett Lantz
Customer Review Average:
Customer Review Count: 0
Machine Learning with R
Stock
Online Availability
In Store Availability
Regular Price
Sale Price
Available
True
$68.79
by Jacob T Schwartz; Courant Institute Domenico Cantone; Eugenio G Omodeo
Customer Review Average:
Customer Review Count: 0
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. This system is then used to derive several of the main classical results on undecidability and unsolvability. Readers do not require great knowledge of formal logic in order to follow the text, although a good understanding of standard programming techniques, and a familiarity with the mathematics of definitions and proof scenarios is assumed.Topics and features: with a Foreword by Dr. Martin Davis, Professor Emeritus of the Courant Institute of Mathematical Sciences, New York University; describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.This ground-breaking work is essential reading for researchers and advanced graduates of computer science.
Stock
Online Availability
Ship to Store
Regular Price
Sale Price
Available
True
True
$72.69
Page:  1  of  10
First 1 2 3 4 5 6 7 8 9 10 Last 


Filter products by a specific retailer such as Walmart.Com, Moviemars, Rakuten Kobo Inc., Books Direct, Thebookpros, Speedy Hen LLC, Grand Eagle Retail, Academic Book Solutions, Izzy & Nima's Shop, and Whypaymore.

Find products in the following price range such as 0 - $5, $5 - $10, $10 - $20, $20 - $50, $50 - $100, $100 - $150, $150 - $200, $200 - $250, and $250 - $500.

See Shipping & Pickup options such as 2-Day Shipping, Ship To Home, Pickup Discount, and FREE Pickup.