Search results for "D. Kozen"
Items we need to order for you
R 1,120.87
Design and Analysis of Algorithms
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.
R 3,043.48
R 559.03
R 561.53
Design and Analysis of Algorithms
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.
R 2,504.84
R 503.90
R 444.80
R 497.58
R 1,258.34
R 1,547.00
Mathematics of Program Construction
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- grams,whether implementedinhardwareorsoftware.Thefocus isontechniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programmingmethodology,programspeci?cation and transformation, programming paradigms, programming calculi, and programming language - mantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 19 papers selected for presentation by the program committee from 37 submissions, as well as the abstract of one invited talk: - tended Static Checking for Java by Greg Nelson, Imaging Systems Department, HP Labs, Palo Alto, California.The conference took place in Stirling, Scotland. The previous six conferences wereheld in1989inTwente,TheNetherlands;in1992inOxford,UK;in 1995in KlosterIrsee,Germany;in 1998in Marstrandnear Got .. eborg,Sweden;in2000in Pontede Lima,Portugal;and in 2002in Dagstuhl, Germany.The proceedingsof these conferences were published as LNCS 375, 669, 947, 1422, 1837, and 2386, respectively.
R 2,015.00
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025. The 21 full papers included in this book were carefully reviewed and selected from 57 submissions. The WoLLIC conference aim of fostering interdisciplinary research in pure and applied logic.
R 2,950.70
R 428.00
Evenings with the Orchestra
This companion to the orchestral concert includes background, biographies, and discussions of 200 masterpieces.
R 1,798.00
Theory of Computation
This textbook is uniquely written with dual purpose. It cover cores material in the foundations of computing for graduate students in computer science and also provides an introduction to some more advanced topics for those intending further study in the area. This innovative text focuses primarily on computational complexity theory: the classification of computational problems in terms of their inherent complexity. The book contains an invaluable collection of lectures for first-year graduates on the theory of computation. Topics and features include more than 40 lectures for first year graduate students, and a dozen homework sets and exercises.
R 3,067.90
Automata and Computability
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and Gödel's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.
R 1,575.76
R 504.00
Woven Web and Tapestries
When D. Ann was only nine-years-old, she was bitten by the poetry bug. Over the years, she had written hundreds of hand-written poems that nobody ever read. One day a few years back, she picked up the stack of poems and had a vision of publishing them. This book is the realization of that vision. Enjoy her upbeat spirituality, her humor, but most of all her humanity. See the whole world through the eyes of a poet, feel the sublime hues of everyday life, the surreal aspects of general living, and the divine in the most simple everyday acts.
R 1,291.02
R 455.00
R 854.00
R 915.00
R 306.00
D
From Neal Stephenson, the #1 New York Times bestselling author of Polostan and Cryptonomicon, comes the second installment in his monumental Bomb Light series--a gripping tale set on the eve of World War II, as nations race to find and control an elusive substance critical to building atomic weapons.Europe, 1934. British journalist Owen Crisp-Upjohn is dispatched to Moscow, where his assignments quickly escalate from cultural reporting to international espionage. Before long, Owen finds himself pulled into the orbit of the enigmatic Earl of Suffolk, a maverick aristocrat, and Aurora, a curiously compelling woman with a shadowy past rooted in Soviet intelligence.Their mission soon becomes clear: secure the earth's only supply of deuterium--"heavy water"--before it falls into Nazi hands. The high-stakes pursuit takes them from London's plush drawing rooms to Barcelona, ravaged by the Spanish Civil War; from far-flung Soviet aerodromes to the perilous, icy landscapes of occupied Norway. Over time, Owen evolves from a detached observer into a man forced to confront profound questions of honor, love, and moral responsibility as loyalties are tested and allegiances shift in an ever-tightening web of science, intrigue, and deceit.Rich with historical insight, emotionally complex characters, and a relentless sense of urgency with a world on the edge of cataclysm, D: Heavy Water is a suspenseful and wildly entertaining tale of courage and consequence in which humankind's future is shaped by decisions made in the shadows.
R 730.00
Contemporary Economic Issues
A comprehensive overview of current research in the field of trade, payments and debt. Grossman and Helpman provide a non-technical review of the literature on technological deteminants of trade. Thisse and Fujita discuss current work on the spatial configuration of economic activities. Robert Findlay tracks world trade from 1000 to 1750, while Robert Baldwin surveys the impact of international trading alliances. In his Presidential paper, the World Bank Vice-President Michael Bruno looks at the pattern of debt crises and economic recovery. The sustainability of external debt in Africa is examined by Daniel Cohen. Alberto Giovannini's argues the case for flexible exchange rates.
R 1,541.54
R 458.00
R 845.00
R 611.00
