TOP
GOGO開學趣,參考書應有盡有
搜尋結果 /

test pattern generation using boolean proof engines

1464
2 / 37
出版日:2019/02/18 作者:Katashi Nagao  出版社:Springer Nature  裝訂:精裝
Focusing on students’ presentations and discussions in laboratory seminars, this book presents case studies on evidence-based education using artificial intelligence (AI) technologies. It proposes a s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/02/18 作者:George P. Moschis  出版社:Springer Nature  裝訂:精裝
This book examines consumer behavior using the “life course” paradigm, a multidisciplinary framework for studying people's lives, structural contexts, and social change. It contributes to marketing re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A Fresh View on the Outer Space Treaty
90 折
出版日:2019/02/07 作者:Annette Froehlich (EDT)  出版社:Springer Nature  裝訂:平裝
On the occasion of the 50th anniversary of the Outer Space Treaty this book gives a first insight into where the next generation considers room for further improvement of the Outer Space Treaty in ord
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Laser Odyssey ― Memoirs of Theodore H. Maiman
90 折
出版日:2019/02/06 作者:Theodore H. Maiman  出版社:Springer Nature  裝訂:平裝
In these engaging memoirs of a maverick, Theodore H. Maiman describes the life events leading to his invention of the laser in 1960. Maiman succeeded using his expertise in physics and engineering alo
優惠價: 9 2430
無庫存
Elements of Copula Modeling With R
90 折
出版日:2019/02/04 作者:Marius Hofert; Ivan Kojadinovic; Martin M踄hler; Jun Yan  出版社:Springer Nature  裝訂:平裝
This book introduces the main theoretical findings related to copulas and shows how statistical modeling of multivariate continuous distributions using copulas can be carried out in the R statistical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Memristive Nonlinear Electronic Circuits ― Dynamics, Synchronization and Applications
滿額折
出版日:2019/01/28 作者:Fadhil Rahma; Saif Muneam  出版社:Springer Nature  裝訂:平裝
Memristive Nonlinear Electronic Circuits deals with nonlinear systems in the design and implementation of circuits for generating complex dynamics. The brief proposes a new memristor model using an in
優惠價: 1 3000
無庫存
Spectroscopic Ellipsometry for Photovoltaics ― Applications and Optical Data of Solar Cell Materials
90 折
出版日:2019/01/23 作者:Hiroyuki Fujiwara (EDT); Robert Collins (EDT)  出版社:Springer Nature  裝訂:精裝
Spectroscopic ellipsometry has been applied to a wide variety of material and device characterizations in solar cell research fields. In particular, device performance analyses using exact optical con
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Introduction to Bioinformatics in Microbiology
90 折
出版日:2018/12/20 作者:Henrik Christensen (EDT)  出版社:Springer Nature  裝訂:平裝
This textbook introduces to the basic concepts of bioinformatics and enhances students’ skills in using software and tools relevant for investigations in microbiology. The most relevant methods to ana
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/12/18 作者:Ram Prasad (EDT); Elisabet Aranda (EDT)  出版社:Springer Nature  裝訂:精裝
Bioremediation refers to the clean-up of pollution in soil, groundwater, surface water, and air using typically microbiological processes. It uses naturally occurring bacteria and fungi or plants to d
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Participatory Research for Health and Social Well-being
90 折
出版日:2018/12/03 作者:Tineke Abma; Sarah Banks; Tina Cook; S鏮ia Dias; Wendy Madsen  出版社:Springer Nature  裝訂:精裝
This textbook is a comprehensive guide for students interested in using participatory research to improve people’s health and well-being. It is especially designed for those working in the fields of h
優惠價: 9 3443
無庫存
出版日:2018/11/22 作者:Yosio Edemir Shimabukuro; Fl嫛io Jorge Ponzoni  出版社:Springer Nature  裝訂:精裝
This book explains in a didactic way the basic concepts of spectral mixing, digital numbers and orbital sensors, and then presents the linear modelling technique of spectral mixing and the generation
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Developmental Science and Sustainable Development Goals for Children and Youth
90 折
出版日:2018/11/21 作者:Suman Verma (EDT); Anne C. Petersen (EDT)  出版社:Springer Nature  裝訂:精裝
This book presents new scientific knowledge on using developmental science to improving lives of children and youth across the globe. It highlights emerging pathways to sustainability as well as the i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Art of Law ― Artistic Representations and Iconography of Law and Justice in Context, from the Middle Ages to the First World War
90 折
The contributions to this volume were written by historians, legal historians and art historians, each using his or her own methods and sources, but all concentrating on topics from the broad subject
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Urban Galapagos ― Transition to Sustainability in Complex Adaptive Systems
90 折
出版日:2018/11/20 作者:Thomas Kvan (EDT); Justyna Karakiewicz (EDT)  出版社:Springer Nature  裝訂:精裝
This book addresses the future of urbanisation on the Galapagos Islands from a systems, governance and design perspective with the competing parameters of liveability, economic and ecological, using t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Finite Mixture of Skewed Distributions
90 折
出版日:2018/11/20 作者:V獳tor Hugo Lachos D嫛ila; Celso R獽ulo Barbosa Cabral; Camila Borelli Zeller  出版社:Springer Nature  裝訂:平裝
This book presents recent results in finite mixtures of skewed distributions to prepare readers to undertake mixture models using scale mixtures of skew normal distributions (SMSN). For this purpose,
優惠價: 9 2835
無庫存
Taming the Corpus ― From Inflection and Lexis to Interpretation
90 折
出版日:2018/11/20 作者:Masako Fidler (EDT); V塶lav Cvrcek (EDT)  出版社:Springer Nature  裝訂:精裝
This book bridges the current quantitative and qualitative text analyses, using grammar as a crucial source of investigation. Taking data from Czech, an inflected language, in which the most optimal c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Structures ― A Geometric Approach; Graphical Statics and Analysis
90 折
出版日:2018/11/16 作者:Edmond Saliklis  出版社:Springer Nature  裝訂:精裝
Graphic methods for structural design essentially translate problems of algebra into geometric representations, allowing solutions to be reached using geometric construction (ie: drawing pic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/11/14 作者:Junxiu Wang (EDT); Xiaoshan Lin (EDT); Wanchun Deng (EDT); Ying Cao (EDT); Guoqun Fu (EDT)  出版社:Springer Nature  裝訂:精裝
Using quantitative research, this volume investigates the characteristics, problems and trends of the automobile society in China’s mega cities and large cities. It also addresses topics related to ca
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/11/13 作者:Gar簜r 臆nason  出版社:Springer Nature  裝訂:平裝
?This book offers a clear analysis of Foucault’s work on scientific knowledge and its relationship to individuals and society. It suggests a way of using Foucault’s tools for science criticism and res
優惠價: 1 3499
無庫存
Applied Compositional Data Analysis ― With Worked Examples in R
90 折
出版日:2018/11/13 作者:Peter Filzmoser; Karel Hron; Matthias Templ  出版社:Springer Nature  裝訂:精裝
This book presents the statistical analysis of compositional data using the log-ratio approach. It includes a wide range of classical and robust statistical methods adapted for compositional data anal
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/11/12 作者:Defeng Li (EDT); Victoria Lei (EDT); Yuanjian He (EDT)  出版社:Springer Nature  裝訂:精裝
This edited volume covers an array of the most relevant topics in translation cognition, taking different approaches and using different research tools. It explores theoretical and methodological issu
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Leaf ― A Platform for Performing Photosynthesis
90 折
出版日:2018/11/08 作者:William W. Adams III (EDT); Ichiro Terashima (EDT)  出版社:Springer Nature  裝訂:精裝
The leaf is an organ optimized for capturing sunlight and safely using that energy through the process of photosynthesis to drive the productivity of the plant and, through the position of plants as p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Biostatistics for Human Genetic Epidemiology
90 折
出版日:2018/11/03 作者:Bertram K. C. Chan  出版社:Springer Nature  裝訂:精裝
The book illustrates how biostatistics may numerically summarize human genetic epidemiology using R, and may be used successfully to solveproblems in quantitative Genetic Epidemiology Biostatisti
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Understanding Complex Biological Systems With Mathematics
90 折
出版日:2018/11/03 作者:Ami Radunskaya (EDT); Rebecca Segal (EDT); Blerta Shtylla (EDT)  出版社:Springer Nature  裝訂:精裝
This volume examines a variety of biological and medical problems using mathematical models to understand complex system dynamics. Featured topics include autism spectrum disorder, ectoparasites and a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/26 作者:Umut まtin; Albina Danilova  出版社:Springer Nature  裝訂:精裝
This book undertakes a detailed construction of Dynamic Markov Bridges using a combination of theory and real-world applications to drive home important concepts and methodologies. In Part I, theory i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/23 作者:Makiko Watanabe (EDT); Masayuki Kawahigashi (EDT)  出版社:Springer Nature  裝訂:精裝
This book enhances the discussion of anthropized soils with photographs of soil profiles and provides general information about soils in Japan, using data on their physical and chemical properties. So
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Doing Ethnography in Criminology ― Discovery Through Fieldwork
90 折
出版日:2018/10/22 作者:Stephen K. Rice (EDT); Michael Maltz (EDT)  出版社:Springer Nature  裝訂:精裝
This innovative book examines the use of ethnography and fieldwork in Criminology and Criminal Justice Research. Using a combination of case studies, as well as “behind the scenes” contributions, it p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/22 作者:Hiromi Hirata (EDT); Atsuo Iida (EDT)  出版社:Springer Nature  裝訂:精裝
This book provides cutting-edge studies and technologies using small fishes, including zebrafish, medaka, and other fishes as new model animals for molecular biology, developmental biology, and medici
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Quantum Groups and Non-commutative Geometry
90 折
出版日:2018/10/22 作者:Yuri I. Manin; Theo Raedschelders (CON); Michel Van Den Bergh (CON)  出版社:Springer Nature  裝訂:精裝
This textbook presents the second edition of Manin's celebrated 1988 Montreal lectures, which influenced a new generation of researchers in algebra to take up the study of Hopf algebras and quantum gr
優惠價: 9 3038
無庫存
Segregation by Design ― Conversations and Calls for Action in St. Louis
90 折
出版日:2018/10/22 作者:Catalina Freixas (EDT); Mark Abbott (EDT)  出版社:Springer Nature  裝訂:精裝
This book discusses racial segregation in American cities. Using St. Louis as a point of departure, it examines the causes and consequences of residential segregation, and proposes potential mitigatio
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Geospatial Technologies for Agriculture ― Case Studies from India
90 折
出版日:2018/10/20 作者:K. V. Raju; V. R. Hegde; Satish A. Hegde  出版社:Springer Nature  裝訂:平裝
This book uniquely presents accurate and up-to-date information related to crops in small and fragmented agricultural lands with mixed cropping patterns. The book involves research using remote sensing (RS), Global Positioning Systems (GPS) and Geographic Information Systems (GIS) to develop crop inventories in three growing seasons in three villages across India to inform decision makers and planners on best practices for agricultural management. The data analysis of crop details using various geospatial technologies fills in gaps in statistical agriculture research, and provides reliable, replicable and efficient methods for generating agricultural statistics. The book will be of interest to statisticians, planners and decision makers in crop management and production.
優惠價: 9 2835
無庫存
Security Policy in System-on-chip ― Specification, Implementation and Verification
90 折
出版日:2018/10/20 作者:Sandip Ray; Abhishek Basak; Swarup Bhunia  出版社:Springer Nature  裝訂:精裝
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/18 作者:Dan E. Kelley  出版社:Springer Nature  裝訂:精裝
This book presents the R software environment as a key tool for oceanographic computations and provides a rationale for using R over the more widely-used tools of the field such as MATLAB. Kelley prov
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Karst Systems of Florida ― Understanding Karst in a Geologically Young Terrain
90 折
出版日:2018/10/11 作者:Sam Upchurch; Michael C. Alfieri; Thomas L. Dobecki; Thomas M. Scott; Beth Fratesi  出版社:Springer Nature  裝訂:精裝
This book discusses the geology, hydrogeology, and water quality/geochemistry of karst systems in geologically young terrain, using the state of Florida as an example. Also discussed are sinkhole
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/28 作者:Jian Li  出版社:Springer Nature  裝訂:精裝
This book examines the globalization trends in higher education from an international political science perspective, using Nye’s theory of soft power to explore the rationale behind it. It focuses on
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nulla ?Come Appare. Dialoghi Sulle Verit?Sommerse Della Crisi Economica ― Dialogues on Disputed Issues and Conflicting Theories
90 折
出版日:2018/09/26 作者:Mario Morroni  出版社:Springer Nature  裝訂:平裝
Have you ever puzzled over the causes of the 2007–8 financial crisis and wondered how it will affect all our futures? If so, this book is for you. Using imagined dialogue between three economists with
優惠價: 9 1134
無庫存
出版日:2018/09/26 作者:Xianming Zhang; Benliang Zhu  出版社:Springer Nature  裝訂:精裝
This book covers various topics regarding the design of compliant mechanisms using topology optimization that have attracted a great deal of attention in recent decades. After comprehensively describi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/25 作者:Subramanian Senthilkannan Muthu (EDT)  出版社:Springer Nature  裝訂:精裝
This book highlights various methods for quantifying sustainability indicators using different indices. To date, numerous sustainability indicators encompassing either all three pillars (economic, env
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/18 作者:Lyndon White; Roberto Togneri; Wei Liu; Mohammed Bennamoun  出版社:Springer Nature  裝訂:精裝
This book offers an introduction to modern natural language processing using machine learning, focusing on how neural networks create a machine interpretable representation of the meaning of natural l
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Thermodynamics in Nuclear Power Plant Systems
90 折
出版日:2018/09/06 作者:Bahman Zohuri; Patrick Mcdaniel  出版社:Springer Nature  裝訂:精裝
This revised book covers the fundamentals of thermodynamics required to understand electrical power generation systems, honing in on the application of these principles to nuclear reactor power system
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 1464
    37
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 37

暢銷榜

客服中心

收藏

會員專區