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

• Author(s): Michael J. Halvorson • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistoryCode Nation explores the rise of software development as a social, cultural, and technical phenomenon in American history. The movement germin...

• Author(s): Michael J. Halvorson • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistoryCode Nation explores the rise of software development as a social, cultural, and technical phenomenon in American history. The movement germin...

• 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): Kim W. Tracy • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Software Development & Engineering - GeneralSoftware history has a deep impact on current software designers, computer scientists, and technologists. Sys...

• Author(s): Michael Kifer | Yanhong Annie Liu • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W...

• Author(s): Michael Kifer | Yanhong Annie Liu • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceThe idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W...

• 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): Franck Barbier • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Software Development & Engineering - GeneralIs Internet software so different from "ordinary" software? This book practically answers this question thr...

• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

• Author(s): Franck Barbier • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Software Development & Engineering - GeneralIs Internet software so different from "ordinary" software? This book practically answers this question thr...

• 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): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

• 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...