{"title":"Monographs In Computer Science","description":null,"products":[{"product_id":"design-and-analysis-of-algorithms-book-dexter-c-kozen-9780387976877","title":"The Design and Analysis of Algorithms","description":"These are my lecture notes from CS681: Design and Analysis of Algo- rithms, a one-semester graduate course I taught at Cornell for three consec- utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science preparing for their PhD qualifying exams, and to introduce theory students to some advanced topics in the design and analysis of algorithms. The material is thus a mixture of core and advanced topics. At first I meant these notes to supplement and not supplant a textbook, but over the three years they gradually took on a life of their own. In addition to the notes, I depended heavily on the texts - A. V. Aho, J. E. Hopcroft, and J. D. Ullman, The Design and Analysis of Computer Algorithms. Addison-Wesley, 1975. - M. R. Garey and D. S. Johnson, Computers and Intractibility: A Guide to the Theory of NP-Completeness. w. H. Freeman, 1979. - R. E. Tarjan, Data Structures and Network Algorithms. SIAM Regional Conference Series in Applied Mathematics 44, 1983. and still recommend them as excellent references.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49600993132817,"sku":"GOR013712982","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49916267528465,"sku":"CIN0387976876G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50934211608849,"sku":"CIN0387976876VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425482273041,"sku":"NLS9780387976877","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387976876.jpg?v=1751229028"},{"product_id":"science-of-programming-book-david-gries-9780387964805","title":"The Science of Programming","description":"Describes basic programming principles and their step-by- step applications.Numerous examples are included.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49723985166609,"sku":"CIN0387964800G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":51415763583249,"sku":"CIN0387964800A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51726262567185,"sku":"GOR001377733","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52125596582161,"sku":"NLS9780387964805","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":53268393296145,"sku":"GOR003888712","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387964800.jpg?v=1750696329"},{"product_id":"science-of-programming-book-david-gries-9780387906416","title":"The Science of Programming","description":"Describes basic programming principles and their step-by- step applications.Numerous examples are included.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49906209521937,"sku":"CIN038790641XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50305408467217,"sku":"CIN038790641XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51122235638033,"sku":"GOR008357643","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53401578766609,"sku":"CIN038790641XA","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/038790641X.jpg?v=1751038794"},{"product_id":"programming-in-the-1990s-book-edward-cohen-9780387973821","title":"Programming in the 1990s","description":"Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by \"induction\": features of some famous programming languages are given operational meaning (e.g. a loop \"goes round and round\"), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we've seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of \"bugs\". Fixing them becomes puzzle-solving, as does finding tricks that exploit or avoid poorly designed features of the programming language. The entire process is time-consuming and expensive. And even so, we are never quite sure if our programs really work in all cases. When approached in this way, programming is indeed a dull activity. There is, however, another approach to programming, an approach in which programs can be developed reliably, with attention to the real issues. It is a practical approach based on methodically developing programs from their specifications. Besides being practical, it is exciting. Many programs can be developed with relative ease. Problems which once were difficult can now be solved by beginners. Elegant solutions bring great satisfaction. This is our subject. We are interested in making programming an exciting topic!","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49923454468369,"sku":"CIN0387973826G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52617068282129,"sku":"NLS9780387973821","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387973826.jpg?v=1750910461"},{"product_id":"compiler-construction-book-william-m-waite-9780387908212","title":"Compiler Construction","description":"Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Our intent is to provide the reader with a firm theoretical basis for compiler construction and sound engineering principles for selecting alternate methods, imple- menting them, and integrating them into a reliable, economically viable product. The emphasis is upon a clean decomposition employing modules that can be re-used for many compilers, separation of concerns to facilitate team programming, and flexibility to accommodate hardware and system constraints. A reader should be able to understand the questions he must ask when designing a compiler for language X on machine Y, what tradeoffs are possible, and what performance might be obtained. He should not feel that any part of the design rests on whim; each decision must be based upon specific, identifiable characteristics of the source and target languages or upon design goals of the compiler. The vast majority of computer professionals will never write a compiler. Nevertheless, study of compiler technology provides important benefits for almost everyone in the field . • It focuses attention on the basic relationships between languages and machines. Understanding of these relationships eases the inevitable tran- sitions to new hardware and programming languages and improves a person's ability to make appropriate tradeoft's in design and implementa- tion .","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49940905165073,"sku":"CIN0387908218G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387908218.jpg?v=1751390524"},{"product_id":"theory-of-objects-book-martin-abadi-9780387947754","title":"A Theory of Objects","description":"Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49975870554385,"sku":"CIN0387947752G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51826718179601,"sku":"GOR012294168","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52429670220049,"sku":"NLS9780387947754","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387947752.jpg?v=1751071700"},{"product_id":"ml-with-concurrency-book-f-nielson-9780387948751","title":"Ml with Concurrency","description":"Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50054584664337,"sku":"CIN0387948759G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B00APYC1CQ.jpg?v=1751390533"},{"product_id":"design-of-well-structured-and-correct-programs-book-suad-alagic-9780387902999","title":"The Design of Well-Structured and Correct Programs","description":"The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. We provide and apply proof rules for a wide range of program structures, including conditionals, loops, procedures and recur- sion. We analyze situations in which the restricted use of gotos can be justified, providing a new approach to proof rules for such situations. We study several important techniques of data structuring, including arrays, files, records and linked structures. The secondary goal of this book is to teach the reader how to use the programming language Pascal. This is the first text to teach Pascal pro- gramming in a fashion which not only includes advanced algorithms which operate on advanced data structures, but also provides the full axiomatic definition of Pascal due to Wirth and Hoare. Our approach to the language is very different from that of a conventional programming text.","brand":"WoB","offers":[{"title":"US \/ WELL_READ \/ SBYB","offer_id":50107937423633,"sku":"CIN0387902996A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50350393590033,"sku":"CIN0387902996G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51835286716689,"sku":"GOR002677319","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/B007YZV04E.jpg?v=1751006737"},{"product_id":"active-rules-in-database-systems-book-norman-w-paton-9780387985299","title":"Active Rules in Database Systems","description":"Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. The book is divided into several parts, organized by theme: the first, Fundamentals covers the underlying methodology reagrding active rules, next comes a collection of chapters which cover formal specification, rule analysis, performance analysis, and support tools, the third part is devoted to a number of chapters covering the implementation of active rules in a number of commercial systems. Finally, come sections on applications and future directions that research may take. All researchers in databases will find this provides a valuable overview of this topic.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50138872873233,"sku":"CIN0387982183G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52349511237905,"sku":"NLS9780387985299","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387985298.jpg?v=1750696338"},{"product_id":"selected-writings-on-computing-a-personal-perspective-book-edsger-w-dijkstra-9780387906522","title":"Selected Writings on Computing: A Personal Perspective","description":"Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling!- alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of what I was doing. The public part of that output found its place in what became known as \"the EWD series\", which can be viewed as a form of scientific correspondence, possible since the advent of the copier. (That same copier makes it hard to estimate its actual distribution: I myself made about two dozen copies of my texts, but their recipients were welcome to act as further nodes of the distribution tree. ) The decision to publish a se1ection from the EWD series in book form was at first highly embarrassing, but as the months went by I got used to the idea. As soon as some guiding principles had been adopted -preferably not published elsewhere, as varied and as representative as possible, etc.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50177254490385,"sku":"CIN0387906525G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":53621429862673,"sku":"CIN0387906525A","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387906525.jpg?v=1751038794"},{"product_id":"logical-approach-to-discrete-math-book-david-gries-9780387941158","title":"A Logical Approach to Discrete Math","description":"This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo­ sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math­ ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con­ tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50198980559121,"sku":"CIN0387941150G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50471017873681,"sku":"GOR004807885","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51001975079185,"sku":"NIN9780387941158","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51694843396369,"sku":"CIN0387941150VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52462607827217,"sku":"NLS9780387941158","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387941150.jpg?v=1751166032"},{"product_id":"parameterized-complexity-book-rodney-g-downey-9780387948836","title":"Parameterized Complexity","description":"The idea for this book was conceived over the second bottle of Villa Maria's Caber­ net Medot '89, at the dinner of the Australasian Combinatorics Conference held at Palmerston North, New Zealand in December 1990, where the authors first met and discovered they had a number of interests in common. Initially, we embarked on a small project to try to formulate reductions to address the apparent parame­ terized intractability of DOMINATING SET, and to introduce a structure in which to frame our answers. Having spent several months trying to get the definitions for the reductions right (they now seem so obvious), we turned to our tattered copies of Garey and Johnson's work [239]. We were stunned to find that virtually none of the classical reductions worked in the parameterized setting. We then wondered if we'd be able to find any interesting reductions. Several years, many more bottles, so many papers, and reductions later it [3] seemed that we had unwittingly stumbled upon what we believe is a truly central and new area of complexity theory. It seemed to us that the material would be of great interest to people working in areas where exact algorithms for a small range of parameters are natural and useful (e. g. , Molecular Biology, VLSI design). The tractability theory was rich with distinctive and powerful techniques. The intractability theory seemed to have a deep structure and techniques all of its own.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50350683128081,"sku":"CIN038794883XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52133001068817,"sku":"NLS9780387948836","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/038794883X.jpg?v=1750975303"},{"product_id":"computational-geometry-book-franco-p-preparata-9780387961316","title":"Computational Geometry","description":"From the reviews: \"This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is well organized and lucidly written; a timely contribution by two founders of the field. It clearly demonstrates that computational geometry in the plane is now a fairly well-understood branch of computer science and mathematics. It also points the way to the solution of the more challenging problems in dimensions higher than two.\" #Mathematical Reviews#1 \"... This remarkable book is a comprehensive and systematic study on research results obtained especially in the last ten years. The very clear presentation concentrates on basic ideas, fundamental combinatorial structures, and crucial algorithmic techniques. The plenty of results is clever organized following these guidelines and within the framework of some detailed case studies. A large number of figures and examples also aid the understanding of the material. Therefore, it can be highly recommended as an early graduate text but it should prove also to be essential to researchers and professionals in applied fields of computer-aided design, computer graphics, and robotics.\" #Biometrical  Journal#2","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50351530017041,"sku":"CIN0387961313G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50405246697745,"sku":"CIN0387961313VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52139777327377,"sku":"NLS9780387961316","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387961313.jpg?v=1751260099"},{"product_id":"logical-approach-to-discrete-math-book-david-gries-9781441928351","title":"A Logical Approach to Discrete Math","description":"This text attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it. We strive to give students a skill in the propo­ sitional and predicate calculi and then to exercise that skill thoroughly in applications that arise in computer science and discrete mathematics. We are not logicians, but programming methodologists, and this text reflects that perspective. We are among the first generation of scientists who are more interested in using logic than in studying it. With this text, we hope to empower further generations of computer scientists and math­ ematicians to become serious users of logic. Logic is the glue Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -for example, proof by assumption, con­ tradiction, mutual implication, and induction- have their basis in formal logic. Thus, whether proofs are to be presented formally or informally, a study of logic can provide understanding.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50384083124497,"sku":"CIN1441928359G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51026447827217,"sku":"NIN9781441928351","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52476945039633,"sku":"NLS9781441928351","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1441928359.jpg?v=1751337703"},{"product_id":"programming-in-modula-2-book-n-wirth-9783540122067","title":"Programming in Modula-2","description":"\u003cp\u003e\u003cstrong\u003eThe story of The Tall Tree is an awe-inspiring expression of hope\u003c\/strong\u003e. This beautifully illustrated picture book is about a caterpillar and his dream, who ventures off in search of his vision. He meets various creatures and encounters dangerous moments along the way. With guidance from the butterfly and glow bug, the caterpillar is led to a place where dreams come true. Written in his heart was the dream that became the reality of his life.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePerfect for children ages 3-8, Pre-K to 3rd grade.\u003c\/strong\u003e And even adults with the heart of a child. It's a great bedtime storybook with colorful and expressive illustrations. This book will make a wonderful gift for any occasion\u0026gt;\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50796556452113,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50796556747025,"sku":"CIN3540122060VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540122060.jpg?v=1750870528"},{"product_id":"parsing-techniques-book-dick-grune-9780387202488","title":"Parsing Techniques","description":"Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition.   This second edition presents new developments and discoveries that have been made in the field. Parsing techniques have grown considerably in importance, both in computational linguistics where such parsers are the only option, and computer science, where advanced compilers often use general CF parsers. Parsing techniques provide a solid basis for compiler construction and contribute to all existing software: enabling Web browsers to analyze HTML pages and PostScript printers to analyze PostScript. Some of the more advanced techniques are used in code generation in compilers and in data compression.   In linguistics, the importance of formal grammars was recognized early on, but only recently have the corresponding parsing techniques been applied. Also their importance as general pattern recognizers is slowly being acknowledged. This text Parsing Techniques explores new developments, such as generalized deterministic parsing, linear-time substring parsing, parallel parsing, parsing as intersection, non-canonical methods, and non-Chomsky systems.   To provide readers with low-threshold access to the full field of parsing techniques, this new edition uses a two-tiered structure. The basic ideas behind the dozen or so existing parsing techniques are explained in an intuitive and narrative style, and problems are presented at the conclusion of each chapter, allowing the reader to step outside the bounds of the covered material and explore parsing techniques at various levels. The reader is also provided with an extensive annotated bibliography as well as hints and partial solutions to a number of problems. In the bibliography, hundreds of realizations and improvements of parsing techniques are explained in a much terser, yet still informal, style, improving its readability and usability.   The reader should have an understanding of algorithmic thinking, especially recursion; however, knowledge of any particular programming language is not required.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50955734352145,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50955734647057,"sku":"GOR008282419","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51712914981137,"sku":"CIN038720248XVG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52486536626449,"sku":"NLS9780387202488","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/038720248X.jpg?v=1750975268"},{"product_id":"practical-theory-of-programming-book-eric-cr-hehner-9780387941066","title":"A Practical Theory of Programming","description":"There are several theories of programming. The first usable theory, often called \"Hoare's Logic\", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51001987694865,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51001990512913,"sku":"NIN9780387941066","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52128117948689,"sku":"NLS9780387941066","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387941061.jpg?v=1751357959"},{"product_id":"programming-methodology-book-annabelle-mclver-9780387953496","title":"Programming Methodology","description":"The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people to pull everything together in an acceptable timescale. The question of how pro gram­ mers understand their own tasks, and how they fit together with those of their colleagues to achieve the overall goal, is a major concern. Without that under­ standing it would be practically impossible to realise the commercial potential of our present-day computing hardware. That programming has been able to keep pace with the formidable advances in hardware is due to the similarly formidable advances in the principles for design, construction and organisation of programs. The efficacy of these methods and principles speaks for itself - computer technology is all-pervasive - but even more telling is that they are beginning to feed back and inftuence hardware design as weIl. The study of such methods is called programming methodology, whose topics range over system-and domain-modelling, concurrency, object orientation, program specification and validation. That is the theme of this collection.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51001990611217,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51001993756945,"sku":"NIN9780387953496","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52664158650641,"sku":"NLS9780387953496","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387953493.jpg?v=1751196528"},{"product_id":"computational-geometry-book-franco-p-preparata-9781461270102","title":"Computational Geometry","description":"From the reviews: \"This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is well organized and lucidly written; a timely contribution by two founders of the field. It clearly demonstrates that computational geometry in the plane is now a fairly well-understood branch of computer science and mathematics. It also points the way to the solution of the more challenging problems in dimensions higher than two.\" #Mathematical Reviews#1 \"... This remarkable book is a comprehensive and systematic study on research results obtained especially in the last ten years. The very clear presentation concentrates on basic ideas, fundamental combinatorial structures, and crucial algorithmic techniques. The plenty of results is clever organized following these guidelines and within the framework of some detailed case studies. A large number of figures and examples also aid the understanding of the material. Therefore, it can be highly recommended as an early graduate text but it should prove also to be essential to researchers and professionals in applied fields of computer-aided design, computer graphics, and robotics.\" #Biometrical  Journal#2","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51027648774417,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51027651625233,"sku":"NIN9781461270102","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52428663980305,"sku":"NLS9781461270102","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1461270103.jpg?v=1751242535"},{"product_id":"mathematical-foundations-of-computer-science-book-peter-a-fejer-9781461277927","title":"Mathematical Foundations of Computer Science","description":"Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51027699335441,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51027703005457,"sku":"NIN9781461277927","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52627284033809,"sku":"NLS9781461277927","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1461277922.jpg?v=1751020224"},{"product_id":"specification-and-transformation-of-programs-book-helmut-a-partsch-9783540523567","title":"Specification and Transformation of Programs","description":"\"Specification and transformation of programs\" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51063487267089,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51063491232017,"sku":"NIN9783540523567","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52128159629585,"sku":"NLS9783540523567","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3540523561.jpg?v=1751064974"},{"product_id":"relational-database-technology-book-suad-alagic-9780387962764","title":"Relational Database Technology","description":"This book presents a unified collection of concepts, tools, and techniques that constitute the most important technology available today for the design and implementation of information systems. The framework adopted for this integration goal is the one offered by the relational model of data, its applica- tions, and implementations in multiuser and distributed environments. The topics presented in the book include conceptual modeling of application environments using the relational model, formal properties of that model, and tools such as relational languages which go with it, techniques for the logical and physical design of relational database systems and their imple- mentations. The book attempts to develop an integrated methodology for addressing all these issues on the basis of the relational approach and various research and practical developments related to that approach. This book is the only one available today that presents such an inte- gration. The diversity of approaches to data models, to logical and physical database design, to database application programming, and to use and imple- mentation of database systems calls for a common framework for all of them. It has become difficult to study modern database technology with- out such a unified approach to a diversity of results developed during the vigorous growth of the database area in recent years, let alone to teach a course on the subject.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52089169936657,"sku":"NLS9780387962764","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387962764.jpg?v=1756906059"},{"product_id":"theory-of-objects-book-martin-abadi-9781461264453","title":"A Theory of Objects","description":"Procedural languages are generally well understood and their formal foundations cast in the forms of various lambda-calculi. For object- oriented languages however the situation is not as clear-cut. In this book the authors propose and develop a different approach by developing object calculi in which objects are treated as primitives. Using object calculi,the authors are able to explain both the semantics of objects and their typing rules and demonstrate how to develop all of the most important concepts of object-oriented programming languages: self, dynamic dispatch, classes, inheritance, protected and private methods, prototyping, subtyping, covariance and contravariance, and method specialization. Many researchers and graduate students will find this an important development of the underpinnings of object-oriented programming.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52126400381201,"sku":"NLS9781461264453","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461264453.jpg?v=1757475960"},{"product_id":"panoramic-vision-book-ryad-benosman-9781441928801","title":"Panoramic Vision","description":"Current cameras are poor imitations of the human eye and close descen- dants in their design of ideas and a technology that are more than a century old. People in computer vision have traditionally used off-the-shelf cameras that were not meant for the uses they were intended for by these researchers: off-the-shelf cameras are designed to capture images to be printed on paper or looked at on a television screen, not for guiding robots or making 3D models of the environment or even surveilling a large area where very large field of views, high geometric and photometric accuracies are necessary. Quite a significant part of the efforts in computer vision has been targeted at overcoming algorithmically these problems. The authors of this book convince us that it is possible to abandon the traditional route of using standard cameras and to follow the path of designing new cameras explicitly for solving the tasks at hand in computer vision applications. This leads to different design concepts and allows to alleviate many of the difficulties encountered in the processing of the images taken with the traditional cameras.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128430883089,"sku":"NLS9781441928801","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441928801.jpg?v=1757490989"},{"product_id":"practical-theory-of-programming-book-eric-cr-hehner-9781461264446","title":"A Practical Theory of Programming","description":"There are several theories of programming. The first usable theory, often called Hoare's Logic, is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128622674193,"sku":"NLS9781461264446","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461264446.jpg?v=1757492456"},{"product_id":"algorithmic-language-and-program-development-book-h-partsch-9783540111481","title":"Algorithmic Language and Program Development","description":"The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program- ming languages, but rather with their commonalities. The task of formal program develop- It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a programming language de- signed according to the principles of program transformation is remarkable. Of course there are various notations for such a language. The notation used in this book is mainly oriented towards ALGOL 68, but is also strongly influenced by PASCAL - it could equally well have been the other way round. In the appendices there are occa- sional references to the styles used in ALGOL, PASCAL, LISP, and elsewhere.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52129423360273,"sku":"NLS9783540111481","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540111481.jpg?v=1757496405"},{"product_id":"super-recursive-algorithms-book-mark-burgin-9780387955698","title":"Super-Recursive Algorithms","description":"Super-Recursive Algorithms provides an accessible, focused examination of the theory of super-recursive algorithms and its ramifications for the computer industry, networks, artificial intelligence, embedded systems, and the Internet. The book demonstrates how these algorithms are more appropriate as mathematical models for modern computers, and how these algorithms present a better framework for computing methods in such areas as numerical analysis, array searching, and controlling and monitoring systems. In addition, a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole, is developed. Problems of efficiency, software development, parallel and distributed processing, pervasive and emerging computation, computer architecture, machine learning, brain modeling, knowledge discovery, and intelligent systems are addressed. This clear exposition, motivated by numerous examples and illustrations, serves researchers and advanced students interested in theory of computation and algorithms.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133249417489,"sku":"NLS9780387955698","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387955698.jpg?v=1757527633"},{"product_id":"automata-theoretic-aspects-of-formal-power-series-book-arto-salomaa-9781461262664","title":"Automata-Theoretic Aspects of Formal Power Series","description":"This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52139506041105,"sku":"NLS9781461262664","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461262664.jpg?v=1757569376"},{"product_id":"active-rules-in-database-systems-book-norman-w-paton-9781461264484","title":"Active Rules in Database Systems","description":"Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. The book is divided into several parts, organized by theme: the first, Fundamentals covers the underlying methodology reagrding active rules, next comes a collection of chapters which cover formal specification, rule analysis, performance analysis, and support tools, the third part is devoted to a number of chapters covering the implementation of active rules in a number of commercial systems. Finally, come sections on applications and future directions that research may take. All researchers in databases will find this provides a valuable overview of this topic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52140889735441,"sku":"NLS9781461264484","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461264484.jpg?v=1757576040"},{"product_id":"fairness-book-nissim-francez-9781461293477","title":"Fairness","description":"The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor- tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature. Fairness is one of those concepts that can intuitively be explained very brieft.y, but bear a lot of consequences, both in theory and the practicality of programming languages. Scientists have traditionally been attracted to studying such concepts. However, a rigorous study of the concept needs a lot of detailed development, evoking much machinery of both mathemat- ics and computer science. I am fully aware of the fact that this field of research still lacks matu- rity, as does the whole subject of theoretical studies of concurrency and nondeterminism. One symptom of this lack of maturity is the proliferation of models used by the research community to discuss these issues, a variety lacking the invariance property present, for example, in universal formalisms for sequential computing.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52141733740817,"sku":"NLS9781461293477","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461293477.jpg?v=1757578014"},{"product_id":"selected-writings-on-computing-a-personal-perspective-book-edsger-w-dijkstra-9781461256977","title":"Selected Writings on Computing: A personal Perspective","description":"Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling - alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of what I was doing. The public part of that output found its place in what became known as the EWD series, which can be viewed as a form of scientific correspondence, possible since the advent of the copier. (That same copier makes it hard to estimate its actual distribution: I myself made about two dozen copies of my texts, but their recipients were welcome to act as further nodes of the distribution tree. ) The decision to publish a se1ection from the EWD series in book form was at first highly embarrassing, but as the months went by I got used to the idea. As soon as some guiding principles had been adopted -preferably not published elsewhere, as varied and as representative as possible, etc.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52141747699985,"sku":"NLS9781461256977","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53491756302609,"sku":"NIN9781461256977","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461256977.jpg?v=1757578083"},{"product_id":"programming-methodology-book-david-gries-9781461263173","title":"Programming Methodology","description":"This volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of programming methodology that have helped define the field and give it direction. It is hoped that the scientist in the field will find the volume useful as a reference, while the scientist in neighboring fields will find it useful in seriously acquainting himself with important ideas in programming methodology. The advanced student can also study it-either in a course or by himself -in order to learn significant material that may not appear in texts for some time. The second reason for this volume is to make public the nature and work on programming methodology of IFIP Working Group 2.3, hereafter called WG2.3. (IFIP stands for International Federation for Information Processing.) WG2.3 is one of many IFIP Working Groups that have been established to provide international forums for discussion of ideas in various areas. Generally, these groups publish proceedings of some of their meetings and occasionally they sponsor a larger conference that persons outside a group can attend. WG2.3 has been something of a maverick in this respect. From the beginning the group has shunned paperwork, reports, meetings, and the like. This has meant less pUblicity for IFIP and WG2.3, but on the other hand it has meant that meetings could be devoted almost wholly to scientific discussions.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142085832977,"sku":"NLS9781461263173","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461263173.jpg?v=1757579143"},{"product_id":"programming-approach-to-computability-book-aj-kfoury-9781461257516","title":"A Programming Approach to Computability","description":"Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and postpone consideration of such classic models as Turing machines, string-rewriting systems, and p. -recursive functions till the final chapter. Moreover, we balance the presentation of un solvability results such as the unsolvability of the Halting Problem with a presentation of the positive results of modern programming methodology, including the use of proof rules, and the denotational semantics of programs. Computer science seeks to provide a scientific basis for the study of information processing, the solution of problems by algorithms, and the design and programming of computers. The last 40 years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the develop- ment of mathematical techniques to allow the rigorous specification of program, process, and machine.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52142457127185,"sku":"NLS9781461257516","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461257516.jpg?v=1757580245"},{"product_id":"algorithmic-algebra-book-bhubaneswar-mishra-9780387940908","title":"Algorithmic Algebra","description":"Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra or understand the algorithms underlying many popular symbolic computational systems: Mathematica, Maple or Axiom, for instance. Also, researchers in robotics, solid modeling, computational geometry and automated theorem proving community may find it useful as symbolic algebraic techniques have begun to play an important role in these areas. The book, while being self-contained, is written at an advanced level and deals with the subject at an appropriate depth. The book is accessible to computer science students with no previous algebraic training. Some mathematical readers, on the other hand, may find it interesting to see how algorithmic constructions have been used to provide fresh proofs for some classical theorems. The book also contains a large number of exercises with solutions to selected exercises, thus making it ideal as a textbook or for self-study.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52151119872273,"sku":"NLS9780387940908","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387940908.jpg?v=1757612261"},{"product_id":"parsing-techniques-book-dick-grune-9781441919014","title":"Parsing Techniques","description":"Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Parsing techniques have grown considerably in importance, both in computer science, ie. advanced compilers often use general CF parsers, and computational linguistics where such parsers are the only option.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52332071387409,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52332072010001,"sku":"NLS9781441919014","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441919014.jpg?v=1758150442"},{"product_id":"geometric-fundamentals-of-robotics-book-jm-selig-9781441919298","title":"Geometric Fundamentals of Robotics","description":"Geometric Fundamentals of Robotics provides an elegant introduction to the geometric concepts that are important to applications in robotics. This second edition is still unique in providing a deep understanding of the subject: rather than focusing on computational results in kinematics and robotics, it includes significant state-of-the-art material that reflects important advances in the field, connecting robotics back to mathematical fundamentals in group theory and geometry.   Geometric Fundamentals of Robotics serves a wide audience of graduate students as well as researchers in a variety of areas, notably mechanical engineering, computer science, and applied mathematics. It is also an invaluable reference text.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52332089934097,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52332090654993,"sku":"NLS9781441919298","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441919298.jpg?v=1758150499"},{"product_id":"on-a-method-of-multiprogramming-book-whj-feijen-9780387988702","title":"On a Method of Multiprogramming","description":"It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52334260322577,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52334260912401,"sku":"NLS9780387988702","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387988702.jpg?v=1758156331"},{"product_id":"specification-and-development-of-interactive-systems-book-manfred-broy-9781461265184","title":"Specification and Development of Interactive Systems","description":"This book presents a fundamental mathematical and logical approach to soft- ware and systems engineering. Considering the large number of books de- scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi- neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi- cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52337520083217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52337520738577,"sku":"NLS9781461265184","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461265184.jpg?v=1758166913"},{"product_id":"vlsi-placement-and-routing-the-pi-project-book-alan-t-sherman-9781461396604","title":"VLSI Placement and Routing: The PI Project","description":"This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. work (primarily on the place  ment problem) in the context of the overall design of PI and the contributions of the many other PI team members.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52339509068049,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52339509690641,"sku":"NLS9781461396604","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461396604.jpg?v=1758169795"},{"product_id":"software-configuration-management-using-vesta-book-clark-allan-heydon-9780387002293","title":"Software Configuration Management Using Vesta","description":"Developers must take time from writing and debugging code to cope with the operational problems thrust upon them by their build system's inade quate support of large-scale concurrent development. Since modem software development occurs worldwide, Vesta supports con current, multi-site, distributed development.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52342519791889,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52342523855121,"sku":"NLS9780387002293","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387002293.jpg?v=1758172756"},{"product_id":"origins-of-digital-computers-book-b-randell-9783540113195","title":"The Origins of Digital Computers","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52401742119185,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52401742872849,"sku":"NLS9783540113195","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540113195.jpg?v=1758755678"},{"product_id":"compiler-construction-book-william-m-waite-9781461297314","title":"Compiler Construction","description":"Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Our intent is to provide the reader with a firm theoretical basis for compiler construction and sound engineering principles for selecting alternate methods, imple- menting them, and integrating them into a reliable, economically viable product. The emphasis is upon a clean decomposition employing modules that can be re-used for many compilers, separation of concerns to facilitate team programming, and flexibility to accommodate hardware and system constraints. A reader should be able to understand the questions he must ask when designing a compiler for language X on machine Y, what tradeoffs are possible, and what performance might be obtained. He should not feel that any part of the design rests on whim; each decision must be based upon specific, identifiable characteristics of the source and target languages or upon design goals of the compiler. The vast majority of computer professionals will never write a compiler. Nevertheless, study of compiler technology provides important benefits for almost everyone in the field . - It focuses attention on the basic relationships between languages and machines. Understanding of these relationships eases the inevitable tran- sitions to new hardware and programming languages and improves a person's ability to make appropriate tradeoft's in design and implementa- tion .","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52408041505041,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52408042160401,"sku":"NLS9781461297314","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461297314.jpg?v=1758773939"},{"product_id":"asynchronous-circuits-book-janusz-a-brzozowski-9780387944203","title":"Asynchronous Circuits","description":"Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.  This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to graduate students and will be suitable for computer scientists and engineers involved in the research and development of asynchronous designs.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52409515475217,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52409516032273,"sku":"NLS9780387944203","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387944203.jpg?v=1758775142"},{"product_id":"high-performance-discovery-in-time-series-book-new-york-university-courant-in-9781441918420","title":"High Performance Discovery In Time Series","description":"This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered are algorithms for query by humming, gamma-ray burst detection, pairs trading, and density detection.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52409851216145,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52409851805969,"sku":"NLS9781441918420","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441918420.jpg?v=1758776076"},{"product_id":"abstraction-refinement-and-proof-for-probabilistic-systems-book-annabelle-mciver-9781441923127","title":"Abstraction, Refinement and Proof for Probabilistic Systems","description":"Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .        Presents results of a large and integrated body of research in the area of 'quantitative' program logics.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425024667921,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425025552657,"sku":"NLS9781441923127","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441923127.jpg?v=1759153636"},{"product_id":"adapting-proofs-as-programs-book-iman-poernomo-9781441920140","title":"Adapting Proofs-as-Programs","description":"This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesaroll-your-ownapproachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting for researchers working in the target problem domains.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425061990673,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425062777105,"sku":"NLS9781441920140","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441920140.jpg?v=1759153758"},{"product_id":"reverse-engineering-of-object-oriented-code-book-paolo-tonella-9781441923257","title":"Reverse Engineering of Object Oriented Code","description":"During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal-oriented views of the system, able to summarize relevant properties of the program's computations. Reverse Engineering of Object-Oriented Code provides a comprehensive overview of several techniques that have been recently investigated in the field of reverse engineering. The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted for their visualization. This is important because the UML has become the standard for representing design diagrams in object-oriented development. A state-of-the-art exposition on how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code maintenance and alteration. Essential object-oriented concepts and programming methods for software engineers and researchers.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52425184608529,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52425185296657,"sku":"NLS9781441923257","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781441923257.jpg?v=1759154115"},{"product_id":"discipline-of-multiprogramming-book-jayadev-misra-9780387952062","title":"A Discipline of Multiprogramming","description":"A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426180526353,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426181181713,"sku":"NLS9780387952062","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387952062.jpg?v=1759156942"},{"product_id":"adapting-proofs-as-programs-book-iman-poernomo-9780387237596","title":"Adapting Proofs-as-Programs","description":"This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesaroll-your-ownapproachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting for researchers working in the target problem domains.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426499096849,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426499817745,"sku":"NLS9780387237596","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780387237596.jpg?v=1759158018"},{"product_id":"guide-to-modula-2-book-kaare-christian-9781461293491","title":"A Guide to Modula-2","description":"Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful programming language that was introduced in 1970 by Niklaus Wirth. During the 1970's Pascal became the most widely taught programming language and it gained acceptance in science and industry. In 1980 Dr. Wirth released the Modula-2 program- ming language. Modula-2 is an evolution of Pascal. It improves on the successes of Pascal while adding the MODULE - a tool for ex- pressing the relations between the major parts of programs. In ad- dition Modula-2 contains low-level features for systems program- ming and coroutines for concurrent programming. Programming languages are important because they are used to express ideas. Some programming languages are so limited that certain ideas can't be easily expressed. For example languages that lac k floating point arithmetic are inappropriate for scientific com- putations. Languages such as Basic and Fortran that lack recur- sion are unsuitable for text processing or systems programming. Sometimes a programming language is useable for a certain appli- cation but it is far from ideal. A good example is the difficulty of writing large programs in pure Pascal. Pascal is a poor language for large jobs because it lacks facilities for partitioning a program viii Preface 6","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52426943725841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52426944413969,"sku":"NLS9781461293491","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461293491.jpg?v=1759159466"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/monographs-in-computer-science-book-series.oembed?page=5","provider":"World of Books ","version":"1.0","type":"link"}