Download or read book Dictionary Catalog of the National Agricultural Library written by National Agricultural Library (U.S.) and published by . This book was released on 1967 with total page 782 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Anxieties Fear and Panic in Colonial Settings written by Harald Fischer-Tiné and published by Springer. This book was released on 2017-01-23 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book argues that the history of colonial empires has been shaped to a considerable extent by negative emotions such as anxiety, fear and embarrassment as well as by the regular occurrence of panics. The case studies it assembles examine the various ways in which panics and anxieties were generated in imperial situations and how they shook up the dynamics between seemingly all-powerful colonizers and the apparently defenceless colonized. Drawing from examples of the British, Dutch and German colonial experience, the volume sketches out some of the main areas (such as disease, native ‘savagery’ or sexual transgression) that generated panics or created anxieties in colonial settings and analyses the most common varieties of practical, discursive and epistemic strategies adopted by the colonisers to curb the perceived threats.
Download or read book Library of Congress Catalogs written by Library of Congress and published by . This book was released on with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Library of Congress Catalog written by Library of Congress and published by . This book was released on 1960 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt: A cumulative list of works represented by Library of Congress printed cards.
Download or read book Subject Catalog written by Library of Congress and published by . This book was released on 1960 with total page 642 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Author Catalog written by Library of Congress and published by . This book was released on 1953 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book On a Method of Multiprogramming written by W.H.J. Feijen and published by Springer Science & Business Media. This book was released on 1999-06-11 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Download or read book On the Shape of Mathematical Arguments written by A. J. M. Gasteren and published by Springer Science & Business Media. This book was released on 1990-07-24 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.
Download or read book Program Construction written by F.L. Bauer and published by Springer. This book was released on 2005-11-23 with total page 661 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Euler written by William Dunham and published by American Mathematical Society. This book was released on 2022-01-13 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: Leonhard Euler was one of the most prolific mathematicians that have ever lived. This book examines the huge scope of mathematical areas explored and developed by Euler, which includes number theory, combinatorics, geometry, complex variables and many more. The information known to Euler over 300 years ago is discussed, and many of his advances are reconstructed. Readers will be left in no doubt about the brilliance and pervasive influence of Euler's work.
Download or read book Calculating Instruments and Machines written by Douglas R. Hartree and published by Cambridge University Press. This book was released on 2012-09-27 with total page 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: Originally published in 1950, this book was based on a short series of lectures given by the author at the University of Illinois in 1948. Aimed at the non-specialist, the chief aim of the text was to provide a general introduction to contemporary developments in the field of calculating instruments and machines. But there is some treatment of the historical side of the subject, with appreciation shown for the vision and foresight of key pioneers Charles Babbage and Lord Kelvin. This is a concise and informative volume that will be of value to anyone with an interest in the development and history of computation.
Download or read book The Science of Programming written by David Gries and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: Describes basic programming principles and their step-by- step applications.Numerous examples are included.
Download or read book A Logical Approach to Discrete Math written by David Gries and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 517 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.
Download or read book History of Computing in the Twentieth Century written by Nicholas Metropolis and published by Elsevier. This book was released on 2014-06-28 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: History of Computing in the Twentieth Century
Download or read book Empires of Panic written by Robert Peckham and published by Hong Kong University Press. This book was released on 2015-01-01 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: Empires of Panic is the first book to explore how panics have been historically produced, defined, and managed across different colonial, imperial, and post-imperial settings—from early nineteenth-century East Asia to twenty-first-century America. Contributors consider panic in relation to colonial anxieties, rumors, indigenous resistance, and crises, particularly in relation to epidemic disease. How did Western government agencies, policymakers, planners, and other authorities understand, deal with, and neutralize panics? What role did evolving technologies of communication play in the amplification of local panics into global events? Engaging with these questions, the book challenges conventional histories to show how intensifying processes of intelligence gathering did not consolidate empire, but rather served to produce critical uncertainties—the uneven terrain of imperial panic. Robert Peckham is associate professor in the Department of History and co-director of the Centre for the Humanities and Medicine at the University of Hong Kong. "Charting the relays of rumor and knowledge that stoke colonial fears of disease, disorder, and disaster, Empires of Panic offers timely and cautionary insight into how viscerally epidemics inflame imperial anxieties, and how words and their communication over new technologies accelerate panic, rally government intervention, and unsettle and entrench the exercise of global power. Relevant a century ago and even more so today." — Nayan Shah, University of Southern California; author ofContagious Divides: Epidemics and Race in San Francisco's Chinatown "Empires generated anxiety as much as ambition. This fine study focuses on anxieties generated by disease. It is the first book of its kind to track shifting forms of panic through different geopolitical regimes and imperial formations over the course of two centuries. Working across medical and imperial histories, it is a major contribution to both." — Andrew S. Thompson, University of Exeter; author of Empire and Globalisation: Networks of People, Goods and Capital in the British World, c. 1850–1914(with Gary B. Magee)
Download or read book Software Pioneers written by Manfred Broy and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 714 pages. Available in PDF, EPUB and Kindle. Book excerpt: A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the design of system programs by Gouthier and Pont [1, l Cfl0. 23], which we quote below: A well-defined segmentation of the project effort ensures system modularity. Each task fonos a separate, distinct program module. At implementation time each module and its inputs and outputs are well-defined, there is no confusion in the intended interface with other system modules. At checkout time the in tegrity of the module is tested independently; there are few sche duling problems in synchronizing the completion of several tasks before checkout can begin. Finally, the system is maintained in modular fashion; system errors and deficiencies can be traced to specific system modules, thus limiting the scope of detailed error searching. Usually nothing is said about the criteria to be used in dividing the system into modules. This paper will discuss that issue and, by means of examples, suggest some criteria which can be used in decomposing a system into modules. A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas sembled and replaced without reassembly of the whole system.
Download or read book Programming Methodology written by David Gries and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 450 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
