The object of this book is to present a complete, systematic andthorough exposition of the neoclassical theory of production anddistribution. Despite this basic objective, each chapter presentsextensions of neoclassical theory and interpretations ofestablished relations. The book has two distinct parts. In Part Ithe microeconomic theories of production, cost and derived inputdemand are explored in depth for both fixed-proportions andvariable-proportions production functions. Special emphasis isplaced upon the characteristics and implications of productionfunctions homogeneous of degree one. Part II is devoted chiefly tothe neoclassical theory of aggregate relative factor shares, theelasticity of substitution, and technological progress.

Structural proof theory is a branch of logic that studies thegeneral structure and properties of logical and mathematicalproofs. This book is both a concise introduction to the centralresults and methods of structural proof theory, and a work ofresearch that will be of interest to specialists. The book isdesigned to be used by students of philosophy, mathematics andcomputer science. The book contains a wealth of results onproof-theoretical systems, including extensions of such systemsfrom logic to mathematics, and on the connection between the twomain forms of structural proof theory - natural deduction andsequent calculus. The authors emphasize the computational contentof logical results. A special feature of the volume is acomputerized system for developing proofs interactively,downloadable from the web and regularly updated.

This new seventh edition of the book offers extensivediscussion of information, uncertainty, and game theory. Itcontains over a hundred examples illustrating the applicability ofeconomic analysis not only to mainline economic topics but alsoissues in politics, history, biology, the family, and many otherareas. These discussions generally describe recent researchpublished in scholarly books and articles, giving students a goodidea of the scientific work done by professional economists. Inaddition, at appropriate places the text provides 'applications'representing more extended discussions of selected topics includingrationing in wartime (Chapter 5), import quotas (Chapter 7),alleged monopolistic suppression of inventions (Chapter 9), minimumwage laws (Chapter 11), the effects of Social Security upon saving(Chapter 15), fair division of disrupted property (Chapter 16) andwhether individuals should pay ransom to a kidnapper (Chapter17).

The multidisciplinary field of quantum computing strives toexploit some of the uncanny aspects of quantum mechanics to expandour computational horizons. Quantum Computing for ComputerScientists takes readers on a tour of this fascinating area ofcutting-edge research. Written in an accessible yet rigorousfashion, this book employs ideas and techniques familiar to everystudent of computer science. The reader is not expected to have anyadvanced mathematics or physics background. After presenting thenecessary prerequisites, the material is organized to look atdifferent aspects of quantum computing from the specific standpointof computer science. There are chapters on computer architecture,algorithms, programming languages, theoretical computer science,cryptography, information theory, and hardware. The text hasstep-by-step examples, more than two hundred exercises withsolutions, and programming drills that bring the ideas of quantumcomputing alive for today's computer science students andresearchers.

This rigourous and self-contained book describes mathematicaland, in particular, stochastic methods to assess the performance ofnetworked systems. It consists of three parts. The first part is areview on probability theory. Part two covers the classical theoryof stochastic processes (Poisson, renewal, Markov and queuingtheory), which are considered to be the basic building blocks forperformance evaluation studies. Part three focuses on therelatively new field of the physics of networks. This part dealswith the recently obtained insights that many very different largecomplex networks - such as the Internet, World Wide Web, proteins,utility infrastructures, social networks - evolve and behaveaccording to more general common scaling laws. This understandingis useful when assessing the end-to-end quality of communicationsservices, for example, in Internet telephony, real-time video andinteracting games. Containing problems and solutions, this book isideal for graduate students taking courses in performanceanalys