Search results for "Mathematical Foundations of Computer Science"
Items we need to order for you
R 1,221.00
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. There are new implementations of most of the major programming systems in the book, including the interpreters and compilers, and the authors have incorporated many small changes that reflect their experience teaching the course at MIT since the first edition was published. A new theme has been introduced that emphasizes the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming and lazy evaluation, and nondeterministic programming. There are new example sections on higher-order procedures in graphics and on applications of stream processing in numerical programming, and many new exercises. In addition, all the programs have been reworked to run in any Scheme implementation that adheres to the IEEE standard.
R 2,878.00
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
Now Includes the Long-Anticipated Volume 4B! Countless readers have spoken about the profound personal influence of Knuth's work. Scientists have marveled at the beauty and elegance of his analysis, while ordinary programmers have successfully applied his "cookbook" solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books. Primarily written as a reference, some people have nevertheless found it possible and interesting to read each volume from beginning to end. A programmer in China even compared the experience to reading a poem. Whatever your background, if you need to do any serious computer programming, you will find your own good reason to make each volume in this series a readily accessible part of your scholarly or professional library. These five books comprise what easily could be the most important set of information on any serious programmer's bookshelf. This set now includes Volume 4B, the sequel to Volume 4A, which extends Knuth's exploration of combinatorial algorithms. These algorithms are of keen interest to software designers because ". . . a single good idea can save years or even centuries of computer time." "Donald Knuth may very well be a great master of the analysis of algorithms, but more than that, he is an incredible and tireless storyteller who always strikes the perfect balance between theory, practice, and fun. [The Art of Computer Programming, Volume 4B, Combinatorial Algorithms, Part 2,] dives deep into the fascinating exploration of search spaces (which is quite like looking for a needle in a haystack or, even harder, to prove the absence of a needle in a haystack), where actions performed while moving forward must be meticulously undone when backtracking. It introduces us to the beauty of dancing links for removing and restoring the cells of a matrix in a dance which is both simple to implement and very efficient. And it studies the iconic and versatile satisfiability problem and carefully analyses various ingredients of SAT solvers." --Christine Solnon, Department of Computer Science, INSA Lyon This box set includes the following volumes: The Art of Computer Programming: Volume 1: Fundamental Algorithms, 3rd EditionThe Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd EditionThe Art of Computer Programming: Volume 3: Sorting and Searching, 2nd EditionThe Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, Part 2
R 9,921.00
Art of Computer Programming, The
The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming. –Byte, September 1995 I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up. –Charles Long If you think you're a really good programmer... read [Knuth's] Art of Computer Programming... You should definitely send me a resume if you can read the whole thing. –Bill Gates It's always a pleasure when a problem is hard enough that you have to get the Knuths off the shelf. I find that merely opening one has a very useful terrorizing effect on computers. –Jonathan Laventhol This first volume in the series begins with basic programming concepts and techniques, then focuses more particularly on information structures–the representation of information inside a computer, the structural relationships between data elements and how to deal with them efficiently. Elementary applications are given to simulation, numerical methods, symbolic computing, software and system design. Dozens of simple and important algorithms and techniques have been added to those of the previous edition. The section on mathematical preliminaries has been extensively revised to match present trends in research. Ebook (PDF version) produced by Mathematical Sciences Publishers (MSP),http://msp.org
R 2,442.00
Software Development
Computational software is the backbone of progress in many fields of science and engineering. As the importance and complexity of this software grows, developers should apply software development best practices systematically. However, exploratory, agile, and numerical codes present unique challenges.Developers must combine cutting-edge expertise from applied mathematics, computer science, high-performance computing and domain-specific knowledge, relying on small, highly specialised research groups and individuals from diverse career levels, to maintain codebases across generations of team members, often working asynchronously across the globe. These conditions demand bespoke development techniques tailored to the research environment.This book presents a collection of best practices and lessons learned from the computational science community, offering critical observations on where mainstream development techniques struggle or fail in this specialised domain, or where mainstream software development technology is widely adopted yet might not be the best fit overall. The author challenges common recommendations for code development and suggests that there is a need to design and implement bespoke software development workflows that deliver research software capable of facilitating new insights in challenging research environments.The discussion remains technically focused, avoiding high-level management theory, career development frameworks, and team dynamics discussions in favour of practical ideas that make day-to-day research code development more efficient, effective, and enjoyable.The book is written specifically for practitioners who develop software as part of computational science research. It addresses techniques, recipes, and principles relevant to PhD students, research software engineers, postdoctoral researchers, and senior academics who mentor and instruct colleagues.
R 10,257.00
Software Development
Computational software is the backbone of progress in many fields of science and engineering. As the importance and complexity of this software grows, developers should apply software development best practices systematically. However, exploratory, agile, and numerical codes present unique challenges.Developers must combine cutting-edge expertise from applied mathematics, computer science, high-performance computing and domain-specific knowledge, relying on small, highly specialised research groups and individuals from diverse career levels, to maintain codebases across generations of team members, often working asynchronously across the globe. These conditions demand bespoke development techniques tailored to the research environment.This book presents a collection of best practices and lessons learned from the computational science community, offering critical observations on where mainstream development techniques struggle or fail in this specialised domain, or where mainstream software development technology is widely adopted yet might not be the best fit overall. The author challenges common recommendations for code development and suggests that there is a need to design and implement bespoke software development workflows that deliver research software capable of facilitating new insights in challenging research environments.The discussion remains technically focused, avoiding high-level management theory, career development frameworks, and team dynamics discussions in favour of practical ideas that make day-to-day research code development more efficient, effective, and enjoyable.The book is written specifically for practitioners who develop software as part of computational science research. It addresses techniques, recipes, and principles relevant to PhD students, research software engineers, postdoctoral researchers, and senior academics who mentor and instruct colleagues.
R 2,711.00
Foundations of Logic and Functional Programming
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
R 1,545.07
R 4,531.00
Introduction to HPC with MPI for Data Science
This gentle introduction to High Performance Computing (HPC) for Data Science using the Message Passing Interface (MPI) standard has been designed as a first course for undergraduates on parallel programming on distributed memory models, and requires only basic programming notions.Divided into two parts the first part covers high performance computing using C++ with the Message Passing Interface (MPI) standard followed by a second part providing high-performance data analytics on computer clusters.In the first part, the fundamental notions of blocking versus non-blocking point-to-point communications, global communications (like broadcast or scatter) and collaborative computations (reduce), with Amdalh and Gustafson speed-up laws are described before addressing parallel sorting and parallel linear algebra on computer clusters. The common ring, torus and hypercube topologies of clusters are then explained and global communication procedures on these topologies are studied. This first part closes with the MapReduce (MR) model of computation well-suited to processing big data using the MPI framework.In the second part, the book focuses on high-performance data analytics. Flat and hierarchical clustering algorithms are introduced for data exploration along with how to program these algorithms on computer clusters, followed by machine learning classification, and an introduction to graph analytics. This part closes with a concise introduction to data core-sets that let big data problems be amenable to tiny data problems.Exercises are included at the end of each chapter in order for students to practice the concepts learned, and a final section contains an overall exam which allows them to evaluate how well they have assimilated the material covered in the book.
R 1,424.61
R 1,069.00
Advances in Computers
Advances in Computers, Volume 119, presents innovations in computer hardware, software, theory, design, and applications, with this updated volume including new chapters on Fast Execution of RDF Queries Using Apache Hadoop, A Study of DVFS Methodologies for Multicore Systems with Islanding Feature, Effectiveness of State-of-the-art Dynamic Analysis Techniques in Identifying Diverse Android Malware and Future Enhancements, Eyeing the Patterns: Data Visualization Using Doubly-Seriated Color Heatmaps, Eigenvideo for Video Indexing.
R 5,355.00
R 6,258.00
