TOP
💡 邁向小一的第一步!給孩子一本「查得到自信」的專屬辭典,輕鬆跨越閱讀關卡!🚀
縮小範圍
搜尋結果 /

Issues in Multicore Programming Using the Parc Language

3154
64 / 79
Islamic Finance ─ Law, Economics, and Practice
90 折
出版日:2008/11/24 作者:Mahmoud A. El-Gamal  出版社:Cambridge Univ Pr  裝訂:平裝
This book provides an overview of the practice of Islamic finance and the historical roots that define its modes of operation. The focus of the book is analytical and forward-looking. It shows that Islamic finance exists mainly as a form of rent-seeking legal-arbitrage. In every aspect of finance - from personal loans to investment banking, and from market structure to corporate governance - Islamic finance aims to replicate in Islamic forms the substantive functions of contemporary financial instruments, markets, and institutions. By attempting to replicate the substance of contemporary financial practice using pre-modern contract forms, Islamic finance has arguably failed to serve the objectives of Islamic law. This book proposes refocusing Islamic finance on substance rather than form. This approach would entail abandoning the paradigm of 'Islamization' of every financial practice. It would also entail reorienting the brand-name of Islamic finance to emphasize issues of community ba
優惠價: 9 1520
無庫存
出版日:2008/11/17 作者:Robert B. Pippin  出版社:Cambridge Univ Pr  裝訂:精裝
This fresh and original book argues that the central questions in Hegel's practical philosophy are the central questions in modern accounts of freedom: What is freedom, or what would it be to act freely? Is it possible so to act? And how important is leading a free life? Robert Pippin argues that the core of Hegel's answers is a social theory of agency, the view that agency is not exclusively a matter of the self-relation and self-determination of an individual but requires the right sort of engagement with and recognition by others. Using a detailed analysis of key Hegelian texts, he develops this interpretation to reveal the bearing of Hegel's claims on many contemporary issues, including much-discussed core problems in the liberal democratic tradition. His important study will be valuable for all readers who are interested in Hegel's philosophy and in the modern problems of agency and freedom.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Hegel's Practical Philosophy:Rational Agency as Ethical Life
90 折
出版日:2008/11/17 作者:Robert B. Pippin  出版社:Cambridge Univ Pr  裝訂:平裝
This fresh and original book argues that the central questions in Hegel's practical philosophy are the central questions in modern accounts of freedom: What is freedom, or what would it be to act freely? Is it possible so to act? And how important is leading a free life? Robert Pippin argues that the core of Hegel's answers is a social theory of agency, the view that agency is not exclusively a matter of the self-relation and self-determination of an individual but requires the right sort of engagement with and recognition by others. Using a detailed analysis of key Hegelian texts, he develops this interpretation to reveal the bearing of Hegel's claims on many contemporary issues, including much-discussed core problems in the liberal democratic tradition. His important study will be valuable for all readers who are interested in Hegel's philosophy and in the modern problems of agency and freedom.
優惠價: 9 1520
無庫存
Women, Family, and Gender in Islamic Law
90 折
出版日:2008/11/03 作者:Judith E. Tucker  出版社:Cambridge Univ Pr  裝訂:精裝
In what ways has Islamic law discriminated against women and privileged men? What rights and power have been accorded to Muslim women, and how have they used the legal system to enhance their social and economic position? In an analysis of Islamic law through the prism of gender, Judith Tucker tackles these complex questions relating to the position of women in Islamic society, and to the ways in which the legal system impacted on the family, property rights, space and sexuality, from classical and medieval times to the present. Working with concepts drawn from feminist legal theory and by using particular cases to illustrate her arguments, the author systematically addresses questions of discrimination and expectation - what did men expect of their womenfolk - and of how the language of the law contributed to that discrimination, infecting the system and all those who participated in it.
優惠價: 9 3452
無庫存
Develop Your Marketing Skills
90 折
出版日:2008/11/01 作者:Ruth Gosnay; Neil Richardson  出版社:Kogan Page Ltd  裝訂:平裝
Written in plain language, this reader-friendly guide shows how to integrate marketing in a business and improve competitive advantage. It highlights issues that are at the cutting edge of marketing p
優惠價: 9 614
無庫存
Agile Software Engineering
滿額折
出版日:2008/10/30 作者:Orit Hazzan; Yael Dubinsky  出版社:Springer-Verlag New York Inc  裝訂:平裝
This concise easy-to-follow textbook presents the crucial issues in software engineering using the agile approach to software development - one of the mainstream paradigms for the management of softw
定價:1998 元
無庫存
Commerce, Complexity, and Evolution
90 折
出版日:2008/10/30 作者:William A. Barnett  出版社:Cambridge Univ Pr  裝訂:平裝
Commerce, Complexity, and Evolution is a significant contribution to the paradigm - straddling economics, finance, marketing, and management - which acknowledges that commercial systems are evolutionary, and must therefore be analysed using evolutionary tools. Evolutionary systems display complicated behaviours which are to a significant degree generated endogenously, rather than being solely the product of exogenous shocks, hence the conjunction of complexity with evolution. This volume considers a wide range of systems, from the entire economy at one extreme to the behaviour of single markets at the other. The papers are united by methodologies which at their core are evolutionary, though the techniques cover a wide range, from philosophical discourse to differential equations, genetic algorithms, multi-agent simulations and cellular automata. Issues considered include the dynamics of debt-deflation, stock management in a complex environment, interactions between consumers and its ef
優惠價: 9 2573
無庫存
Women, Family, and Gender in Islamic Law
90 折
出版日:2008/10/27 作者:Judith E. Tucker  出版社:Cambridge Univ Pr  裝訂:平裝
In what ways has Islamic law discriminated against women and privileged men? What rights and power have been accorded to Muslim women, and how have they used the legal system to enhance their social and economic position? In an analysis of Islamic law through the prism of gender, Judith Tucker tackles these complex questions relating to the position of women in Islamic society, and to the ways in which the legal system impacted on the family, property rights, space and sexuality, from classical and medieval times to the present. Working with concepts drawn from feminist legal theory and by using particular cases to illustrate her arguments, the author systematically addresses questions of discrimination and expectation - what did men expect of their womenfolk - and of how the language of the law contributed to that discrimination, infecting the system and all those who participated in it.
優惠價: 9 1462
無庫存
出版日:2008/10/15 作者:Robert F. Belli (EDT); Duane F. Alwin (EDT); Frank P. Stafford (EDT)  出版社:SAGE Publications UK  裝訂:平裝
Calendar and Diary Methods in Life Methods Research is the first book to provide a road map to using both calendar and diary methods in research. An ideal tool for examining issues related to these u
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Complete Arabic: The Basics
滿額折
出版日:2008/10/14 作者:Amine Bouchentouf; Rym Bettaieb (EDT); Christopher A. Warnasch (EDT)  出版社:Living Language  裝訂:平裝
Learn Arabic in 4 Simple Steps.Living Language Complete Arabic: The Basics teaches the basics of Modern Standard Arabic using a simple and effective building-block method. If you’re confiden
優惠價: 79 329
無庫存
Theoretical Approaches to Biological Control
90 折
出版日:2008/10/14 作者:Bradford A. Hawkins  出版社:Cambridge Univ Pr  裝訂:平裝
Biological control is the suppression of pest populations using predators, parasitoids and pathogens. Historically, biological control has largely been on a trial-and-error basis, and has failed more often than it has succeeded. However by developing theories based upon fundamental population principles and the biological characteristics of the pest and agent, we can gain a much better understanding of when and how to use biological control. This book gathers together recent theoretical developments and provides a balanced guide to the important issues that need to be considered in applying ecological theory to biological control. It will be a source of productive and stimulating thought for all those interested in pest management, theoretical ecology and population biology.
優惠價: 9 1930
無庫存
Kinship, Networks, and Exchange
90 折
出版日:2008/10/14 作者:Thomas Schweizer  出版社:Cambridge Univ Pr  裝訂:平裝
This collection of articles aims at revitalizing the study of kinship and exchange in a social network perspective. It brings together studies of empirical systems of marriage and descent with investigations of the flow of material resources in societies of Africa, Asia, the Pacific and Europe. Restudies of classic ethnographic cases and fieldwork studies of kinship and exchange demonstrate how the social and material aspects of society are related, and address issues of concern to anthropology and the neighbouring disciplines of history, sociology and economics. This book marks the emergence of an era in the study of kinship and exchange using a productive combination of ethnographic substance with formal methods, one which leaves behind older structural-functionalist and culturalist assumptions.
優惠價: 9 1930
無庫存
You Know what I Mean?Words, Contexts and Communication
90 折
出版日:2008/10/13 作者:Ruth Wajnryb  出版社:Cambridge Univ Pr  裝訂:精裝
Does a word mean what it says? Sometimes - but not always. Everyone thinks that meaning is contained within words - like sardines in a tin, or milk in a bottle. After all, words are nice stable things that you can look up in a dictionary aren't they? But dictionaries only take us so far… If you eavesdropped on a teenage conversation, rushing to a dictionary - with its definitions frozen in time - wouldn't help much. Who's using a word and to whom, in what context, for what purpose - all these influence the meaning of the language we use. The word's origins and history (its 'genetics') also help. Try teaching yourself another language from a phrasebook and you'll soon learn that you can be correct, in the formal sense, but still way behind the times in reality. In this book Wajnryb considers these and other questions to explore how and why our language works the way it does.
優惠價: 9 2808
無庫存
出版日:2008/10/09 作者:Moshe Moshkovitz  出版社:McFarland & Co Inc Pub  裝訂:平裝
With television programming broadcast worldwide 24/7, the industry needs a common language. Constantly changing technology, however, has resulted in continuously changing terminology, sometimes leavin
定價:2397 元
無庫存
New Institutional Economics:A Guidebook
90 折
出版日:2008/09/29 作者:Éric Brousseau  出版社:Cambridge Univ Pr  裝訂:平裝
Institutions frame behaviors and exchanges in markets, business networks, communities, and organizations throughout the world. Thanks to the pioneering work of Ronald Coase, Douglas North and Olivier Williamson, institutions are now recognized as being a key factor in explaining differences in performance between industries, nations, and regions. The fast-growing field of new institutional economics analyzes the economics of institutions and organizations using methodologies, concepts, and analytical tools from a wide range of disciplines (including political science, anthropology, sociology, management, law, and economics). With contributions from an international team of researchers, New Institutional Economics provides theoreticians, practitioners, and advanced students in economics and social sciences with a guide to the many recent developments in the field. It explains the underlying methodologies, identifies issues and questions for future research, and shows how results apply t
優惠價: 9 2690
無庫存
Ecopsychology
滿額折
出版日:2008/09/27 作者:Vladimir Antonov; Mikhail Nikolenko (TRN); Maxim Shafeyev (TRN)  出版社:Createspace  裝訂:平裝
This book is written in a simple and easy-to-understand language by scientist-biologist Dr. Vladimir Antonov. It covers the essential issues: what is God, the place of human being in the Evolution of
定價:980 元
無庫存
出版日:2008/09/22 作者:Éric Brousseau  出版社:Cambridge Univ Pr  裝訂:精裝
Institutions frame behaviors and exchanges in markets, business networks, communities, and organizations throughout the world. Thanks to the pioneering work of Ronald Coase, Douglas North and Olivier Williamson, institutions are now recognized as being a key factor in explaining differences in performance between industries, nations, and regions. The fast-growing field of new institutional economics analyzes the economics of institutions and organizations using methodologies, concepts, and analytical tools from a wide range of disciplines (including political science, anthropology, sociology, management, law, and economics). With contributions from an international team of researchers, New Institutional Economics provides theoreticians, practitioners, and advanced students in economics and social sciences with a guide to the many recent developments in the field. It explains the underlying methodologies, identifies issues and questions for future research, and shows how results apply t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ruby On Rails Bible
滿額折
出版日:2008/09/19 作者:Timothy Fisher  出版社:John Wiley & Sons Inc  裝訂:平裝
Thanks to the explosive growth in popularity of the Rails framework, the equally popular Ruby programming language now has a great place to hang its hat. The powerful combination of the two provides
優惠價: 9 1537
無庫存
出版日:2008/09/15 作者:Razak Hossain  出版社:Cambridge Univ Pr  裝訂:精裝
Presenting a methodology for using domino logic in an ASIC design flow developed over several years in an industrial context, this text covers practical issues related to the use of domino logic in an automated framework, and brings together all the knowledge needed to apply these design techniques in practice. Beginning with a discussion of how to achieve high speed in ASIC designs, subsequent chapters detail the design and characterization of standard cell compatible domino logic libraries and an advanced domino logic synthesis flow. The results achieved by using automated domino logic design techniques, including silicon measurements, are used to validate the presented solution. With design examples including the implementation of the execution unit of a microprocessor and a Viterbi decoder, this text is ideal for graduate students and researchers in electrical and computer engineering and also for circuit designers in industry.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/09/08 作者:Jay M. Pasachoff  出版社:Cambridge Univ Pr  裝訂:精裝
Astronomy leads to an understanding of the history and nature of science, and attracts many young people to education in science and technology. But while in many countries astronomy is not part of the standard curriculum, many scientific and educational societies and government agencies have produced materials and educational resources in astronomy for all educational levels. This volume highlights the general strategies for effective teaching and introduces innovative points of view regarding methods of teaching and learning, particularly those using new technologies. Technology is used in astronomy both for obtaining observations and for teaching. The book also presents ideas for how astronomy can be connected to environmental issues and other topics of public interest. This valuable overview is based on papers and posters presented by many of the world's leading astronomy educators at a Special Session of the International Astronomical Union General Assembly in Prague in 2006.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/08/18 作者:Richard J. Alexander  出版社:Taylor & Francis  裝訂:精裝
In this study, Richard Alexander presents a series of original and empirically based case studies of the language and discourse involved in the discussion of environmental and ecological issues. Relyi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/08/11 作者:Mira Ariel  出版社:Cambridge Univ Pr  裝訂:精裝
When using language, many aspects of our messages are left implicit in what we say. While grammar is responsible for what we express explicitly, pragmatics explains how we infer additional meanings. The problem is that it is not always a trivial matter to decide which of the meanings conveyed is explicit (grammatical) and which implicit (pragmatic). Pragmatics and Grammar lays out a methodology for students and scholars to distinguish between the two. It explains how and why grammar and pragmatics combine together in natural discourse, and how pragmatic uses become grammatical in time.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/08/01 作者:Matthias Klatt  出版社:Intl Specialized Book Service Inc  裝訂:精裝
Legal argumentation consists in the interpretation of texts. Therefore, it has a natural connection to the philosophy of language. Central issues of this connection, however, lack a clear answer. For
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Visual Basic in Easy Steps
90 折
出版日:2008/08/01 作者:Mike McGrath  出版社:In Easy Steps Ltd  裝訂:平裝
Visual Basic in Easy Steps begins by describing the installation process and then introducing form controls, application properties, the programming language, and problem-solving techniques. It illus
優惠價: 9 513
無庫存
出版日:2008/07/31 作者:Inga Scharf  出版社:Routledge UK  裝訂:精裝
In this original study, Scharf investigates issues of national identity in films of the New German Cinema. Using a cultural studies analysis, Scharf argues that the conflict between this generation of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Practical API Design: Confessions of a Java Framework Architect
滿額折
出版日:2008/07/30 作者:Jaroslav Tulach  出版社:Apress  裝訂:精裝
Provides information on API design using the Java programming language.
定價:3999 元
無庫存
Pragmatics and Grammar
90 折
出版日:2008/07/14 作者:Mira Ariel  出版社:Cambridge Univ Pr  裝訂:平裝
When using language, many aspects of our messages are left implicit in what we say. While grammar is responsible for what we express explicitly, pragmatics explains how we infer additional meanings. The problem is that it is not always a trivial matter to decide which of the meanings conveyed is explicit (grammatical) and which implicit (pragmatic). Pragmatics and Grammar lays out a methodology for students and scholars to distinguish between the two. It explains how and why grammar and pragmatics combine together in natural discourse, and how pragmatic uses become grammatical in time.
優惠價: 9 2398
無庫存
The Cambridge Companion to Modern Chinese Culture
90 折
出版日:2008/07/07 作者:Kam Louie  出版社:Cambridge Univ Pr  裝訂:精裝
At the start of the twenty-first century, China is poised to become a major global power. Understanding its culture is more important than ever before for western audiences, but for many, China remains a mysterious and exotic country. This Companion explains key aspects of modern Chinese culture without assuming prior knowledge of China or the Chinese language. The volume acknowledges the interconnected nature of the different cultural forms, from 'high culture' such as literature, religion and philosophy to more popular issues such as sport, cinema, performance and the internet. Each chapter is written by a world expert in the field. Invaluable for students of Chinese studies, this book includes a glossary of key terms, a chronology and a guide to further reading. For the interested reader or traveler, it reveals a dynamic, diverse and fascinating culture, many aspects of which are now elucidated in English for the first time.
優惠價: 9 3393
無庫存
The Cambridge Companion to Modern Chinese Culture
90 折
出版日:2008/07/07 作者:Kam Louie  出版社:Cambridge Univ Pr  裝訂:平裝
At the start of the twenty-first century, China is poised to become a major global power. Understanding its culture is more important than ever before for western audiences, but for many, China remains a mysterious and exotic country. This Companion explains key aspects of modern Chinese culture without assuming prior knowledge of China or the Chinese language. The volume acknowledges the interconnected nature of the different cultural forms, from 'high culture' such as literature, religion and philosophy to more popular issues such as sport, cinema, performance and the internet. Each chapter is written by a world expert in the field. Invaluable for students of Chinese studies, this book includes a glossary of key terms, a chronology and a guide to further reading. For the interested reader or traveler, it reveals a dynamic, diverse and fascinating culture, many aspects of which are now elucidated in English for the first time.
優惠價: 9 1345
無庫存
Other Souths: Diversity and Difference in the U.S. South, Reconstruction to Present
滿額折
出版日:2008/06/25 作者:Pippa Holloway (EDT)  出版社:Univ of Georgia Pr  裝訂:平裝
Other Souths collects fifteen innovative essays that place issues of race, class, gender, ethnicity, and sexuality at the center of the narrative of southern history. Using a range of methodologies an
定價:2259 元
無庫存
Syntactic Change:A Minimalist Approach to Grammaticalization
90 折
出版日:2008/06/19 作者:Ian Roberts  出版社:Cambridge Univ Pr  裝訂:平裝
The phenomenon of grammaticalization - the historical process whereby new grammatical material is created - has attracted a great deal of attention within linguistics. This is an attempt to provide a general account of this phenomenon in terms of a formal theory of syntax. Using Chomsky's Minimalist Program for linguistic theory, Roberts and Roussou show how this approach gives rise to a number of important conceptual and theoretical issues concerning the nature of functional categories and the form of parameters, as well as the relation of both of these to language change. Drawing on examples from a wide range of languages, they construct a general account of grammaticalization with implications for linguistic theory and language acquisition.
優惠價: 9 1988
無庫存
出版日:2008/06/15 作者:Jason Kinser  出版社:Jones & Bartlett Learning  裝訂:平裝
Kinser (bioinformatics and computational biology, George Mason U., Virginia) presents this text for advanced undergraduates and above on using the Python programming language for bioinformatics. Twent
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Navier-Stokes Equations and Turbulence
90 折
出版日:2008/06/12 作者:C. Foias  出版社:Cambridge Univ Pr  裝訂:平裝
This book aims to bridge the gap between practising mathematicians and the practitioners of turbulence theory. It presents the mathematical theory of turbulence to engineers and physicists, and the physical theory of turbulence to mathematicians. The book is the result of many years of research by the authors to analyse turbulence using Sobolev spaces and functional analysis. In this way the authors have recovered parts of the conventional theory of turbulence, deriving rigorously from the Navier–Stokes equations what had been arrived at earlier by phenomenological arguments. The mathematical technicalities are kept to a minimum within the book, enabling the language to be at a level understood by a broad audience. Each chapter is accompanied by appendices giving full details of the mathematical proofs and subtleties. This unique presentation should ensure a volume of interest to mathematicians, engineers and physicists.
優惠價: 9 3217
無庫存
出版日:2008/06/09 作者:Stephen B. Miles  出版社:Cambridge Univ Pr  裝訂:精裝
Are you an engineer or manager working on the development and implementation of RFID technology? If so, this book is for you. Covering both passive and active RFID systems, the challenges to RFID implementation are addressed using specific industry research examples and common integration issues. Key topics include RF tag performance optimization, evaluation methodologies for RFID and Real-Time-Location Systems (RTLS) and sensors, EPC network simulation, RFID in the retail supply chain, and applications in product lifecycle management, anti-counterfeiting and cold chain management. The book brings together insights from the world's leading research laboratories in the field, including the Auto-ID Labs at MIT, successor to the Auto-ID Center which developed the Electronic Product Code scheme which is set to become the global standard for product identification.MIT Auto-ID Labs's suite of Open Source code and tools for RFID implementation is available at www.cambridge.org/9780521880930.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
C++ Design Patterns and Derivatives Pricing
90 折
出版日:2008/06/09 作者:M. S. Joshi  出版社:Cambridge Univ Pr  裝訂:平裝
Design patterns are the cutting-edge paradigm for programming in C++, and they are here discussed in depth using examples from financial mathematics. Assuming only a basic knowledge of C++ and mathematical finance, the reader learns how to produce well-designed, structured, reusable code via carefully-chosen examples. This new edition includes several new chapters covering topics of increasing robustness in the presence of exceptions, designing a generic factory, interfacing C++ with EXCEL, and improving code design using the idea of decoupling. Complete ANSI/ISO compatible C++ source code is hosted on an accompanying website for the reader to study in detail, and reuse as they see fit. Whether you are a student of financial mathematics, a working quantitative analyst or financial mathematician, you need this book. Offering practical steps for implementing pricing models for complex financial products, it will transform your understanding of how to use C++.
優惠價: 9 3158
無庫存
出版日:2008/06/08 作者:Dean Moyar  出版社:Cambridge Univ Pr  裝訂:精裝
Hegel's Phenomenology of Spirit, first published in 1807, is a work with few equals in systematic integrity, philosophical originality and historical influence. This collection of essays, contributed by leading Hegel scholars, examines all aspects of the work, from its argumentative strategies to its continuing relevance to philosophical debates. The collection combines close analysis with wide-ranging coverage of the text, and also traces connections with debates extending beyond Hegel scholarship, including issues in the philosophy of language, philosophy of mind, philosophy of action, ethics, and philosophy of religion. In showing clearly that we have not yet exhausted the Phenomenology's insights, it demonstrates the need for contemporary philosophers to engage with Hegel.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/06/02 作者:Graham Priest  出版社:Cambridge Univ Pr  裝訂:精裝
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Non-Classical Logic ─ From If to Is
90 折
出版日:2008/05/26 作者:Graham Priest  出版社:Cambridge Univ Pr  裝訂:平裝
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
優惠價: 9 1871
無庫存
Domains and Lambda-Calculi
90 折
出版日:2008/05/15 作者:Roberto M. Amadio  出版社:Cambridge Univ Pr  裝訂:平裝
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach ha
優惠價: 9 3158
無庫存
出版日:2008/05/06 作者:Curtis L. Janssen; Ida M. B. Nielsen  出版社:CRC Press UK  裝訂:精裝
An In-Depth View of Hardware Issues, Programming Practices, and Implementation of Key Methods Exploring the challenges of parallel programming from the perspective of quantum chemists, Parallel Com
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 3154
    79
  • 1
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 79

暢銷榜

客服中心

收藏

會員專區