Logic of Java programming

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

In the fast moving world of information technology, Java is now the number 1 programming language. Programmers and developers everywhere need to know Java to keep pace with traditional and web-based application development. COBOL Programmers Swing with Java provides COBOL programmers a clear, easy transition to Java programming by drawing on the numerous similarities between COBOL and Java. The authors introduce the COBOL programmer to the history of Java and object-oriented programming and then dive into the details of the Java syntax, always contrasting them with their parallels in COBOL. A running case study gives the reader an overall view of application development with Java, with increased functionality as new material is presented. This new edition features the development of graphical user interfaces (GUI's) using the latest in Java Swing components. The clear writing style and excellent examples make the book suitable for anyone wanting to learn Java and OO programming, whethe

This Element discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the challenge to explain the (defeasible) justification of our mathematical beliefs ('the justificatory challenge'), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the challenge to explain their reliability ('the reliability challenge'), arises to the extent that we could have easily had different beliefs. The Element shows that mathematical facts are not, in general, empirically accessible, contra Quine, and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is unmysterious. The Element concludes with a complementary 'pluralism' about modality, logic and normative theory, highlighting its surprising implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap

Formal Models of Domestic Politics offers a unified and accessible approach to canonical and important new models of politics. Intended for political science and economics students who have already taken a course in game theory, this new edition retains the widely appreciated pedagogic approach of the first edition. Coverage has been expanded to include a new chapter on nondemocracy; new material on valance and issue ownership, dynamic veto and legislative bargaining, delegation to leaders by imperfectly informed politicians, and voter competence; and numerous additional exercises. Political economists, comparativists, and Americanists will all find models in the text central to their research interests. This leading graduate textbook assumes no mathematical knowledge beyond basic calculus, with an emphasis placed on clarity of presentation. Political scientists will appreciate the simplification of economic environments to focus on the political logic of models; economists will discov

JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav

JavaTech is a practical introduction to the Java programming language with an emphasis on the features that benefit technical computing. After presenting the basics of object-oriented programming in Java, it examines introductory topics such as graphical interfaces and thread processes. It goes on to review network programming and develops Web client-server examples for tasks such as monitoring remote devices. The focus then shifts to distributed computing with RMI. Finally, it examines how Java programs can access the local platform and interact with hardware. Topics include combining native code with Java, communication via serial lines, and programming embedded processors. An extensive web site supports the book with additional instructional materials. JavaTech demonstrates the ease with which Java can be used to create powerful network applications and distributed computing applications. It will be used as a textbook for programming courses, and by researchers who need to learn Jav

Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which 'depth-first' search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform 'breadth-first' searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies, will want to consult this book as the only source for some essential and new ideas in the area.

Fundamentals of OOP and Data Structures in Java is a text for an introductory course on classical data structures. Part One of the book presents the basic principles of Object-Oriented Programming (OOP) and Graphical User Interface (GUI) programming with Java as the example language. Part Two introduces each of the major data structures with supporting, GUI-based laboratory programs designed to reinforce the basic concepts and principles of the text. These laboratories allow the reader to explore and experiment with the properties of each data structure. All source code for the laboratories is available on the web. By integrating the principles of OOP and GUI programming, this book takes the unique path of presenting the fundamental issues of data structures within the context of paradigms that are essential to today's professional software developer. The authors assume the reader has only an elementary understanding of Java and no experience with OOP.

This book provides the definitive reference point on all the issues pertaining to dealing with the 'crisis of the rule of law' in the European Union. Both Member State and EU levels are considered. Particular attention is paid to the analysis of the concrete legal bases and instruments that the EU may avail itself of for enforcing rule of law, and the volume clearly demonstrates that a number of legally sound ways of rule of law oversight are available. Contributors are leading scholars who assess the potential role to be played by the various bodies in the context of dealing with the EU's rule of law imperfections.

First published in 1818, The World as Will and Representation contains Schopenhauer's entire philosophy, ranging through epistemology, metaphysics, philosophy of mind and action, aesthetics and philosophy of art, to ethics, the meaning of life and the philosophy of religion, in an attempt to account for the world in all its significant aspects. It gives a unique and influential account of what is and is not of value in existence, the striving and pain of the human condition and the possibility of deliverance from it. This translation of the first volume of what later became a two-volume work reflects the eloquence and power of Schopenhauer's prose and renders philosophical terms accurately and consistently. It offers an introduction, glossary of names and bibliography, and succinct editorial notes, including notes on the revisions of the text which Schopenhauer made in 1844 and 1859.

Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software, this book presents a unique overview of numerical and programming techniques, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modelling, scientific graphics, software engineering and performance issues. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numer

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and sequence, selection, and repetition in code development. File I/O and arrays are included. Later chapters introduce objects, event programming, and databases. By taking a slow and steady approach to programming ideas, this book builds new concepts from what the reader has already learned. VB tips and quips inject both humor and insight. The book includes numerous programming examples and exercises, case studies, tutorials, and 'fixing a program' sections for an in-depth look at programming problems and tools. Quizzes and review questions throughout each chapter get students to think about the

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and sequence, selection, and repetition in code development. File I/O and arrays are included. Later chapters introduce objects, event programming, and databases. By taking a slow and steady approach to programming ideas, this book builds new concepts from what the reader has already learned. VB tips and quips inject both humor and insight. The book includes numerous programming examples and exercises, case studies, tutorials, and 'fixing a program' sections for an in-depth look at programming problems and tools. Quizzes and review questions throughout each chapter get students to think about the

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest

Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.

Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference fo

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest

Two legal systems founded on similar Enlightenment philosophical and political values use state coercion differently to regulate a liberty at the core of the Enlightenment: freedom of expression. This comparative study of France and the United States proposes a novel theory of how the limits of freedom of expression are informed by different revolutionary experiences and constitutional and political arrangements. Ioanna Tourkochoriti argues that the different ways freedom of expression is balanced against other values in France and the United States can be understood in reference to the role of the government and the understanding of republicanism and liberty. This understanding affects how jurists define the content and the limits of a liberty and strike a balance between liberties in conflict. Exploring both the legal traditions of the two countries, this study sheds new light on the broader historical, social and philosophical contexts in which jurists operate.

International Law is the definitive and authoritative text on the subject. It has long been established as a leading authority in the field, offering an unbeatable combination of clarity of expression and academic rigour, ensuring understanding and analysis in an engaging and authoritative style. Explaining the leading rules, practice and caselaw, this treatise retains and develops the detailed referencing which encourages and assists the reader in further study. This new edition has been fully updated to reflect recent developments. In particular, it has expanded the treatment of space law and of international economic law, and introduced new sections on cyber operations and cyber warfare, as well as reflecting the Covid-19 crisis. Both clarifying fundamental principles and facilitating additional research, International Law is invaluable for students and for those occupied in private practice, governmental service and international organisations.

Connecting theory with real-life applications, this is the first ever textbook to equip students with a comprehensive knowledge of all the key concepts in bionanotechnology. By bridging the interdisciplinary gap from which bionanotechnology emerged, it provides a systematic introduction to the subject, accessible to students from a wide variety of backgrounds. Topics range from nanomaterial preparation, properties and biofunctionalisation, and analytical methods used in bionanotechnology, to bioinspired and DNA nanotechnology, and applications in biosensing, medicine and tissue engineering. Throughout the book, features such as 'Back to basics' and 'Research report' boxes enable students to build a strong theoretical knowledge and to link this to practical applications and up-to-date research. With over 200 detailed, full-colour illustrations and more than 100 end-of-chapter problems, this is an essential guide to bionanotechnology for any student studying this exciting, fast-developin

The scale of China's innovation ambitions inspires worldwide commentary, much of it poorly informed. Focusing on electricity, telecommunication and semiconductors, this book offers a richly detailed account of China's innovation efforts. Massive application of human, policy and financial resources shows great promise, but institutional obstacles, conflicting objectives, ill-advised policies and Soviet-era legacies inject inefficiencies, resulting in a complex mosaic of success and failure in both technical and commercial dimensions. State Grid leads the world in high-voltage power transmission, while domestic semiconductors lag behind the international frontier. Electricity and telecom providers record impressive technical advances, but overinvestment and inefficient operation contribute to high costs and prices. Nuclear power combines technical excellence with commercial weakness. Cost reduction rather than new technology underpins commercial success in solar materials. The book's gra

Plant remains can preserve a critical part of history of life on Earth. While telling the fascinating evolutionary story of plants and vegetation across the last 500 million years, this book also crucially offers non-specialists a practical guide to studying, dealing with and interpreting plant fossils. It shows how various techniques can be used to reveal the secrets of plant fossils and how to identify common types, such as compressions and impressions. Incorporating the concepts of evolutionary floras, this second edition includes revised data on all main plant groups, the latest approaches to naming plant fossils using fossil-taxa and techniques such as tomography. With extensive illustrations of plant fossils and living plants, the book encourages readers to think of fossils as once-living organisms. It is written for students on introductory or intermediate courses in palaeobotany, palaeontology, plant evolutionary biology and plant science, and for amateurs interested in studyin

In his previous Schumpeter Prize-winning work, Lee analysed the 'middle-income trap', in which a developing country grows strongly only to plateau at a certain point. Yet certain developing countries, most significantly China, have managed to escape this trap. Building on the conception of the ladder from developing to developed countries being kicked way, this book suggests alternative ways, such as 'leapfrogging', in which latecomers can catch up with their forerunners. Providing policy solutions for development challenges in non-technical terms, Lee frames his theories with insightful and inventive allegories. In doing so, Lee also accounts for the catch-up paradox, in which one cannot conclusively catch-up if they are continually trying to follow the path of those ahead. He argues that eventual catch-up and overtaking require pursuing a path that differs from that taken by forerunners. This highly original and accessible book will appeal to students, scholars, practitioners, and an

PREPARE 2nd edition Level 3 combines 'teen-appeal' topics with extensive preparation for the revised 2020 A2 Key for Schools exam. Students will enjoy interactive, personalised lessons with themes and resources relevant to their interests. The new Life Skills approach inspires learners to expand their horizons and knowledge and includes insights from The Cambridge Framework for Life Competencies. Teachers can relax knowing every unit drives students towards exam success and that the course is creating confident English users with the enhanced vocabulary and grammar syllabus. A Student's Book and Online Workbook is also available, separately."synopsis" may belong to another edition of this title.

The Cambridge Companion to World Literature introduces the significant ideas and practices of world literary studies. It provides a lucid and accessible account of the fundamental issues and concepts in world literature, including the problems of imagining the totality of literature; comparing literary works across histories, cultures and languages; and understanding how literary production is affected by forces such as imperialism and globalization. The essays demonstrate how detailed critical engagements with particular literary texts call forth differing conceptions of world literature, and, conversely, how theories of world literature shape our practices of readings. Subjects covered include cosmopolitanism, transnationalism, internationalism, scale and systems, sociological criticism, translation, scripts, and orality. This book also includes original analyses of genres and forms, ranging from tragedy to the novel and graphic fiction, lyric poetry to the short story and world cine

Drawing on Chinese cultural and philosophical traditions, this book offers a ground breaking reinterpretation of world politics from Yaqing Qin, one of China's leading scholars of international relations. Qin has pioneered the study of constructivism in China and developed a variant of this approach, arguing that culture defined in terms of background knowledge nurtures social theory and enables theoretical innovation. Building upon this argument, this book presents the concept of 'relationality', shifting the focus from individual actors to the relations amongst actors. This ontology of relations examines the unfolding processes whereby relations create the identities of actors and provide motivations for their actions. Appealing to scholars of international relations theory, social theory and Chinese political thought, this exciting new concept will be of particular interest to those who are seeking to bridge Eastern and Western approaches for a truly global international relations p

In most non-democratic countries, today governing forty-four percent of the world population, the power of the regime rests upon a ruling party. Contrasting with conventional notions that authoritarian regime parties serve to contain elite conflict and manipulate electoral-legislative processes, this book presents the case of China and shows that rank and-file members of the Communist Party allow the state to penetrate local communities. Subnational comparative analysis demonstrates that in 'red areas' with high party saturation, the state is most effectively enforcing policy and collecting taxes. Because party membership patterns are extremely enduring, they must be explained by events prior to the Communist takeover in 1949. Frontlines during the anti-colonial Sino-Japanese War (1937–1945) continue to shape China's political map even today. Newly available evidence from the Great Leap Forward (1958–1961) and the Cultural Revolution (1966–1976) shows how a strong local party basis sus

This two-volume text provides a complete overview of the theory of Banach spaces, emphasising its interplay with classical and harmonic analysis (particularly Sidon sets) and probability. The authors give a full exposition of all results, as well as numerous exercises and comments to complement the text and aid graduate students in functional analysis. The book will also be an invaluable reference volume for researchers in analysis. Volume 1 covers the basics of Banach space theory, operatory theory in Banach spaces, harmonic analysis and probability. The authors also provide an annex devoted to compact Abelian groups. Volume 2 focuses on applications of the tools presented in the first volume, including Dvoretzky's theorem, spaces without the approximation property, Gaussian processes, and more. In volume 2, four leading experts also provide surveys outlining major developments in the field since the publication of the original French edition.

Presenting a global and interdisciplinary approach to plant ecology, this much-awaited new edition of the book Plants and Vegetation integrates classical themes with the latest ideas, models, and data. Keddy draws on extensive teaching experience to bring the field to life, guiding students through essential concepts with numerous real-world examples and full-colour illustrations throughout. The chapters begin by presenting the wider picture of the origin of plants and their impact on the Earth, before exploring the search for global patterns in plants and vegetation. Chapters on resources, stress, competition, herbivory, and mutualism explore causation, and a concluding chapter on conservation addresses the concern that one-third of all plant species are at risk of extinction. The scope of this edition is broadened further by a new chapter on population ecology, along with extensive examples including South African deserts, the Guyana Highlands of South America, Himalayan forests and

This concise yet comprehensive textbook examines political, social, and cultural developments in the Soviet Union and the post-Soviet period. It begins by identifying the social tensions and political inconsistencies that spurred radical change in Russia's government, from the turn of the century to the revolution of 1917. Peter Kenez presents this revolution as a crisis of authority that the creation of the Soviet Union resolved. The text traces the progress of the Soviet Union through the 1920s, the years of the New Economic Policies, and into the Stalinist order. It illustrates how post-Stalin Soviet leaders struggled to find ways to rule the country without using Stalin's methods - but also without openly repudiating the past - and to negotiate a peaceful but antipathetic coexistence with the capitalist West. This updated third edition includes substantial new material, discussing the challenges Russia currently faces in the era of Putin.

在全球化已成日常的工作環境中，管理者必須具備跨文化理解與行動能力。本書第三版以「所有管理者都是全球管理者」為前提，重新梳理跨文化管理的理論與實踐。作者不僅介紹主要文化模型，也深入探討領導、溝通與倫理在不同文化脈絡中的差異與調適方式。更新後的內容更貼近現實職場，透過真實案例與具體策略，協助讀者面對國際指派、跨國團隊與多元勞動力的挑戰。語言清楚、結構明確，是學生建立基礎視野、也是專業人士精進能力的重要讀本。The third edition of this popular textbook has been thoroughly expanded and updated throughout to explore the latest approaches to cross-cultural management, presenting strategies and tactics for managing international assignments and global teams. With a clear emphasis on learning and development, this new edition introduces a global management model, along with enhanced 'Applications' and 'Manager's Notebooks', to encourage students to acquire skills in multicultural competence that will be highly valued by their future employers. These skills have never been more important, in a world where, increasingly, all managers are global managers and where management practices and processes can differ significantly across national and regional boundaries. This textbook is suitable for student

The balance of the world economy is shifting away from the established economies of Europe, Japan, and the USA, towards the emerging economies of Asia, especially India and China. With contributions from some of the world's leading growth theorists, this book analyses the long-term process of structural change and productivity growth across the world from a unique comparative perspective. Ongoing research from the World KLEMS Initiative is used to comparatively study new sources of growth - including the role of investment in intangible assets, human capital, technology catch-up, and trade in global value chains. This book provides comparisons of industries and economies that are key to analysing the impacts of international trade and investment. This makes it an ideal read for academics and students interested in understanding current patterns of economic growth. It will also be of value to professionals with an interest in the drivers of economic growth and crisis.

Public perceptions of political ethics are at the heart of current political debate. Drawing on original data, this book is the first general account of popular understandings of political ethics in contemporary British politics. It offers new insights into how citizens understand political ethics and integrity and how they form judgments of their leaders. By locating these insights against the backdrop of contemporary British political ethics, the book shows how current institutional preoccupations with standards of conduct all too often miss the mark. While the use of official resources is the primary focus of much regulation, politicians' consistency, frankness and sincerity, which citizens tend to see in terms of right and wrong, are treated as 'normal politics'. The authors suggest that new approaches may need to be adopted if public confidence in politicians' integrity is to be restored.

Valuation and Risk Management in Energy Markets surveys the mechanics of energy markets and the valuation of structures commonly arising in practice. The presentation balances quantitative issues and practicalities facing portfolio managers, with substantial attention paid to the ways in which common methods fail in practice and to alternative methods when they exist. The material spans basic fundamentals of markets, statistical analysis of price dynamics, and a sequence of increasingly challenging structures, concluding with issues arising at the enterprise level. In totality, the material has been selected to provide readers with the analytical foundation required to function in modern energy trading and risk management groups.

The Cambridge Companion to Literature and the Environment is an authoritative guide to the exciting new interdisciplinary field of environmental literary criticism. The collection traces the development of ecocriticism from its origins in European pastoral literature and offers fifteen rigorous but accessible essays on the present state of environmental literary scholarship. Contributions from leading experts in the field probe a range of issues, including the place of the human within nature, ecofeminism and gender, engagements with European philosophy and the biological sciences, critical animal studies, postcolonialism, posthumanism, and climate change. A chronology of key publications and bibliography provide ample resources for further reading, making The Cambridge Companion to Literature and the Environment an essential guide for students, teachers, and scholars working in this rapidly developing area of study.

Is the science of moral cognition usefully modelled on aspects of Universal Grammar? Are human beings born with an innate 'moral grammar' that causes them to analyse human action in terms of its moral structure, with just as little awareness as they analyse human speech in terms of its grammatical structure? Questions like these have been at the forefront of moral psychology ever since John Mikhail revived them in his influential work on the linguistic analogy and its implications for jurisprudence and moral theory. In this seminal book, Mikhail offers a careful and sustained analysis of the moral grammar hypothesis, showing how some of John Rawls' original ideas about the linguistic analogy, together with famous thought experiments like the trolley problem, can be used to improve our understanding of moral and legal judgement.

In this concise yet comprehensive guide to the mathematics of modern portfolio theory the authors discuss mean-variance analysis, factor models, utility theory, stochastic dominance, very long term investing, the capital asset pricing model, risk measures including VAR, coherence, market efficiency, rationality and the modelling of actuarial liabilities. Each topic is clearly explained with assumptions, mathematics, limitations, problems and solutions presented in turn. Joshi's trademark style of clarity and practicality is here brought to classical financial mathematics. The book is suitable for mathematically trained students in actuarial studies, business and economics as well as mathematics and finance, and it can be used for both self-study and as a course text. The authors' experience as both academics and practitioners brings clarity and relevance to the book, whilst ensuring that the limitations of models are highlighted.

Interdisciplinary Perspectives on International Law and International Relations: The State of the Art brings together the most influential contemporary writers in the fields of international law and international relations to take stock of what we know about the making, interpretation and enforcement of international law. The contributions to this volume critically explore what recent interdisciplinary work reveals about the design and workings of international institutions, the various roles played by international and domestic courts, and the factors that enhance compliance with international law. The volume also explores how interdisciplinary work has advanced theoretical understandings of the causes and consequences of the increased legalization of international affairs.

This attractive, full-colour coursebook, written by two highly experienced IB teachers, is tailored to the thematic requirements and assessment objectives of the IB's Environmental Systems and Societi

Richard Stanley's two-volume basic introduction to enumerative combinatorics has become the standard guide to the topic for students and experts alike. This thoroughly revised second edition of Volume 1 includes ten new sections and more than 300 new exercises, most with solutions, reflecting numerous new developments since the publication of the first edition in 1986. The author brings the coverage up to date and includes a wide variety of additional applications and examples, as well as updated and expanded chapter bibliographies. Many of the less difficult new exercises have no solutions so that they can more easily be assigned to students. The material on P-partitions has been rearranged and generalized; the treatment of permutation statistics has been greatly enlarged; and there are also new sections on q-analogues of permutations, hyperplane arrangements, the cd-index, promotion and evacuation and differential posets.