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

Formal Methods

40348
10 / 1009
Practical Formal Software Engineering:Wanting the Software You Get
90 折
出版日:2009/01/19 作者:Bruce Mills  出版社:Cambridge Univ Pr  裝訂:精裝
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.
優惠價: 9 2749
無庫存
Nonparametric Techniques in Statistical Inference
90 折
出版日:2009/01/08 作者:Madan Lal Puri  出版社:Cambridge Univ Pr  裝訂:平裝
Nonparametric techniques in statistics are those in which the data are ranked in order according to some particular characteristic. When applied to measurable characteristics, the use of such techniques often saves considerable calculation as compared with more formal methods, with only slight loss of accuracy. The field of nonparametric statistics is occupying an increasingly important role in statistical theory as well as in its applications. Nonparametric methods are mathematically elegant, and they also yield significantly improved performances in applications to agriculture, education, biometrics, medicine, communication, economics and industry.
優惠價: 9 2690
無庫存
出版日:2008/08/15 作者:Stefano Borgo (EDT); Leonardo Lesmo (EDT)  出版社:Ios Pr Inc  裝訂:精裝
The goal of a formal ontology is to provide a domain- and application- independent view of reality for modeling knowledge and dealing with the semantic dimensions of information that has indefinite ex
若需訂購本書,請電洽客服 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]。
Understanding Z:A Specification Language and its Formal Semantics
90 折
出版日:2008/01/21 作者:J. M. Spivey  出版社:Cambridge Univ Pr  裝訂:平裝
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.
優惠價: 9 1813
無庫存
Mainstream and Formal Epistemology
90 折
出版日:2007/11/12 作者:Vincent F. Hendricks  出版社:Cambridge Univ Pr  裝訂:平裝
Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum.
優惠價: 9 1520
無庫存
Formal Correctness of Security Protocols
90 折
出版日:2007/04/04 作者:Giampaolo Bella  出版社:Springer Verlag  裝訂:精裝
"The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation pr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2006/12/31 作者:Maria Del Pilar Garcia Mayo (EDT)  出版社:Utp Distribution  裝訂:精裝
This book brings together research that makes use of tasks to examine oral interaction, written production, vocabulary and reading, lexical innovation and pragmatics in different formal language learn
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mainstream and Formal Epistemology
90 折
出版日:2005/12/19 作者:Vincent F. Hendricks  出版社:Cambridge Univ Pr  裝訂:精裝
Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/09/29 作者:Richard Bornat  出版社:Oxford Univ Pr on Demand  裝訂:平裝
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical cl
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic in Computer Science:Modelling and Reasoning about Systems
90 折
出版日:2004/08/26 作者:Michael Huth  出版社:Cambridge Univ Pr  裝訂:平裝
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers,
Formal Logic: A Philosophical Approach
滿額折
出版日:2004/07/26 作者:Paul Hoyningen-Huene; Alex Levine (TRN)  出版社:Univ of Pittsburgh Pr  裝訂:平裝
Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is
優惠價: 1 3190
無庫存
出版日:2004/04/28 作者:Carlos Martin-Vide (EDT); Victor Mitrana (EDT); Gheorghe Paun (EDT)  出版社:Springer Verlag  裝訂:精裝
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible ma
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Compositionality In Formal Semantics
90 折
出版日:2003/12/02 作者:Partee  出版社:John Wiley & Sons Inc  裝訂:平裝
Compositionality in Formal Semantics is a collection of Barbara Partee’s papers that have been influential in the field but are not readily available and includes a new introductory essay in whi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Formal Logic
90 折
出版日:2003/11/06 作者:Peter Smith  出版社:Cambridge University Press  裝訂:平裝
This book introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages. It will make an ideal
優惠價: 9 1337
無庫存
Formal Organizations ─ A Comparative Approach
90 折
出版日:2003/11/01 作者:Peter Michael Blau; W. Richard Scott  出版社:Stanford Business Books  裝訂:平裝
Upon its publication in 1962, this book became one of the founding texts of organizational sociology. Bringing together diverse approaches, it presented a new focus of interest: the formal organizati
優惠價: 9 1539
無庫存
出版日: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]。
Model Selection and Multimodel Inference
90 折
出版日:2002/07/01 作者:Kenneth P. Burnham; David R. Anderson  出版社:Springer Verlag  裝訂:精裝
The second edition of this book is unique in that it focuses on methods for making formal statistical inference from all the models in an a priori set (Multi-Model Inference). A philosophy is presente
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2000/07/01 作者:Pierre Bonzon (EDT); Marcos Cavalcanti (EDT); Rolf Nossum (EDT)  出版社:Kluwer Academic Pub  裝訂:精裝
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi­ cial intelligence. In recent years theoret
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1995/08/01 作者:John Fountain (EDT)  出版社:Springer Verlag  裝訂:精裝
The core 14 invited expository lectures given at an August 1993 workshop in York, England, introduce advanced students and specialists to the interplay between automata, semigroups, formal languages,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1993/03/01 作者:Ronnie Cann  出版社:Cambridge Univ Pr  裝訂:精裝
This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Formal Semantics: An Introduction
滿額折
出版日:1993/03/01 作者:CANN; RONNIE  出版社:Cambridge University Press  裝訂:平裝
*This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework.*It covers all the major aspects, including set theory, propositiona
優惠價: 95 1164
無庫存
Introduction to Formal Languages
滿額折
出版日:1991/05/01 作者:Gyorgy E. Revesz  出版社:Dover Pubns  裝訂:平裝
This carefully written introductory treatment covers all areas of mainstream formal language theory, including operations on languages, context-sensitive languages, automata, decidability, and syntax
優惠價: 9 511
無庫存
Logic ─ Techniques of Formal Reasoning
90 折
出版日:1980/04/16 作者:Donald Kalish  出版社:Oxford Univ Press USA  裝訂:精裝
Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Theory of Formal Systems
90 折
出版日:1961/04/01 作者:Raymond M. Smullyan  出版社:Princeton Univ Pr  裝訂:平裝
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Rethinking Education for Sustainable Development
90 折
出版日:2022/11/17 出版社:Bloomsbury Academic UK  裝訂:精裝
This book explores how education can be used as a tool to promote sustainability practices as the world faces huge challenges related to climate change and public health. The chapters consider all types of literacy approaches that fall under the umbrella of Education for Sustainable Development (ESD). These approaches include scientific literacy, ecological literacy, health literacy, education on climate change and climate resilience, environmental education and others linking education, global health, and the environment more broadly. “Education” is used in the widest sense to incorporate non-formal, informal and formal/school settings. This volume will help to bring these interconnected areas together and interrogate their research methods, assumptions, field-based application and their policy potential. Taking a critical approach to ESD, the book suggests new pedagogies, tools, and technologies to strengthen the way we educate about sustainability issues and go beyond the current th
優惠價: 9 4703
無庫存
Bryman's Social Research Methods
90 折
出版日:2021/08/09 作者:Tom Clark  出版社:Oxford Univ Pr  裝訂:平裝
Clear, comprehensive, and trusted, Bryman's Social Research Methods has guided over a quarter of a million students through their research methods course and student research project. The thoroughly u
優惠價: 9 2915
無庫存
The Language of Violent Jihad
90 折
出版日:2021/02/28 作者:Paul Baker  出版社:Cambridge Univ Pr  裝訂:平裝
How do violent jihadists use language to try to persuade people to carry out violent acts? This book analyses over two million words of texts produced by violent jihadists to identify and examine the linguistic strategies employed. Taking a mixed methods approach, the authors combine quantitative methods from corpus linguistics, which allows the identification of frequent words and phrases, alongside close reading of texts via discourse analysis. The analysis compares language use across three sets of texts: those which advocate violence, those which take a hostile but non-violent standpoint, and those which take a moderate perspective, identifying the different uses of language associated with different stages of radicalization. The book also discusses how strategies including use of Arabic, romanisation, formal English, quotation, metaphor, dehumanisation and collectivisation are used to create in- and out-groups and justify violence.
優惠價: 9 1754
無庫存
The Language of Violent Jihad
90 折
出版日:2021/02/28 作者:Paul Baker  出版社:Cambridge Univ Pr  裝訂:精裝
How do violent jihadists use language to try to persuade people to carry out violent acts? This book analyses over two million words of texts produced by violent jihadists to identify and examine the linguistic strategies employed. Taking a mixed methods approach, the authors combine quantitative methods from corpus linguistics, which allows the identification of frequent words and phrases, alongside close reading of texts via discourse analysis. The analysis compares language use across three sets of texts: those which advocate violence, those which take a hostile but non-violent standpoint, and those which take a moderate perspective, identifying the different uses of language associated with different stages of radicalization. The book also discusses how strategies including use of Arabic, romanisation, formal English, quotation, metaphor, dehumanisation and collectivisation are used to create in- and out-groups and justify violence.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Methods Of Soil Analysis - Part 3 - Chemical Methods
滿額折
出版日:2020/03/18 作者:Sparks  出版社:John Wiley & Sons Inc  裝訂:平裝
"A thorough presentation of analytical methods for characterizing soil chemical properties and processes, Methods, Part 3 includes chapters on Fourier transform infrared, Raman, electron spin resonan
優惠價: 9 2290
無庫存
Mixing Methods in Social Research:Qualitative, Quantitative and Combined Methods
90 折
出版日:2020/03/10 作者:Hall  出版社:SAGE Publications UK  裝訂:平裝
This book provides a straightforward, student-focused introduction to doing mixed methods research, covering everything from why and when mixed methods is appropriate, as well as how to use qualitativ
優惠價: 9 2105
無庫存
Mixing Methods in Social Research:Qualitative, Quantitative and Combined Methods
90 折
出版日:2020/03/10 作者:Hall  出版社:SAGE Publications UK  裝訂:精裝
This book provides a straightforward, student-focused introduction to doing mixed methods research, covering everything from why and when mixed methods is appropriate, as well as how to use qualitativ
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Biometrics Authentication Methods
95 折
出版日:2019/11/01 作者:Zoran Gacovski (EDT)  出版社:Arcler Education Inc  裝訂:精裝
Biometrics Authentication Methods deals with the methods and approaches of biometrics and the fundamental principles involved in the hand shape biometrics. It consists of modern trends involved in the
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Universal Methods of Design
滿額折
出版日:2019/10/22 作者:Bruce Hanington; Bella Martin  出版社:Rockport Pub  裝訂:平裝
This expanded and revised version of the best-selling Universal Methods of Design is a comprehensive reference that provides a thorough and critical presentation of 125 research methods, synthesis/ana
優惠:外文書周末優惠-單79雙75 優惠價: 79 1130
無庫存
The Logic in Philosophy of Science
90 折
出版日:2019/08/31 作者:Hans Halvorson  出版社:Cambridge Univ Pr  裝訂:精裝
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Logic in Philosophy of Science
滿額折
出版日:2019/08/31 作者:Hans Halvorson  出版社:Cambridge Univ Pr  裝訂:平裝
Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in a
優惠價: 9 1637
無庫存
Formal Labour Market in Urban India:Job Search, Hiring Practices and Discrimination
90 折
出版日:2019/08/20 作者:Mamgain  出版社:Sage Pubns Pvt Ltd  裝訂:精裝
Formal Labour Market in Urban India: Job Search, Hiring Practices and Discrimination is a comprehensive study on the demand and supply dynamics of urban labour markets in India. It presents an in-dept
優惠價: 9 2475
無庫存
Judo Formal Techniques ― A Basic Guide to Throwing and Grappling - the Essentials of Kodokan Free Practice Forms
滿額折
出版日:2019/04/09 作者:Donn F. Draeger; Tadao Otaki; Neil Ohlenkamp (FRW)  出版社:Tuttle Pub  裝訂:平裝
Judo Formal Techniques is "The most detailed explanation of Judo that has ever been published" (The Japan Times). A comprehensive training manual to the basic "free practice" forms of Kodokan Judo (th
優惠價: 1 760
無庫存
出版日:2019/03/08 作者:Corinna Burger (EDT); Margaret Jo Velardo (EDT)  出版社:Humana Pr Inc  裝訂:精裝
This volume aims to provide clear and detailed methods to probe glutamate receptor function. Chapters in this book feature methods to study synaptic ultrastructure, receptor dynamics/receptor interact
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Communication Research Methods
90 折
出版日:2019/01/18 作者:Gerianne Merrigan; Carole Huston  出版社:Oxford Univ Pr  裝訂:平裝
Ideal for research methods courses covering multiple methodologies, Communication Research Methods is the only text that uses a research-as-argument approach to help students not only become more effe
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 40348
    1009
  • 1
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 1009

暢銷榜

客服中心

收藏

會員專區