Opening book details…
Can I read Computer Algorithms: Correctness Proofs and Performance Analyses on EtoBox?
Computer Algorithms: Correctness Proofs and Performance Analyses by Shashank K. Mehta is a nonfiction available to read on EtoBox.
What is Computer Algorithms: Correctness Proofs and Performance Analyses about?
Title COMPUTER ALGORITHMS Correctness Proofs andPerformance Analyses Copyright Dedication Contents List of Figures Preface 1. Basics of Computer Algorithms 1.1 Simplified Model of Modern Computers 1.1.1 Compilers 1.1.2 Pseudocode 1.2 Some Examples 1.2.1 Greatest Common Divisor 1.2.2 Proof of Correctness of the GCD Algorithm 1.2.3 Largest Group of Mutually Known People 1.2.4 Bubble Sort 1.2.5 Maximum Facility Usage Problem 1.2.6 Improving the Algorithm Using Binary Search 1.3 Algorithms that Do Not Compute Exact Answer 1.4 Efficiency Analysis of an Algorithm 1.4.1 The Concept of Problem Instance Size 1.4.2 Measure of Time and Space 1.4.3 Worst-Case Time/Space Compelxity 1.4.4 Dealing with Non-Smooth Functions 1.4.5 Time/Space for Basic Arithmetic/Logic Operations 1.4.6 Where Time Complexity is Not a Deciding Factor 1.5 Time and Space Analysis of Some Simple Algorithms 1.5.1 Maximum Facility Usage Problem 1.5.2 Analysis of Bubble Sort 1.5.3 Analysis of GCD Algorithm 1.6 More Examples of Algorithms 1.6.1 Merging Two Sorted Sequences 1.6.2 Quick Sort 1.6.3 A Special Case 1.7 Sorting Algorithms Which Do Not Use Comparison 1.7.1 Stable Sorting 1.7.2 Counting Sort 1.7.3 Radix Sort 1.7.4 B
Who reads Computer Algorithms: Correctness Proofs and Performance Analyses?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Shashank K. Mehta
- Publisher
- PHI Learning
- Published
- 2023
- Language
- EN
- ISBN
- 9789391818869
- Category
- nonfiction
More by Shashank K. Mehta
Browse all works by Shashank K. Mehta
Similar books
- Proofs and Algorithms || — Gilles Dowek (auth.) (2011)
- Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs — Mauricio Ayala-Rincón, Flávio L. C. de Moura (2017)
- Algorithms and Data Structures: Design Correctness Analysis (International computer science series) — Jeffrey H. Kingston, Jeffrey Kingston, Brian Cole, Jeffrey Howard (1990)
- Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) — Boldo, Sylvie; Melquiond, Guillaume (2017)
- Distributed Graph Algorithms for Computer Networks (Computer Communications and Networks) — www.it-ebooks.info (2013)
- Computer Architecture : Complexity and Correctness — Silvia M. Mueller, Wolfgang J. Paul (2010)