TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
搜尋結果 /

Formal Methods

40324
9 / 1009
SOFTWARE & SYSTEMS REQUIREMENTS ENGINEERIN IN PRACTICE
滿額折
出版日:2000/03/01 作者:BERENBACH  出版社:Mcgraw-Hill; Inc.  裝訂:精裝
"Requirements engineering is a discipline used primarily for large and complex applications. It is more formal than normal methods of gathering requirements, and this formality is needed for many larg
優惠:外文書周末優惠-單79雙75 優惠價: 79 1777
無庫存
Choice and Chance
90 折
出版日:1999/11/01 作者:Brian Skyrms  出版社:Cengage Learning  裝訂:平裝
An introductory text for undergraduates. Begins by defining basics of probability and inductive logic, then guides readers through more formal methods in a clear, straightforward style. Chapter units
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Methods and Models:A Guide to the Empirical Analysis of Formal Models in Political Science
90 折
出版日:1999/08/28 作者:Rebecca B. Morton  出版社:Cambridge Univ Pr  裝訂:精裝
At present much of political science consists of a large body of formal mathematical work that remains largely unexplored empirically and an expanding use of sophisticated statistical techniques. While there are examples of noteworthy efforts to bridge the gap between these, there is still a need for much more cooperative work between formal theorists and empirical researchers in the discipline. This book explores how empirical analysis has, can, and should be used to evaluate formal models in political science. The book is intended to be a guide for active and future political scientists who are confronting the issues of empirical analysis with formal models in their work and as a basis for a needed dialogue between empirical and formal theoretical researchers in political science. These developments, if combined, are potentially a basis for a new revolution in political science.
優惠價: 9 3217
無庫存
Methods and Models ─ A Guide to the Empirical Analysis of Formal Models in Political Science
90 折
出版日:1999/08/28 作者:Rebecca B. Morton  出版社:Cambridge Univ Pr  裝訂:平裝
At present much of political science consists of a large body of formal mathematical work that remains largely unexplored empirically and an expanding use of sophisticated statistical techniques. While there are examples of noteworthy efforts to bridge the gap between these, there is still a need for much more cooperative work between formal theorists and empirical researchers in the discipline. This book explores how empirical analysis has, can, and should be used to evaluate formal models in political science. The book is intended to be a guide for active and future political scientists who are confronting the issues of empirical analysis with formal models in their work and as a basis for a needed dialogue between empirical and formal theoretical researchers in political science. These developments, if combined, are potentially a basis for a new revolution in political science.
優惠價: 9 1520
無庫存
Nonmonotonic Reasoning
79 折
出版日:1997/03/12 作者:Grigoris Antoniou; Mary-Anne Williams  出版社:Mit Pr  裝訂:精裝
Nonmonotonic reasoning provides formal methods that enable intelligent systems tooperate adequately when faced with incomplete or changing information. In particular, it providesrigorous mechanisms fo
Fundamentals of Argumentation Theory ─ A Handbook of Historical Backgrounds and Contemporary Developments
90 折
Argumentation theory is a distinctly multidisciplinary field of inquiry. It draws its data, assumptions, and methods from disciplines as disparate as formal logic and discourse analysis, linguistics a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Writing & Illuminating & Lettering
滿額折
出版日:1995/05/01 作者:Edward Johnston  出版社:Dover Pubns  裝訂:平裝
Classic study of penmanship, lettering and illumination covers fundamentals of acquiring a formal hand, creating manuscript books, techniques of illumination, lettering and methods of constructing and
優惠價: 9 855
無庫存
Judgement & Choice - The Psychology Of Decision 2E
90 折
出版日:1987/07/29 作者:Hogarth  出版社:John Wiley & Sons Inc  裝訂:精裝
Despite the many formal methods available most decisions are made intuitively that is, without apparent reasoning and almost instinctively. This revised and updated edition emphasizes the unstructured
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Foundations of Mathematical Logic
滿額折
出版日:1977/04/01 作者:Haskell Brooks Curry  出版社:Dover Pubns  裝訂:平裝
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ? including algorithms a
優惠價: 9 1024
無庫存
Introducing Advanced Macroeconomics 2/e / Sorensen
90 折
作者:Sorensen  出版社:新月圖書  裝訂:平裝
Offers students with an understanding of fundamental models in macroeconomics, and introduces them to the methods of formal macroeconomic analysis. This book focuses on macroeconomics for the long run
優惠價: 9 1170
無庫存
New Spaces in Mathematics: Volume 1:Formal and Conceptual Reflections
90 折
出版日:2020/08/31 作者:Mathieu Anel  出版社:Cambridge Univ Pr  裝訂:精裝
After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. The chapters in this volume cover a broad range of topics in mathematics, including diffeologies, synthetic differential geometry, microlocal analysis, topos theory, infinity-groupoids, homotopy type theory, category-theoretic methods in geometry, stacks, derived geometry, and noncommutative geometry. It is addressed primarily to mathematicians and mathematical physicists, but also to historians and philosophers of these disciplines.
優惠價: 9 3293
無庫存
The Cambridge Handbook of Formal Semantics
90 折
出版日:2020/04/16 作者:Maria Aloni  出版社:Cambridge Univ Pr  裝訂:平裝
Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science.
優惠價: 9 2375
無庫存
出版日:2018/07/06 作者:Tashi Nyima  出版社:Springer Nature  裝訂:精裝
This book applies formal language and automata theory in the context of Tibetan computational linguistics; further, it constructs a Tibetan-spelling formal grammar system that generates a Tibetan-spel
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/05/29 作者:Jc Beall; Michael Glanzberg; David Ripley  出版社:Oxford Univ Pr  裝訂:精裝
Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/05/29 作者:Jc Beall; Michael Glanzberg; David Ripley  出版社:Oxford Univ Pr  裝訂:平裝
Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three
優惠價: 1 1859
無庫存
Formal Concept Analysis of Social Networks
90 折
出版日:2017/11/04 作者:Rokia Missaoui (EDT); Sergei O. Kuznetsov (EDT); Sergei Obiedkov (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
The book studies the existing and potential connections between Social Network Analysis (SNA) and Formal Concept Analysis (FCA) by showing how standard SNA techniques, usually based on graph theory, c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/11/01 作者:Gerard Prudhomme (EDT)  出版社:Society Pub  裝訂:精裝
Language Computability and Formal Language Theory is a division of computer engineering, of mathematical reasoning, as well as one of the primary principles of computation. Language Computability and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/06/29 作者:Alex Malpass (EDT)  出版社:Bloomsbury USA Academic  裝訂:精裝
An Introduction to the History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the presen
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Logic
滿額折
出版日:2017/04/30 作者:Paul A. Gregory  出版社:Broadview Pr  裝訂:平裝
Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantifi
優惠價: 1 3593
無庫存
出版日:2016/11/15 作者:Robert K. Logan (EDT); Corey Anton (EDT); Lance Strate (EDT)  出版社:Intellect L & D E F A E  裝訂:精裝
Bringing together some of today’s leading media scholars, Taking Up McLuhan’s Cause is an edited collection which explores Marshall McLuhan’s notion of formal cause and the role that formal cause play
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Cambridge Handbook of Formal Semantics
90 折
出版日:2016/07/07 作者:Maria Aloni  出版社:Cambridge Univ Pr  裝訂:精裝
Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Readings in Formal Epistemology ─ Sourcebook
90 折
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Intersections of Formal and Informal Science
90 折
出版日:2016/04/15 作者:Sanford A. Reinhard Klein; Keith E. Radermacher Herold  出版社:Routledge UK  裝訂:精裝
Science learning that takes place between and at the intersections of formal and informal science environments has not been systematically reviewed to offer a comprehensive understanding of the existi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/03/02 作者:Kathy Peno; Elaine M. Silva Mangiante  出版社:Information Age Publishing  裝訂:精裝
A volume in Adult Learning in Professional, Organizational, and Community Settings Series Editor: Carrie Boden-McGill, Texas State University Mentoring in Formal and Informal Contexts is a collection
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/01/15 作者:Peter Linz  出版社:Jones & Bartlett Learning  裝訂:精裝
An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic ─ The Theory of Formal Inference
滿額折
出版日:2015/11/18 作者:Alice Ambrose; Morris Lazerowitz  出版社:Dover Pubns  裝訂:平裝
Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in
優惠價: 9 443
無庫存
A Student's Guide to Numerical Methods
滿額折
出版日:2015/06/30 作者:Ian H. Hutchinson  出版社:Cambridge Univ Pr  裝訂:精裝
This concise, plain-language guide for senior undergraduates and graduate students aims to develop intuition, practical skills and an understanding of the framework of numerical methods for the physical sciences and engineering. It provides accessible self-contained explanations of mathematical principles, avoiding intimidating formal proofs. Worked examples and targeted exercises enable the student to master the realities of using numerical techniques for common needs such as solution of ordinary and partial differential equations, fitting experimental data, and simulation using particle and Monte Carlo methods. Topics are carefully selected and structured to build understanding, and illustrate key principles such as: accuracy, stability, order of convergence, iterative refinement, and computational effort estimation. Enrichment sections and in-depth footnotes form a springboard to more advanced material and provide additional background. Whether used for self-study, or as the basis o
優惠價: 9 2690
無庫存
A Student's Guide to Numerical Methods
滿額折
出版日:2015/06/30 作者:Ian H. Hutchinson  出版社:Cambridge Univ Pr  裝訂:平裝
This concise, plain-language guide for senior undergraduates and graduate students aims to develop intuition, practical skills and an understanding of the framework of numerical methods for the physical sciences and engineering. It provides accessible self-contained explanations of mathematical principles, avoiding intimidating formal proofs. Worked examples and targeted exercises enable the student to master the realities of using numerical techniques for common needs such as solution of ordinary and partial differential equations, fitting experimental data, and simulation using particle and Monte Carlo methods. Topics are carefully selected and structured to build understanding, and illustrate key principles such as: accuracy, stability, order of convergence, iterative refinement, and computational effort estimation. Enrichment sections and in-depth footnotes form a springboard to more advanced material and provide additional background. Whether used for self-study, or as the basis o
優惠價: 9 1345
無庫存
Formal Jewelry
滿額折
出版日:2015/04/23 出版社:Leisure Arts UK  裝訂:平裝
For extra-easy glamour, learn to crochet pearls and other beads onto metallic crochet thread to make elegant necklaces, bracelets and other accessories. The elegant designs in Formal Jewelry are extra
優惠:外文書周末優惠-單79雙75 優惠價: 79 391
無庫存
Formal Languages, Automata And Numeration Systems Volume 1
90 折
出版日:2014/11/07 作者:Rigo  出版社:John Wiley & Sons Inc  裝訂:精裝
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Devel
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Languages in Logic ― A Philosophical and Cognitive Analysis
滿額折
出版日:2014/11/06 作者:Catarina Dutilh Novaes  出版社:Cambridge Univ Pr  裝訂:平裝
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.
優惠價: 9 1286
無庫存
Formal Algorithmic Elimination for PDEs
90 折
出版日:2014/10/22 作者:Daniel Robertz  出版社:Springer Verlag  裝訂:平裝
Investigating the correspondence between systems of partial differential equations and their analytic solutions using a formal approach, this monograph presents algorithms to determine the set of anal
優惠價: 9 2430
無庫存
出版日:2014/05/09 作者:Derrick G. Kourie; Bruce W. Watson  出版社:Springer Verlag  裝訂:平裝
The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the mo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/10/01 作者:Ronald D. Francis; Anona F. Armstrong  出版社:Anthem Pr  裝訂:平裝
‘The Meetings Handbook: Formal Rules and Informal Processes’ is a comprehensive manual to the rules and formal procedures of meetings, as well as a useful guide to understanding the informal processes
優惠價: 1 2000
無庫存
出版日:2013/07/16 作者:Allison Deutermann (EDT); Andr憳? KisTry (EDT)  出版社:Palgrave Macmillan  裝訂:精裝
How do the formal properties of early modern texts, together with the materials that envelop and shape them, relate to the cultural, political, and social world of their production? Formal Matters: Re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Languages in Logic―A Philosophical and Cognitive Analysis
90 折
出版日:2012/11/30 作者:Catarina Dutilh Novaes  出版社:Cambridge Univ Pr  裝訂:精裝
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/08/02 作者:Nagpal  出版社:Oxford Univ Press USA  裝訂:平裝
Formal Language and Automata Theory is designed to serve as a textbook for undergraduate students of B..E, B.Tech. CSE, and MCA/IT. It attempts to help students grasp the essential concepts involved i
優惠價: 1 1497
無庫存
Industrial Used Of Formal Method: Formal Verification
90 折
出版日:2012/07/18 作者:Boulanger  出版社:John Wiley & Sons Inc  裝訂:平裝
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/07/06 作者:Philippe De Groote (EDT); Mark-jan Nederhof (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010 and 2011,collocated with the European Summer School in Logic, Language and Informati
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/06/25 作者:Ronald D. Francis; Anona F. Armstrong  出版社:Anthem Pr  裝訂:精裝
‘The Meetings Handbook: Formal Rules and Informal Processes’ is a comprehensive manual to the rules and formal procedures of meetings, as well as a useful guide to understanding the informal processes
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 40324
    1009
  • 1
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 1009

暢銷榜

客服中心

收藏

會員專區