Bøker utgitt av Springer-Verlag New York Inc.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Quite apart from the archaeology, work at the site is a major contribution to island biogeography, in that the Phanourios sample-certainly the best from Cyprus and probably the best anywhere in the world-has already provided, and will continue to provide, important ecological and behavioral data on these intriguing creatures.

An attempt to use archaeological materials to investigate the colonization of southeastern Africa during the period 1500 to 1900. Special attention is paid to the period of state formation in Swaziland and a critique of the `Settler Model', which the author finds to be invalid.

, heroin addict with AIDS, New Haven, Connecticut, 1998 Within little more than a decade, AIDS has been tranformed from an untreatable, rapidly fatal illness, into a manageable, chronic disease.

In the secret depths of my soul, I still wish to make the world a better place and sometimes fantasize about heroically eradicating its faults. The pain of realizing these things is sometimes so intense that I want to close my eyes and lose myself in the kinds of daydreams that comforted me as a youngster.

This is an up-to-date treatment of the analysis and design of CMOS integrated digital logic circuits. The self-contained book covers all of the important digital circuit design styles found in modern CMOS chips, emphasizing solving design problems using the various logic styles available in CMOS.

This debate concerns which aspects of language processing are vulnerable to working memory limitations, how working memory is best measured, and whether compensatory processes can offset working memory limitations.

Special reference is given in this volume to the implications of genetic information for five different subject areas: eugenics, the insurance industry, the commer cialisation of genetic testing, strategies for raising public awareness, and the value of theo retical ethical and sociological frameworks in the debate.

During the 1980s the news media were filled with reports of soaring unemployment as 'downsizing' and `restructuring' became the new buzzwords. In this volume, the authors examine the U.S. auto industry and present a full-scale analysis of the work and retirement decisions of its workers.

This book covers the hot topics of angiosperm structure and evolution in several chapters discussing vegetative and reproductive characters. It also looks at the implications of ancestral angiosperm characters for an herbaceous origin and the phylogeny of angiosperms from a structure and molecular perspective.

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits).

The symposium, "Microbial Diversity in Time and Space," was held in the Sanjo Conference Hall, University of Tokyo, Tokyo, Japan, October 24-26, 1994.

Chesapeake Prehistory is the first book in almost a century to synthesize the archaeological record of the region offering new interpretations of prehistoric lifeways. This up-to-date work presents a new type of regional archaeology that explores contemporary ideas about the nature of the past.

To help solve this problem, we developed the idea of a survey of a random sample of several thousand employed individuals, followed by a second survey of their several thousand employing or- nizations.

Climate, climate change, climate fluctuations and climatic trends are only a few of the terms used today, in not only conferences, scientific symposia and workshops, but also parliaments and in discussions throughout society.

The Architecture of Scientific Software addresses emerging methodologies and tools for the rational design of scientific software, including component integration frameworks, network-based computing, formal methods of abstraction, application programmer interface design, and the role of object-oriented languages.

phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.

Many of the early issues in the field of telE-learning are now not only recognised but are being addressed, through professional and staff development routes, through innovative technological solutions, and through approaches and concepts that are better suited to particular educational contexts.

Software architecture is a primary factor in the creation and evolution of virtually all products involving software.

System on Chip (SOC) design is today a big challenge for designers, as a SOC may contain very different blocks, such as microcontrollers, DSPs, memories including embedded DRAM, analog, FPGA, RF front-ends for wireless communications and integrated sensors.

In the foreword to this volume of conference proceedings for IFIP Working Group 8.4, it is appropriate to review the wider organization to which the Working Group belongs.

Given the pervasive nature of information technology and information systems in the modern world, the design and development of IS and IT are critical issues of concern.

Asynchronous Transfer Mode (ATM) networks are widely considered to be the new generation of high speed communication systems both for broadband public information highways and for local and wide area private networks.

Human Papillomavirus has been associated with cancer of the anogenital tract, oral cavity and skin. Two early viral proteins, E6 and E7, play a key role in the malignant transformation of the cell. This book covers different aspects of these two viral oncoproteins. In particular, it focuses on their mechanism in the induction of cellular proliferation and malignant transformation.

Organizational Semiotics: Evolving a Science of Information Systems covers such issues as: -Fundamental concepts such as 'information', 'data', 'message', 'communication', 'knowledge', 'organization', 'system' and so on;

The articles in this book constitute the proceedings papers from the IFIP WG 8.2 Working Conference, "IS2000: The Social and Organizational Perspective on Research and Practice in Information Technology," held June 1 0-12, 2000, in Aalborg, Denmark.