Search results for “[subject: programming-algorithms]”

• Author(s): Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsSet theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will alwa...

• Author(s): Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsSet theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will alwa...

• Author(s): Tobias Nipkow • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThis book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Startin...

• Author(s): Cliff B. Jones | Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistorySir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software developmen...

• Author(s): Cliff B. Jones | Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistorySir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software developmen...

• Author(s): Domenico Talia • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Artificial Intelligence - GeneralThis book introduces and provides an analysis of the basic concepts of algorithms, data, and computation and discusses the...

• Author(s): Domenico Talia • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Artificial Intelligence - GeneralThis book introduces and provides an analysis of the basic concepts of algorithms, data, and computation and discusses the...