Kirjojen hintavertailu. Mukana 11 244 527 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Lawrence C. Paulson

Isabelle

Isabelle

Lawrence C. Paulson

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1994
nidottu
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
Vertaile hintoja
Logic and Computation

Logic and Computation

Paulson Lawrence C.

Cambridge University Press
1990
pokkari
This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.
Vertaile hintoja
Isabelle/HOL

Isabelle/HOL

Tobias Nipkow; Lawrence C. Paulson; Markus Wenzel

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2002
nidottu
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel’s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the ?y, but hardly anybody does that. Wenzel’s dedicated syntax is elegant, replacing for example eight simpli?cation tactics with a single method, namely simp, with associated - tions. The book has three parts. – The ?rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. – The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL’s treatment of sets, functions, and relations and explains how to de?ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages.
Vertaile hintoja
Hate Crimes

Hate Crimes

Lawrence N Paulson

Nova Science Publishers Inc
2008
nidottu
Current law defines hate crime as any crime against either person or property in which the offender intentionally selects the victim because of the victim's actual or perceived race, colour, religion, national origin, ethnicity, gender, disability, or sexual orientation. Hate crimes are not separate and distinct offences under current federal law. Rather, hate crimes are traditional crimes, during which the offender is motivated by one or more biases that are considered to be particularly reprehensible and damaging to society as a whole. Furthermore, federal jurisdiction over hate crime is limited to certain civil rights offences, which are considered to be "hate crimes" when it is determined that the offender was motivated by a bias against race, colour, religion, national origin, and, in limited instances, disability.
Vertaile hintoja
Habilitation, Health, and Agency

Habilitation, Health, and Agency

Lawrence C. Becker

Oxford University Press Inc
2012
sidottu
Lawrence C. Becker introduces an unconventional set of background ideas for future philosophical work on normative theories of basic justice. The organizing concept is habilitation - the process of equipping a person or thing with functional abilities or capacities. The specific proposals drawn from the concept of habilitation are independent of any particular set of distributive principles. The result is a framework for theory that includes a metric for the pursuit of basic justice, but not a normative theory of it. The basic idea is that receiving and providing habilitation is a lifelong necessity for human beings, from the nearly helpless newborn state through the struggle to survive and thrive thereafter, even into the most severe diminishments of old age. This lifelong human necessity underlies all questions about basic justice, and the possibilities for habilitation define the circumstances under which those questions arise. Focusing on the circumstances of habilitation calls attention to the central role of physical and psychological health. Without basic good health in both domains, it is not possible to cope with the habilitative demands of one's physical and psychological endowments, and one's physical and social environments. And for human beings, a particular aspect of human health effectively sums up these matters: namely human agency; the nature and extent of the ability to act effectively. The book proposes, specifically, that normative theories of basic justice adopt the habilitation framework. What then appears to follow is that the most plausible comprehensive metric for assessing progress toward basic justice will be the level and distribution of basic good health. Moreover, achieving robustly healthy agency will be the most plausible tactical target for making progress toward basic justice -no matter what one's favored distributive principles might be.
Vertaile hintoja
Reciprocity

Reciprocity

Lawrence C. Becker

University of Chicago Press
1990
nidottu
"Reciprocity is an exciting book—it forces its readers to rethink some important issues in recent moral philosophy."—Ruth Anna Putnam, Ethics "By reciprocity Becker understands a complex disposition to make suitable return for the benefit we receive from others, to resist the harm others inflict on us rather than retaliate for it, and to make restitution for the harm we ourselves cause. . . . This is a clearly written book which makes fresh contributions to a number of topics."—A. D. M. Walker, Philosophical Books
Vertaile hintoja
Terrorism

Terrorism

Lawrence C. Howard

Praeger Publishers Inc
1992
sidottu
While terrorism is hardly a new phenomenon, terrorism by the state and its opponents reached new levels in the twentieth century. Drawing together veteran experts on terrorism with authorities in Islam, media studies, American history, and social psychology, Dr. Howard presents a volume which lends fresh interpretations to such major issues as the origins, the impact, and the appropriate personal and public responses to terrorism. The volume covers a wide range of relevant topics, from an examination of insurgency, counterinsurgency, and terrorism during the struggle for Mexican independence in the early nineteenth century, to an overview of the difficulties of creating a concerted policy toward terrorism within the European Community, and the possible connections between terrorism and guerrilla warfare in the future. Particular attention has been placed on examining the role of the media and military retaliation in either exacerbating or checking the prevalence of terrorism.As we come to recognize that the problem of terrorism can not be viewed solely through the lens of military policy, we need to rethink the concepts and assumptions of international security using the additional disciplines of cross-cultural studies, psychology, and history. This collection makes a major contribution by refocusing our thinking, toward an interdisciplinary approach and will be of value to policy makers, as well as those involved with military studies, social psychology, and international relations.
Vertaile hintoja
The News Shapers

The News Shapers

Lawrence C. Soley

Praeger Publishers Inc
1992
sidottu
Analysts, political scientists, scholars, and consultants,--The News Shapers describes the elite club of individuals that the media approach for inside information, background, or predictions concerning the outcome of still-unfolding stories. Although they are presented as detached experts, Lawrence C. Soley uncovers their long histories of partisanship as former government officials or politicians, and charges that most of the shapers have no better credentials than the millions of people to whom the news media never turn. Soley's findings, based on a University of Minnesota study which examined three major networks' evening newscasts during 1987-1988, reveal that a small number of white, politically conservative men associated with Washington-based think tanks, former Republican administrations, and private, East Coast universities virtually monopolize political discourse in the mass media.Dispelling the myth of the media's liberal bias, Soley discusses the shortcomings of both print and broadcast journalism which lead to selection of partisan news analysts, and the effects of their commentaries on foreign and domestic affairs. Special attention is given to Henry Kissinger, Washington Think Tanks, and the media's handling of the conflict with Iraq. The News Shapers identifies the experts, their past political affiliations, and their often thin academic credentials. It is highly recommended for scholars in communications, journalism, and political science, as well as for newspaper readers and television news viewers.
Vertaile hintoja
Public Administration

Public Administration

Lawrence C. Howard; Jerome B. McKinney

Praeger Publishers Inc
1998
nidottu
This is a complete and up-to-date revision of the classic text for public administration, implementing the rule of law as a fundamental issue in American democracy in pursuit of the common interest. It presents public administration as a tension between the necessary exercise of power and the search for responsiveness to achieve maximum accountability from public servants. The authors have initiated a new approach to the study of public administration by focusing on middle- and lower-level managers. These are positions that most public servants will occupy for the bulk of their professional careers. The book recognizes that most of the administration is in field offices, in state and local government, and in cooperation with the private and nonprofit sectors. It then focuses on power and its potential for influencing the behavior of the bureaucracy to perform its goal-oriented and balancing functions in a pluralistic open system. This leads to the relationship between theories about administration and the actual practice and how best results (imperative of accountability) are achieved in the increasingly globalized environment.
Vertaile hintoja
The Reluctant Dragon

The Reluctant Dragon

Lawrence C. Reardon

University of Washington Press
2002
sidottu
Chinese foreign economic policy before 1978 has been considered isolationist and centered on Maoist self-reliance. In this revisionist analysis, Lawrence Reardon argues that China was not out of touch with the global marketplace during the 1949-78 period and that Deng Xiaoping's heralded liberalizations in fact were revisions and expansions of policies from the Maoist period.The dramatic economic reforms initiated by China's leaders in 1978 boosted GDP by between 9 and 13 percent each year during the 1980s and 1990s, while the nation's foreign trade figures rose from a trivial US$1.94 billion in 1952 to US$325 billion in 1997. By opening to the outside world and liberalizing the domestic economic infrastructure, China has become the third largest and one of the fastest-growing economies in the world.The story of China's on-again, off-again trade efforts provides an important window on the cyclical struggle for power between Mao Zedong's ideologically driven allies and more pragmatic leaders such as Zhou Enlai and Deng Xiaoping, whose approach eventually prevailed. Reardon relies on primary sources, including Chinese Communist Party histories and other restricted-circulation materials that have recently come to light, to show that China's apparently sudden turn outward in 1978 was actually an extension of previous experiments hobbled by bureaucratic infighting and conflict among rival elites. He describes in unprecedented detail the seemingly contradictory strategies used by Mao and other leaders to assert China's absolute self-sufficiency while also striving to modernize the economy and achieve maximum prosperity as rapidly as possible. These latter goals required engagement with global economic forces - even capitalist nations - but were necessary to enhance national security in a hostile geopolitical environment and to assure continued domestic stability.
Vertaile hintoja
The Reluctant Dragon

The Reluctant Dragon

Lawrence C. Reardon

University of Washington Press
2014
pokkari
Chinese foreign economic policy before 1978 has been considered isolationist and centered on Maoist self-reliance. In this revisionist analysis, Lawrence Reardon argues that China was not out of touch with the global marketplace during the 1949-78 period and that Deng Xiaoping's heralded liberalizations in fact were revisions and expansions of policies from the Maoist period.The dramatic economic reforms initiated by China's leaders in 1978 boosted GDP by between 9 and 13 percent each year during the 1980s and 1990s, while the nation's foreign trade figures rose from a trivial US$1.94 billion in 1952 to US$325 billion in 1997. By opening to the outside world and liberalizing the domestic economic infrastructure, China has become the third largest and one of the fastest-growing economies in the world.The story of China's on-again, off-again trade efforts provides an important window on the cyclical struggle for power between Mao Zedong's ideologically driven allies and more pragmatic leaders such as Zhou Enlai and Deng Xiaoping, whose approach eventually prevailed. Reardon relies on primary sources, including Chinese Communist Party histories and other restricted-circulation materials that have recently come to light, to show that China's apparently sudden turn outward in 1978 was actually an extension of previous experiments hobbled by bureaucratic infighting and conflict among rival elites. He describes in unprecedented detail the seemingly contradictory strategies used by Mao and other leaders to assert China's absolute self-sufficiency while also striving to modernize the economy and achieve maximum prosperity as rapidly as possible. These latter goals required engagement with global economic forces - even capitalist nations - but were necessary to enhance national security in a hostile geopolitical environment and to assure continued domestic stability.
Vertaile hintoja
The Dynamics Of American Politics

The Dynamics Of American Politics

Lawrence C Dodd

Routledge
2019
sidottu
This book offers a comprehensive assessment of the major theoretical approaches to the study of American politics. Written by leading scholars in the field, the book's essays focus particularly on the contributions that competing macro- and microanalytic approaches make to our understanding of political change in America.The essays include systemat
Vertaile hintoja
Introduction to Cyclotomic Fields

Introduction to Cyclotomic Fields

Lawrence C. Washington

Springer-Verlag New York Inc.
1996
sidottu
Introduction to Cyclotomic Fields is a carefully written exposition of a central area of number theory that can be used as a second course in algebraic number theory. Starting at an elementary level, the volume covers p-adic L-functions, class numbers, cyclotomic units, Fermat's Last Theorem, and Iwasawa's theory of Z_p-extensions, leading the reader to an understanding of modern research literature. Many exercises are included. The second edition includes a new chapter on the work of Thaine, Kolyvagin, and Rubin, including a proof of the Main Conjecture. There is also a chapter giving other recent developments, including primality testing via Jacobi sums and Sinnott's proof of the vanishing of Iwasawa's f-invariant.
Vertaile hintoja
The Poet-historian Qian Qianyi

The Poet-historian Qian Qianyi

Lawrence C.H Yim

Routledge
2009
sidottu
This book is the first English language study of Qian Qianyi (1582-1664) - a poet and literary critic during the Ming-Qing dynastic transition. Although Qian’s works constitute some of the greatest achievements in pre-modern Chinese lyric poetry, they have been largely understudied and are poorly understood. Qian was reputed for his own aesthetic that changed the character of late Ming and early Qing poetry. His name, however, was branded with infamy for his disloyalty to the Ming dynasty when it dissolved. Consequently, his works were censored by the Qing court and have been forgotten by most critics until recently. Lawrence C.H Yim focuses on Qian’s poetic theory and practice, providing a critical study of Qian’s theory of poetic-history (shishi) and a group of poems from the Toubi ji. He also examines the role played by history in early Qing verse, rethinking the nature of loyalism and historical memory in seventeenth-century China. Poetry of the Ming-Qing transition is distinguished by its manifest historical consciousness and the effort and give meaning to current historical events, an effort characterized by the pathos of introspection and mourning for the past..This pathos translates into what can be called a poetics of Ming loyalism, exemplified and championed by, intriguingly, the later works of Qian Qianyi himself.
Vertaile hintoja
Thinking About Congress

Thinking About Congress

Lawrence C. Dodd

Routledge
2011
sidottu
Observing the polarized, debilitating politics of today’s Congress, one wonders whether change is possible on Capitol Hill. In Thinking about Congress, Lawrence Dodd reminds us that Congress seemed equally intransigent at times the past, yet change and rejuvenation came. Reading his classic essays, one sees Congress move from Committee Government in mid-twentieth century to Liberal Democratic reforms in the 1970s to the 1994 Republican Revolution to Party Government today. Simultaneously, one proceeds with Dodd to an ever-deeper understanding of the dynamic character of Congress. Across forty years of watching paralysis give way to change, Dodd crafts a theory of congressional cycles – essay by essay – that explains why Congress evolves. However permanent periods of intransigency appear, the theory argues, they can and do give way to growing concern by legislators and parties for the collective public-interest; to citizen demand for change generated by social crises; and to innovative ideas about politics and policy. With these developments come policy breakthrough, institutional renewal, and enormous social progress. A rare book, Thinking about Congress holds out hope for the future while illuminating both the process and object of inquiry.
Vertaile hintoja
Thinking About Congress

Thinking About Congress

Lawrence C. Dodd

Routledge
2011
nidottu
Observing the polarized, debilitating politics of today’s Congress, one wonders whether change is possible on Capitol Hill. In Thinking about Congress, Lawrence Dodd reminds us that Congress seemed equally intransigent at times the past, yet change and rejuvenation came. Reading his classic essays, one sees Congress move from Committee Government in mid-twentieth century to Liberal Democratic reforms in the 1970s to the 1994 Republican Revolution to Party Government today. Simultaneously, one proceeds with Dodd to an ever-deeper understanding of the dynamic character of Congress. Across forty years of watching paralysis give way to change, Dodd crafts a theory of congressional cycles – essay by essay – that explains why Congress evolves. However permanent periods of intransigency appear, the theory argues, they can and do give way to growing concern by legislators and parties for the collective public-interest; to citizen demand for change generated by social crises; and to innovative ideas about politics and policy. With these developments come policy breakthrough, institutional renewal, and enormous social progress. A rare book, Thinking about Congress holds out hope for the future while illuminating both the process and object of inquiry.
Vertaile hintoja
Dupuytren's Disease

Dupuytren's Disease

Lawrence C. Hurst; Marie A. Badalamente; David Edward Komatsu

Elsevier Health Sciences
2023
nidottu
Dupuytren's Disease: A Scientific Review offers consolidated, up-to-date coverage of both the basic normal (nonpathologic) science and cutting-edge science of this progressive disorder. Drs. Lawrence C. Hurst, Marie A. Badalamente, and David Edward Komatsu break down the complex topic of Dupuytren's contracture into its basic scientific components. Hand surgeons, plastic surgeons, and orthopaedic surgeons will find this unique, concise title to be especially helpful in their practices. Includes chapters on prevalence of Dupuytren's disease, normal genetics and the genetic abnormalities associated with Dupuytren's disease, and collagen and collagen synthesis in healthy fascia and Dupuytren's disease. Provides numerous illustrations throughout. Contains an in-depth bibliography and a useful, complete glossary of related terms. Consolidates today's available information on Dupuytren's science into a single, convenient resource.
Vertaile hintoja
123...50