TOP
紅利積點抵現金,消費購書更貼心
搜尋結果 /

test pattern generation using boolean proof engines

2201
9 / 56
出版日:2017/01/13 作者:Yuping Huang; Panos M. Pardalos; Qipeng P. Zheng  出版社:Springer Verlag  裝訂:平裝
This volume in the SpringerBriefs in Energy series offers a systematic review of unit commitment (UC) problems in electrical power generation. It updates texts written in the late 1990s and early 2000
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Building and Using Binoscopes
90 折
出版日:2017/01/11 作者:Norman P. Butler  出版社:Springer Verlag  裝訂:平裝
Covering both homemade and commercial products, this book provides the reader with simple and straightforward information about the modeling, building, and use of binoscopes. Binoscopes can be thought
優惠價: 9 2025
無庫存
Apeiron ― Anaximander on Generation and Destruction
90 折
出版日:2017/01/09 作者:Radim Kocandrle; Dirk L. Couprie  出版社:Springer Verlag  裝訂:平裝
This book offers an innovative analysis of the Greek philosopher Anaximander’s work. In particular, it presents a completely new interpretation of the key word Apeiron, or boundless, offering readers
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Educational Measurement for Applied Researchers ― Theory into Practice
90 折
出版日:2017/01/09 作者:Margaret Wu; Hak Ping Tam; Tsung-hau Jen  出版社:Springer Verlag  裝訂:精裝
This book is a valuable read for a diverse group of researchers and practitioners who analyze assessment data and construct test instruments. It focuses on the use of classical test theory (CTT) and i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Essentials of Excel, Excel Vba, SAS and Minitab for Statistical and Financial Analyses
90 折
出版日:2017/01/07 作者:Cheng-Few Lee; John C. Lee; Jow-ran Chang; Tzu Tai  出版社:Springer Verlag  裝訂:平裝
This introductory textbook for business statistics teaches statistical analysis and research methods via business case studies and financial data using Excel, Minitab, and SAS. Every chapter in this t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Thinking Skills for the Digital Generation ─ The Development of Thinking and Learning in the Age of Information
90 折
出版日:2017/01/06 作者:Chrystalla Mouza; Balu H. Athreya  出版社:Springer Verlag  裝訂:精裝
This book will synthesize the state of knowledge related to thinking and technology and will provide strategies for helping young people cultivate thinking skills required to navigate the new digital
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Applications of Measure Theory to Statistics
90 折
出版日:2017/01/04 作者:Gogi Pantsulaia  出版社:Springer Verlag  裝訂:精裝
This book aims to put strong reasonable mathematical senses in notions of objectivity and subjectivity for consistent estimations in a Polish group by using the concept of Haar null sets in the corres
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Stopping Climate Change ― The Case for Hydrogen and Coal: Cost Estimation and Comparison to Other Electricity Sources
90 折
出版日:2017/01/01 作者:C. E. Sandy Thomas  出版社:Springer Verlag  裝訂:精裝
This book documents the advantages and limitations of various electricity generation methods. It illustrates how both electricity and motor fuel can be cost-effectively derived from coal, natural gas
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Advanced R
90 折
出版日:2016/12/26 作者:Matt Wiley; Joshua F Wiley  出版社:Springer Verlag  裝訂:平裝
Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well
優惠價: 9 2025
無庫存
Applied Behavior Analysis ― Fifty Case Studies in Home, School, and Community Settings
90 折
出版日:2016/12/25 作者:Kimberly Maich; Darren Levine; Carmen Hall  出版社:Springer Verlag  裝訂:精裝
This textbook offers real-world case studies for using Applied Behavior Analysis (ABA) to create, implement, and appraise behavior intervention programs across a variety of client situations. Its chap
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Statistical Analysis of Proteomics, Metabolomics, and Lipidomics Data Using Mass Spectrometry
90 折
出版日:2016/12/22 作者:Susmita Datta (EDT); Bart J. A. Mertens (EDT)  出版社:Springer Verlag  裝訂:精裝
This book presents an overview of computational and statistical design and analysis of mass spectrometry-based proteomics, metabolomics, and lipidomics data. This contributed volume provides an introd
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/12/21 作者:Petr Heinzel (EDT); Lyndsay Fletcher (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume is a collection of research articles on the subject of solar flares and flares on other cool stars, which are currently extensively studied using new ground- and space-based instruments, t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Gene Expression and Its Discontents ― The Social Production of Chronic Disease
90 折
出版日:2016/12/21 作者:Rodrick Wallace; Deborah Wallace  出版社:Springer Verlag  裝訂:精裝
This book examines a class of probability models describing how epigenetic context affects gene expression and organismal development, using the asymptotic limit theorems of information theory in a hi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Problems and Solutions in Thermoelasticity and Magneto-thermoelasticity
90 折
出版日:2016/12/21 作者:Bappa Das  出版社:Springer Verlag  裝訂:精裝
This book presents problems and solutions of the mathematical theories of thermoelasticity and magnetothermoelasticity. The classical, coupled and generalized theories are solved using the eigenvalue
優惠價: 9 3443
無庫存
出版日:2016/12/16 作者:Tetsuo Tanabe (EDT)  出版社:Springer Verlag  裝訂:精裝
This book focuses on tritium as a fuel for fusion reactors and next-generation energy source. Following an introduction of tritium as a hydrogen radioisotope, important issues involved in establishing
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Luxury Fashion Retail Management
90 折
出版日:2016/12/16 作者:Tsan-ming Jason Choi (EDT); Bin Shen (EDT)  出版社:Springer Verlag  裝訂:精裝
Using various research methodologies, such as reviews, case studies, analytical modeling and empirical studies, this book investigates luxury fashion retail management and provides relevant insights,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Intelligent Network Integration of Distributed Renewable Generation
90 折
出版日:2016/12/16 作者:Nadarajah Mithulananthan; Duong Quoc Hung; Kwang Y. Lee  出版社:Springer Verlag  裝訂:精裝
This book introduces several simple analytical approaches to aid the seamless integration of renewable distributed generation. It focuses on the idea of intelligent integration, which involves locatin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Future of Food Gaps in Egypt ― Obstacles and Opportunities
90 折
出版日:2016/12/16 作者:Samiha A. H. Ouda; Abd El-hafeez Zohry; Huda Alkitkat; Morsy Mostafa; Abd El-hafez Sayed  出版社:Springer Verlag  裝訂:平裝
This work gives a multidisciplinary approach to assess and provide solutions to improve food security in Egypt. It has specific chapters on projection of climate change using IPCC AR5 models and regi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nanomaterial-based Drug Delivery Carriers for Cancer Therapy
90 折
出版日:2016/12/16 作者:Tao Feng; Yanli Zhao  出版社:Springer Verlag  裝訂:平裝
This brief summarizes different types of organic and inorganic nanomaterials for drug delivery in cancer therapy. It highlights that precisely designed nanomaterials will be the next-generation therap
優惠價: 9 3024
無庫存
A Sustainable Livelihood Approach to Poverty Reduction ― An Empirical Analysis of Mizoram, the Eastern Extension of the Himalaya
90 折
出版日:2016/12/16 作者:Vishwambhar Prasad Sati (EDT); Lalrinpuia Vangchhia  出版社:Springer Verlag  裝訂:平裝
This book presents a socio-economic and livelihood analysis of agriculturally-dependent communities of Mizoram, the eastern extension of the Himalaya, using the sustainable livelihood approach. Such a
優惠價: 9 2835
無庫存
An Introduction to Linear Ordinary Differential Equations Using the Impulsive Response Method and Factorization
90 折
出版日:2016/12/16 作者:Roberto Camporesi  出版社:Springer Verlag  裝訂:精裝
This book presents a method for solving linear ordinary differential equations based on the factorization of the differential operator. The approach for the case of constant coefficients is elementary
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Energy Efficient Solvents for Co2 Capture by Gas-liquid Absorption ― Compounds, Blends and Advanced Solvent Systems
90 折
出版日:2016/12/15 作者:Wojciech M. Budzianowski (EDT)  出版社:Springer Verlag  裝訂:精裝
This book reviews and characterises promising single-compound solvents, solvent blends and advanced solvent systems suitable for CO2 capture applications using gas-liquid absorption.Focusing on energy
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mediterranean Green Buildings & Renewable Energy ― Selected Papers from the World Renewable Energy Network's Med Green Forum
90 折
出版日:2016/12/14 作者:Ali Sayigh (EDT)  出版社:Springer Verlag  裝訂:精裝
This book highlights scientific achievements in the key areas of sustainable electricity generation and green building technologies, as presented in the vital bi-annual World Renewable Energy Network’
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Video Astronomy on the Go ― Using Video Cameras With Small Telescopes
90 折
出版日:2016/12/03 作者:Joseph Ashley  出版社:Springer Verlag  裝訂:平裝
Author Joseph Ashley explains video astronomy's many benefits in this comprehensive reference guide for amateurs. Video astronomy offers a wonderful way to see objects in far greater detail than is po
優惠價: 9 1823
無庫存
Design and Power Quality Improvement of Photovoltaic Power System
90 折
出版日:2016/12/02 作者:Adel A. Elbase Mohamed; Mohamed Salah Hassan  出版社:Springer Verlag  裝訂:精裝
This book presents a case study on a new approach for optimum design of rooftop grid-connected Photovoltaic system installation. The study presented in this book includes two scenarios using different
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nanomedicine for Cancer Therapy ― From Chemotherapeutic to Hyperthermia-based Therapy
90 折
出版日:2016/12/01 作者:Piyush Kumar; Rohit Srivastava  出版社:Springer Verlag  裝訂:平裝
This Brief focuses on the cancer therapy available till date, from conventional drug delivery to nanomedicine in clinical trial. In addition, it reports on future generation based nanotherapeutics and
優惠價: 9 2573
無庫存
Using R for Digital Soil Mapping
90 折
出版日:2016/11/25 作者:Brendan P. Malone; Alex B. Mcbratney  出版社:Springer Verlag  裝訂:精裝
This book describes and provides many detailed examples of implementing Digital Soil Mapping (DSM) using R. The work adheres to Digital Soil Mapping theory, and presents a strong focus on how to apply
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Cellular Image Classification
90 折
出版日:2016/11/24 作者:Xiang Xu; Xingkun Wu; Feng Lin  出版社:Springer Verlag  裝訂:精裝
This book introduces new techniques for cellular image feature extraction, pattern recognition and classification. The authors use the antinuclear antibodies (ANAs) in patient serum as the subjects an
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Active Plasmonic Devices ― Based on Magnetoplasmonic Nanostructures
90 折
出版日:2016/11/24 作者:Diana Martin Becerra  出版社:Springer Verlag  裝訂:精裝
This thesis investigates the effect of the magnetic field on propagating surface plasmon polaritons (SPPs), or surface plasmons for short. Above all, it focuses on using the magnetic field as an exter
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/11/23 作者:Masahiko Hirao; Hirotsugu Ogi  出版社:Springer Verlag  裝訂:精裝
This second edition provides comprehensive information on electromagnetic acoustic transducers (EMATs), from the theory and physical principles of EMATs to the construction of systems and their a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Observed Climate Variability and Change over the Indian Region
90 折
出版日:2016/11/22 作者:Madhavan Rajeevan Nair (EDT); Shailesh Nayak (EDT)  出版社:Springer Verlag  裝訂:精裝
The objective of the book is to make a comprehensive documentation of the observed variability and change of the regional climate system over the Indian region using the past observed data. The book a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Powder Consolidation Using Cold Spray ― Process Modeling and Emerging Applications
90 折
出版日:2016/11/22 作者:Atieh Moridi; Mostafa Hassani-gangaraj  出版社:Springer Verlag  裝訂:平裝
This book first presents different approaches to modeling of the cold spray process with the aim of extending current understanding of its fundamental principles and then describes emerging applicatio
優惠價: 9 2835
無庫存
Qing Yuan Yan You Xian Kong Jian Sheng Qing Li Lu Yu Ying Yong
90 折
出版日:2016/11/22 作者:Defan Guan; Xuhui Xu; Zhiming Li; Lunju Zheng; Caiping Tan  出版社:Springer Verlag  裝訂:精裝
This book analyzes hydrocarbon generation and accumulation within space-limited source rocks. The authors draw conclusions based on the principles of basin formation, hydrocarbon generation and accumu
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Bayesian Inference ― Data Evaluation and Decisions
90 折
出版日:2016/11/19 作者:Hanns L. Harney  出版社:Springer Verlag  裝訂:精裝
This new edition offers a comprehensive introduction to the analysis of data using Bayes rule. It generalizes Gaussian error intervals to situations in which the data follow distributions other than G
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ignition Systems for Gasoline Engines ― 3rd International Conference
90 折
出版日:2016/11/19 作者:Michael Gther (EDT); Ralf Tr鐷er (EDT)  出版社:Springer Verlag  裝訂:平裝
The volume includes selected and reviewed papers from the 3rd Conference on Ignition Systems for Gasoline Engines in Berlin in November 2016. Experts from industry and universities discuss in their p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
How to Count ― An Introduction to Combinatorics and Its Applications
90 折
出版日:2016/11/18 作者:Robert A. Beeler  出版社:Springer Verlag  裝訂:平裝
Providing a self-contained resource for upper undergraduate courses in combinatorics, this text emphasizes computation, problem solving, and proof technique. In particular, the book places special emp
優惠價: 9 3038
無庫存
Concentrating Solar Thermal Technologies ― Analysis and Optimisation by Cfd Modelling
90 折
出版日:2016/11/17 作者:Maria Isabel Rold嫕 Serrano  出版社:Springer Verlag  裝訂:精裝
This book addresses the evaluation and optimization of key elements in concentrating solar thermal (CST) technologies, such as solar receivers and working fluids, using computational fluid dynamics (C
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Cohabitation and Marriage in the Americas ― Geo-historical Legacies and New Trends
90 折
出版日:2016/11/15 作者:Albert Esteve (EDT); Ron J. Lesthaeghe (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume presents an innovative study of the rise of unmarried cohabitation in the Americas, from Canada to Argentina. Using an extensive sample of individual census data for nearly all countries o
優惠價: 9 2430
無庫存
Quadratic Residues and Non-residues ― Selected Topics
90 折
出版日:2016/11/15 作者:Steve Wright  出版社:Springer Verlag  裝訂:平裝
This book is an account of the classical theory of quadratic residues and non-residues with the goal of using that theory as a window through which to view the development of some of the fundamental m
優惠價: 9 2430
無庫存
A Novel Intrabody Communication Transceiver for Biomedical Applications
90 折
出版日:2016/11/14 作者:Mir Hojjat Seyedi; Daniel Tze Huei Lai  出版社:Springer Verlag  裝訂:精裝
This monograph explores Intrabody communication (IBC) as a novel non-RF wireless data communication technique using the human body itself as the communication channel or transmission medium. In partic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 2201
    56
  • 1
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 56

暢銷榜

客服中心

收藏

會員專區