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

Formal Methods

40359
12 / 1009
出版日:2017/07/04 作者:Sillanp曈? Mika; Marina Shestakova  出版社:Butterworth-Heinemann  裝訂:平裝
Electrochemical Methods for Water Treatment: Fundamentals, Methods and Full Scale Applications covers all traditional, emerging and combined methods currently available for the treatment of surface, d
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Grid Generation Methods
90 折
出版日:2017/06/22 作者:Vladimir D. Liseikin  出版社:Springer Verlag  裝訂:精裝
This text is an introduction to methods of grid generation technology in scientific computing. Special attention is given to methods developed by the author for the treatment of singularly-perturbed e
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Protein Crystallography ― Methods and Protocols
90 折
This volume provides methods for modern macromolecular crystallography, including all steps leading to crystal structure determination and analysis. Written in the highly successful Methods in Molecul
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Decomposition Methods for Differential Equations ― Theory and Applications
90 折
出版日:2017/06/14 作者:Juergen Geiser  出版社:CRC Pr I Llc  裝訂:平裝
Decomposition Methods for Differential Equations: Theory and Applications describes the analysis of numerical methods for evolution equations based on temporal and spatial decomposition methods. It co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/06/13 作者:Punam K. Saha (EDT); Gunilla Borgefors (EDT); Gabriella Sanniti Di Baja (EDT)  出版社:Academic Pr  裝訂:平裝
Skeletonization: Theory, Methods and Applications is a comprehensive reference on skeletonization, written by the world’s leading researchers in the field. The book presents theory, methods, algorithm
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Great Formal Machinery Works ─ Theories of Deduction and Computation at the Origins of the Digital Age
90 折
出版日:2017/06/06 作者:Jan Von Plato  出版社:Princeton Univ Pr  裝訂:精裝
The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original
優惠價: 9 2106
無庫存
出版日:2017/05/18 作者:Basant Giri  出版社:Elsevier Science Ltd  裝訂:平裝
Laboratory Methods in Microfluidics features a range of lab methods and techniques necessary to fully understand microfluidic technology applications. Microfluidics deals with the manipulation of smal
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/04/21 作者:Thomas W. Edgar; David O. Manz  出版社:Syngress Media Inc  裝訂:平裝
Research Methods for Cyber Security teaches the needed scientific methods for generating impactful theories, adding critical rigor to the cyber security field. Research Methods for Cyber Security be
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Meaning in English ─ An Introduction
滿額折
出版日:2017/04/19 作者:Javier Valenzuela  出版社:Cambridge Univ Pr  裝訂:平裝
This lively, compact textbook introduces readers to semantics - the study of how we construct meaning in communication. Easy to follow, and with a clear structure, it explains formal terminology in a simple and understandable way, without using formal notation or logic, and draws on dozens of examples from up-to-date empirical research findings. Offering a tight integration of classic semantic issues with cognitive science, Javier Valenzuela provides a complete and coherent overview of the main topics in this area, including a review of the empirical methods used in semantic theorizing, and discussions of both non-traditional and new topics, such as how meaning is acquired by children and how meaning is constructed cross-linguistically. Featuring illustrations, exercises, activities, suggestions for further reading, highlighted key terms, and a comprehensive glossary, this book is accessible to beginners and undergraduates, including those from non-linguistic backgrounds with no prior
優惠價: 9 1345
無庫存
Methods In Social Epidemiology 2E
90 折
出版日:2017/03/10 作者:Oakes  出版社:John Wiley & Sons Inc  裝訂:平裝
Methods in Social Epidemiology (second edition) introduces students and researchers to theory and methods of social epidemiology. Social epidemiology is the branch of epidemiology that considers how s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/01/31 作者:Howard Lune ; Bruce L. Berg  出版社:Pearson  裝訂:平裝
For courses in Research Methods in Political Science and Sociology, and in Qualitative Research Methods Raising questions, rather than giving answers Qualitative Research Methods for the Social
Haplotyping + Ereference ― Methods and Protocols
90 折
出版日:2017/01/30 作者:Irene Tiemann-boege (EDT); Andrea Betancourt (EDT)  出版社:Humana Pr Inc  裝訂:平裝
This volume details protocols for genetic, molecular, cytological, and bioinformatic methods for determining haplotypes. Haplotyping: Methods and Protocols guides readers through methods that directl
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/01/18 作者:Patrick Legembre (EDT)  出版社:Humana Pr Inc  裝訂:精裝
This volume provides the most commonly used methods and protocols to study the apoptotic and non-apoptotic roles of CD95. Chapters explore molecular, biochemical, cellular methods and animal models to
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/01/11 作者:Alan Agresti; Barbara Finlay  出版社:Pearson College Div  裝訂:精裝
For courses in Statistical Methods for the Social Sciences . Statistical methods applied to social sciences, made accessible to all through an emphasis on concepts Statistical Methods for t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Inflammation ― Methods and Protocols
90 折
出版日:2017/01/07 作者:Bj憿孓 E. Clausen (EDT); Jon D. Laman (EDT)  出版社:Humana Pr Inc  裝訂:精裝
This volume presents a broad selection of cutting-edge methods and tools that will enable the reader to investigate the multi-faceted manifestations of inflammation. Inflammation: Methods and Protocol
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Discrete Calculus ─ Methods for Counting
90 折
出版日:2016/12/15 作者:Carlo Mariconda; Alberto Tonolo  出版社:Springer Verlag  裝訂:平裝
This text deals with combinatorics, finite calculus, formal power series and generating functions, recurrence relations, symbolic calculus and approximation formulae for finite sums. There are several
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Antibiotics ─ Methods and Protocols
90 折
出版日:2016/11/22 作者:Peter Sass (EDT)  出版社:Humana Pr Inc  裝訂:精裝
This volume provides state-of-the-art and novel methods on antibiotic isolation and purification, identification of antimicrobial killing mechanisms, and methods for the analysis and detection of micr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Neurotransmitter Transporters ― Investigative Methods
90 折
出版日:2016/09/20 作者:Heinz B?痣sch (EDT); Harald H. Sitte (EDT)  出版社:Humana Pr Inc  裝訂:精裝
The volume aims at providing an overview of cutting-edge methods and protocols used in neuroscience and neurological research. Neurotransmitter Transporters: Investigative Methods will be of interest
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Iterative Methods Without Inversion
90 折
出版日:2016/09/15 作者:Anatoly Galperin  出版社:Productivity Press  裝訂:精裝
This book is about iterative methods for solving operator equations f(x) = 0 in Banach and/or Hilbert spaces. It covers methods that do not require inversions of f (or solving linearized subproblems).
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic As A Tool - A Guide To Formal Logical Reasoning
滿額折
出版日:2016/08/29 作者:Goranko  出版社:John Wiley & Sons Inc  裝訂:精裝
Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science, and will guide them t
優惠價: 9 2489
無庫存
出版日:2016/08/07 作者:Howard Lune; Bruce L. Berg  出版社:Pearson College Div  裝訂:精裝
For courses in Research Methods in Political Science and Sociology, and in Qualitative Research Methods Raising questions, rather than giving answers Qualitative Research Methods for the Soc
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Oogenesis ― Methods and Protocols
90 折
出版日:2016/07/06 作者:Ioannis P. Nezis (EDT)  出版社:Humana Pr Inc  裝訂:精裝
This volume presents methods and techniques to study oogenesis in a broad range of organisms, from plants to mammals.Oogenesis: Methods and Protocols guides readers through protocols on models of deve
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/05/19 作者:Assel Tutumlu (EDT); G?狂憿? Gaye (EDT)  出版社:Peter Lang Pub Inc  裝訂:精裝
The aim of this edited volume is to bring back multilateralism in global governance research by going beyond the state-centric and formal models of multilateralism of the 1990s and deeper into the inf
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Urban Planning Methods
滿額折
出版日:2016/05/18 作者:Raymond Firth  出版社:Routledge UK  裝訂:精裝
Urban Planning Methods
優惠價: 1 13300
無庫存
Foresight in Organizations ─ Methods and Tools
90 折
出版日:2016/05/06 作者:Patrick Van Der Duin  出版社:Routledge UK  裝訂:平裝
Foresight for Organizations will acquaint the reader with various foresight methods and tools, to show the reader how these methods are used, what the pitfalls are and how the methods relate to each o
優惠價: 9 2793
無庫存
Research Methods for the Behavioral Sciences
90 折
出版日:2016/03/02 作者:Gregory J. Privitera  出版社:SAGE Publications UK  裝訂:精裝
Research Methods for the Behavioral Sciences, 2e employs a problem-focused approach to introduce research methods. Privitera fully integrates the research methods decision tree—from choosing
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Foresight in Organizations ─ Methods and Tools
90 折
出版日:2016/01/28 作者:Gavin Phillipson; Helen Fenwick  出版社:Routledge UK  裝訂:精裝
The main objective of this book is to acquaint the reader with various foresight methods, to show the reader how these methods are used, what the pitfalls are and how the methods relate to each other.
若需訂購本書,請電洽客服 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]。
Advanced Computational Fluid and Aerodynamics
滿額折
出版日:2015/12/31 作者:Paul G. Tucker  出版社:Cambridge Univ Pr  裝訂:平裝
The advent of supercomputers has brought computational fluid dynamics (CFD) to the forefront as a tool to analyze increasingly complex simulation scenarios in many fields. Computational aerodynamics problems are also increasingly moving towards being coupled, multi-physics and multi-scale with complex, moving geometries. The latter presents severe geometry handling and meshing challenges. Simulations also frequently use formal design optimization processes. This book explains the evolution of CFD and provides a comprehensive overview of the plethora of tools and methods available for solving complex scenarios while exploring the future directions and possible outcomes. Using numerous examples, illustrations and computational methods the author discusses turbulence modeling, pre and post processing, coupled solutions, the importance of design optimization, multiphysics problems, reduced order models, and large scale computations and the future of CFD. Advanced Computational Fluid and Ae
優惠價: 9 2924
無庫存
出版日:2015/12/18 作者:Sandip Mazumder  出版社:Elsevier Science Serials  裝訂:平裝
Numerical Methods for Partial Differential Equations: Finite Difference and Finite Volume Methods focuses on two popular deterministic methods for solving partial differential equations (PDEs), namely
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mixed Methods Research ─ A Guide to the Field
90 折
出版日:2015/11/12 作者:Vicki L. Plano Clark; Nataliya V. Ivankova  出版社:SAGE Publications UK  裝訂:平裝
Mixed Methods Research: A Guide to the Field, Volume 3 in the SAGE Mixed Methods Research Series, is an accessible, practical book on mixed methods research. It is unique among publications in the are
優惠價: 9 3510
無庫存
Among the more striking developments in contemporary North American music theory is the centrality that questions of musical form (Formenlehre) have enjoyed in recent decades. Formal Functions in Pers
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Political Science Research Methods + Working With Political Science Research Methods
90 折
出版日:2015/10/15 作者:Janet Buttolph Johnson (EDT); Jason D. Mycoff (EDT)  出版社:Cq Pr  裝訂:平裝
This bundle includes Johnson: Political Science Research Methods 8e and Mycoff: Working with Political Science Research Methods 4e
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Epigenetic Methods in Neuroscience Research
90 折
出版日:2015/10/13 作者:Nina N. Karpova (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume presents state-of-the-art methods for reliable detection of epigenetic changes in the nervous system.Epigenetic Methods in Neuroscience Research guides readers through methods for the anal
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/09/01 作者:Xian Liu; Charles E. Engel  出版社:Elsevier Science Ltd  裝訂:精裝
Methods and Applications of Longitudinal Data Analysis describes methods for the analysis of longitudinal data in the medical, biological and behavioral sciences. It introduces basic concepts and func
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/08/30 作者:Zikov? Mark敶 (EDT); Pavel Caha (EDT); Mojm?? Docekal (EDT)  出版社:Peter Lang Pub Inc  裝訂:精裝
The volume comprises papers that were presented at the 14th European conference on «Formal Description of Slavic Languages 10.5» at Masaryk University in Brno, Czech Republic. The conference focuses o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mixed Methods Research
90 折
出版日:2015/08/07 作者:Daphne Watkins; Deborah Gioia  出版社:Oxford Univ Pr  裝訂:平裝
"Finally, a practical guide to mixed methods research has been written with health and human services professionals in mind. Watkins and Gioia review the fundamentals of mixed methods research designs
優惠價: 9 2189
無庫存
Formal Ontologies Meet Industry ― 7th International Workshop Fomi 2015 Berlin, Germany August 5 2015, Proceedings
90 折
出版日:2015/07/23 作者:Roberta Cuel (EDT); Robert Young (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015.The 11 full research papers accepted for FOMI 2015 wer
優惠價: 9 2430
無庫存
Analogies and Theories ─ Formal Models of Reasoning
90 折
出版日:2015/07/14 作者:Itzhak Gilboa; Larry Samuelson; David Schmeidler  出版社:OUP Academic UK  裝訂:精裝
The book describes formal models of reasoning that are aimed at capturing the way that economic agents, and decision makers in general think about their environment and make predictions based on their
優惠價: 9 3078
無庫存
Global Perspectives on Recognising Non-formal and Informal Learning ― Why Recognition Matters
90 折
出版日:2015/06/25 作者:Madhu Singh  出版社:Springer Verlag  裝訂:精裝
This book deals with the relevance of recognition and validation of non-formal and informal learning in professional and vocational education and training. In an increasing number of states, it is at
優惠價: 9 2430
無庫存
  • 40359
    1009
  • 1
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 1009

暢銷榜

客服中心

收藏

會員專區