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): 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): 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): Julian Shun • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Systems Architecture - GeneralParallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is ...

• 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): Julian Shun • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Systems Architecture - GeneralParallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is ...

• Author(s): Krzysztof R. Apt | Tony Hoare • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - GeneralEdsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making...

• Author(s): Krzysztof R. Apt | Tony Hoare • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - GeneralEdsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making...

• Author(s): Haitham Hassanieh • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThe Fourier transform is one of the most fundamental tools for computing the frequency representation of signals. It plays a cen...

• Author(s): Krumm | Züfle | Cyrus Shahabi • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsSpatial gems are computational techniques for processing spatial data. This book, a follow-up to the first Spatial G...

• Author(s): Haitham Hassanieh • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThe Fourier transform is one of the most fundamental tools for computing the frequency representation of signals. It plays a cen...

• Author(s): Krumm | Züfle | Cyrus Shahabi • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsSpatial gems are computational techniques for processing spatial data. This book, a follow-up to the first Spatial G...

• Author(s): John Krumm | Andreas Züfle | Cyrus Shahabi • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThis book presents fundamental new techniques for understanding and processing geospatial data. These "...

• Author(s): John Krumm | Andreas Züfle | Cyrus Shahabi • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThis book presents fundamental new techniques for understanding and processing geospatial data. These "...