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

Formal Methods

40351
8 / 1009
Studies in Discourse Analysis
90 折
出版日:2013/12/06 作者:Malcolm Coulthard (EDT); Martin Montgomery (EDT)  出版社:Taylor & Francis  裝訂:精裝
The book explores ways in which the formal methods of linguistics can cast light on the structure of verbal interaction, and in particular considers how successive utterances cohere together in contin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Beginning Statistics With Data Analysis
滿額折
出版日:2013/10/17 作者:Frederick Mosteller; Stephen E. Fienberg; Robert E.k. Rourke  出版社:Dover Pubns  裝訂:平裝
This introduction to the world of statistics covers exploratory data analysis, methods for collecting data, formal statistical inference, and techniques of regression and analysis of variance. 1983 ed
優惠價: 9 853
無庫存
出版日:2013/05/07 作者:Gunter Hefler  出版社:Intl Specialized Book Service Inc  裝訂:平裝
Formal adult education definitely exists as a phenomenon, yet few researchers have tried to explain it. Contrary to non-formal educational courses, the 'social charter' of formal adult education allow
優惠價: 1 2397
無庫存
Formal Models of Domestic Politics
90 折
出版日:2013/04/30 作者:Scott Gehlbach  出版社:Cambridge Univ Pr  裝訂:平裝
Formal Models of Domestic Politics offers the first unified and accessible treatment of canonical and important new formal models of domestic politics. Intended for students in political science and e
優惠價: 9 1080
無庫存
出版日:2012/11/30 作者:Neil H. Timm  出版社:Springer Verlag  裝訂:平裝
This book provides a broad overview of the basic theory and methods of applied multivariate analysis. The presentation integrates both theory and practice including both the analysis of formal linear
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/11/25 作者:Jeffrey T. Runner (EDT)  出版社:Emerald Group Pub Ltd  裝訂:精裝
While experimental data collection has been common in psycholinguistics for some time, only relatively recently have experimental methods been employed to collect data for research in formal linguisti
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Software Abstractions ─ Logic, Language, and Analysis
79 折
出版日:2011/11/04 作者:Daniel Jackson  出版社:Mit Pr  裝訂:精裝
In Software Abstractions Daniel Jackson introduces an approach tosoftware design that draws on traditional formal methods but exploits automated tools to find flawsas early as possible. This approach-
出版日:2011/11/01 作者:Angela M. Yarber  出版社:Peter Lang Pub Inc  裝訂:精裝
Also a professional dancer and artist, Yarber is pastor for preaching and worship at Wake Forest Baptist Church. Using the methods of phenomenology, formal analysis, and Paul Knitter's constructive me
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/08/22 作者:David A. White  出版社:Rowman & Littlefield Pub Inc  裝訂:精裝
Derrida on Formal Logic: An Interpretive Essay develops the dominant themes in Jacques Derrida's texts on the principles of formal logic, especially identity and contradiction, as these themes emerged
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/08/04 作者:Michael Butler (EDT); Wolfram Schulte (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together wi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/03/31 作者:V. S. Alagar; K. Periyasamy  出版社:Springer-Verlag New York Inc  裝訂:精裝
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A History of Modern Experimental Psychology: From James and Wundt to Cognitive Science
79 折
出版日:2011/01/21 作者:George Mandler  出版社:Bradford Books  裝訂:平裝
Modern psychology began with the adoption of experimental methods at the end of thenineteenth century: Wilhelm Wundt established the first formal laboratory in 1879; universitiescreated independent ch
優惠價: 79 1422
無庫存
出版日:2010/10/01 作者:Rem B. Edwards  出版社:Univ Pr of Amer  裝訂:平裝
This book explains and advances formal axiology as originally developed by Robert S. Hartman. Formal axiology identifies the general patterns involved in (1) the meaning of "good" and other value con
優惠價: 1 3119
無庫存
出版日:2010/05/12 作者:Gerhild Zybatow (EDT); P. Dudchuk (EDT); Serge Minor (EDT); Ekaterina Pshehotskaya (EDT)  出版社:Peter Lang Pub Inc  裝訂:精裝
This book contains a collection of papers presented at the European Conference on Formal Description of Slavic Languages 7.5 which took place in Moscow in December 2008. It brings together formal rese
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Data Analysis In Forensic Science - A Bayesian Decision Perspective
90 折
出版日:2010/04/09 作者:Taroni  出版社:John Wiley & Sons Inc  裝訂:精裝
The use of formal statistical methods to analyse quantitative data in forensic science has increased considerably over the last few years. Students, researchers and practitioners in forensic science r
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/02/28 作者:Daniel R. Tomal; J. Dennis Hastert (FRW)  出版社:Rowman & Littlefield Pub Inc  裝訂:平裝
This user-friendly book covers the principles and history of action research, ethical and legal considerations, methods for conducting both formal and informal action research, data collection methods
優惠價: 1 3540
無庫存
Decisions to Imprison: Court Decision-Making Inside and Outside of the Law
滿額折
出版日:2009/10/06 作者:Rasmus Wandall  出版社:Ashgate Pub UK  裝訂:精裝
Rasmus Wandall uses quantitative and qualitative methods from studies carried out in Denmark, to address the formal and informal norms and ideologies that are used to generate decisions to imprison. F
優惠價: 1 7875
無庫存
Modelling Systems:Practical Tools and Techniques in Software Development
90 折
出版日:2009/06/11 作者:John Fitzgerald  出版社:Cambridge Univ Pr  裝訂:精裝
How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mathematical Logic
90 折
出版日:2008/08/13 作者:Tourlakis  出版社:John Wiley & Sons Inc  裝訂:精裝
A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Partner Choice and Cooperation in Networks―Theory and Experimental Evidence
90 折
出版日:2008/03/05 作者:Aljaz Ule  出版社:Springer Verlag  裝訂:平裝
In this book, a social dilemma with partner selection is introduced and studied with the methods of formal game theory, experimental economics and computer simulations. It allows exploration of simult
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Portrait Photographer's Handbook
滿額折
出版日:2007/08/01 作者:Bill Hurter  出版社:Amherst Media  裝訂:平裝
Combining time-tested practices with contemporary methods, this guidebook details the fine art of capturing formal and casual posed images. With advice and guidance from the finest and most decorated
優惠價: 79 1049
無庫存
A History of Modern Experimental Psychology: From James And Wundt to Cognitive Science
79 折
出版日:2006/12/22 作者:George Mandler  出版社:Bradford Books  裝訂:精裝
Modern psychology began with the adoption of experimental methods at the end of the nineteenth century: Wilhelm Wundt established the first formal laboratory in 1879; uni
Graduate Mathematical Physics - With Mathematica Supplements +Cd
90 折
出版日:2006/10/10 作者:Kelly  出版社:John Wiley & Sons Inc  裝訂:平裝
This up-to-date textbook on mathematical methods of physics is designed for a one-semester graduate or two-semester advanced undergraduate course. The formal methods are supplemented by applications t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Software Abstractions: Logic, Language, And Analysis
79 折
出版日:2006/03/24 作者:Daniel Jackson  出版社:Mit Pr  裝訂:精裝
In Software Abstractions Daniel Jackson introduces a new approach to software design that draws on traditional formal methods but exploits automated tools to find flaws a
Applied Formal Verification
90 折
出版日:2005/04/19 作者:PERRY  出版社:Mcgraw-Hill; Inc.  裝訂:精裝
Intended for hardware design engineers, this book introduces general verification techniques, compares them with formal verification techniques, and provides instructions for creating formal high leve
優惠價: 9 2752
無庫存
Interactive Theorem Proving And Program Development ― Coq'art: The Calculus Of Inductive Constructions
90 折
出版日:2004/06/30 作者:Yves Bertot; Pierre CastTran; Gerard Huet (FRW); Christine Paulin-Mohring (FRW)  出版社:Springer Verlag  裝訂:精裝
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2003/02/01 作者:Claude Girault; Rudiger Valk  出版社:Springer Verlag  裝訂:平裝
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to il
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2002/12/01 作者:Carlo Ghezzi; Mehdi Jazayeri; Dino Mandrioli  出版社:Prentice Hall  裝訂:精裝
This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other bo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Semantics
90 折
出版日:2002/09/16 作者:Portner  出版社:John Wiley & Sons Inc  裝訂:精裝
Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Semantics - The Essential Readings
滿額折
出版日:2002/09/16 作者:Portner  出版社:John Wiley & Sons Inc  裝訂:平裝
Formal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.
優惠價: 9 3384
無庫存
Making History Count:A Primer in Quantitative Methods for Historians
90 折
出版日:2002/08/29 作者:Charles H. Feinstein  出版社:Cambridge Univ Pr  裝訂:平裝
Making History Count introduces the main quantitative methods used in historical research. The emphasis is on intuitive understanding and application of the concepts, rather than formal statistics; no knowledge of mathematics beyond simple arithmetic is required. The techniques are illustrated by applications in social, political, demographic and economic history. Students will learn to read and evaluate the application of the quantitative methods used in many books and articles, and to assess the historical conclusions drawn from them. They will also see how quantitative techniques can open up new aspects of an enquiry, and supplement and strengthen other methods of research. This textbook will encourage students to recognize the benefits of using quantitative methods in their own research projects. The text is clearly illustrated with tables, graphs and diagrams, leading the student through key topics. Additional support includes five specific historical data-sets, available from the
優惠價: 9 2398
無庫存
Applied Multivariate Analysis
90 折
出版日:2002/08/01 作者:Neil H. Timm  出版社:Springer Verlag  裝訂:精裝
This book provides a broad overview of the basic theory and methods of applied multivariate analysis. The presentation integrates both theory and practice including both the analysis of formal linear
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2002/06/01 作者:Marilyn T. Maccrimmon (EDT); Peter Tillers (EDT)  出版社:Springer Verlag  裝訂:精裝
Fact finding in judicial proceedings is a dynamic process. This collection of papers considers whether computational methods or other formal logical methods developed in disciplines such as artificial
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Peer Reviews in Software: A Practical Guide
90 折
出版日:2001/10/01 作者:Karl E. Wiegers  出版社:Addison-Wesley Professional  裝訂:平裝
Software development consultant Wiegers describes various formal and informal methods for conducting a peer review program, such as pair programming, team reviews, the "walkthrough," and the ad hoc re
優惠價: 9 2835
無庫存
The Theory of Graphs
滿額折
出版日:2001/09/04 作者:Claude Berge  出版社:Dover Pubns  裝訂:平裝
Concise, well-written text illustrates development of graph theory and application of its principles in methods both formal and abstract. Practical examples explain theory's broad range, from behavior
優惠價: 9 580
無庫存
出版日:2001/08/01 作者:Johann M. Schumann  出版社:Springer Verlag  裝訂:精裝
Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the po
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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 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
無庫存
  • 40351
    1009
  • 1
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 1009

暢銷榜

客服中心

收藏

會員專區