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

test pattern generation using boolean proof engines

706
7 / 18
Modeling Binary Correlated Responses Using SAS, Spss and R
90 折
出版日:2015/10/29 作者:Jeffrey Wilson; Kent A. Lorenz  出版社:Springer Verlag  裝訂:精裝
Statistical tools to analyze correlated binary data are spread out in the existing literature. This book makes these tools accessible to practitioners in a single volume. Chapters cover recently devel
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Enhancing Fieldwork Learning Using Mobile Technologies
90 折
出版日:2015/10/12 作者:Derek France; W. Brian Whalley; Alice Mauchline; Victoria Powell; Katharine Welsh  出版社:Springer Verlag  裝訂:平裝
This book shows how tablets (and smartphones) using a variety of selected ‘apps’, can enhance fieldwork and other out-of-classroom activities. The authors review imaginative uses of tablets from their
優惠價: 9 2835
無庫存
The Future Home Is Wise, Not Smart ― A Human-centric Perspective on Next Generation Domestic Technologies
90 折
出版日:2015/10/12 作者:Gerhard Leitner  出版社:Springer Verlag  裝訂:精裝
This book introduces the concept of the wise home. Whilst smart homes focus on automation technologies, forcing users to deal with complex and incomprehensible control and programming procedures, the
優惠價: 9 3443
無庫存
Enhanced Building Information Models ― Using Iot Services and Integration Patterns
90 折
出版日:2015/10/09 作者:Umit Isikdag  出版社:Springer Verlag  裝訂:平裝
This book explains how to combine and exploit sensor networks and internet-of-things (IoT) technologies and Web-service design patterns to enrich and integrate Building Information Models (BIMs). It p
優惠價: 9 2835
無庫存
出版日:2015/10/08 作者:Liu Woon Chia (EDT); John Wang Chee Keng (EDT); Richard M. Ryan (EDT)  出版社:Springer Verlag  裝訂:精裝
This edited work presents a collection of papers on motivation research in education around the globe. Pursuing a uniquely international approach, it also features selected research studies conducted
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Using Medicine in Science Fiction ― The Sf Writer??Guide to Human Biology
90 折
出版日:2015/09/23 作者:Henry George Stratmann Jr.  出版社:Springer Verlag  裝訂:平裝
This book offers a clearly written, entertaining and comprehensive source of medical information for both writers and readers of science fiction.Science fiction in print, in movies and on television a
優惠價: 9 1300
無庫存
Client Value Generation ― Das Z?柚her Modell Der Kundenzentrierten Bankarchitektur / the Zurich Model of Customer-centricity
90 折
出版日:2015/09/14 作者:Stefanie Auge-Dickhut; Bernhard Koye; Axel Liebetrau  出版社:Springer Verlag  裝訂:精裝
The banking sector is undergoing a process of fundamental transformation – mainly due to the challenges of digitalization, insistent customers, regulation and a volatile economic environment. This boo
優惠價: 9 3240
無庫存
Toward the Next Generation of Bystander Prevention of Sexual and Relationship Violence ― Action Coils to Engage Communities
90 折
出版日:2015/09/14 作者:Victoria L. Banyard  出版社:Springer Verlag  裝訂:平裝
This briefs integrates and synthesizes an array of research about who helps others and under what conditions and discusses the implications of this research for a bystander intervention focused preven
優惠價: 9 3038
無庫存
Enhanced Surface Imaging of Crustal Deformation ― Obtaining Tectonic Force Fields Using Gps Data
90 折
出版日:2015/08/26 作者:A. John Haines; Lada L. Dimitrova; Laura M. Wallace; Charles Williams  出版社:Springer Verlag  裝訂:平裝
This book takes an in depth look at a novel methodology for analyzing Global Positioning System (GPS) data to obtain the highest possible resolution surface imaging of tectonic deformation sources wit
優惠價: 9 2228
無庫存
Digital Signal Processing for Wireless Communication Using Matlab
90 折
出版日:2015/08/21 作者:E. S. Gopi  出版社:Springer Verlag  裝訂:精裝
This book examines signal processing techniques used in wireless communication illustrated by using the Matlab program. The author discusses these techniques as they relate to Doppler spread, Delay sp
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Internet of Things, Smart Spaces, and Next Generation Networks and Systems ― 15th International Conference, New2an 2015
90 折
出版日:2015/08/19 作者:Sergey Balandin (EDT); Sergey Andreev (EDT); Yevgeni Koucheryavy (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the joint refereed proceedings of the 15th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2015, and the 8th Conference on Intern
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Power Electronics for the Next Generation Wind Turbine System
90 折
出版日:2015/08/12 作者:Ke Ma  出版社:Springer Verlag  裝訂:精裝
This book presents recent studies on the power electronics used for the next generation wind turbine system. Some criteria and tools for evaluating and improving the critical performances of the wind
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/08/04 作者:Nitai Chandra Das  出版社:Springer Verlag  裝訂:精裝
This book discusses equi-quantile values and their use in generating decision alternatives under the twofold complexities of uncertainty and dependence, offering scope for surrogating between two alte
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Health Monitoring and Personalized Feedback Using Multimedia Data
90 折
出版日:2015/07/10 作者:Alexia Briassouli (EDT); Jenny Benois-pineau (EDT); Alexander Hauptmann (EDT)  出版社:Springer Verlag  裝訂:精裝
This book presents how multimedia data analysis, information retrieval and indexing are central for comprehensive, personalized, adaptive quality care and the prolongation of independent living at hom
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Thermal Energy Storage Using Phase Change Materials ― Fundamentals and Applications
90 折
出版日:2015/07/09 作者:Amy Fleischer  出版社:Springer Verlag  裝訂:平裝
This book presents a comprehensive introduction to the use of solid-liquid phase change materials to store significant amounts of energy in the latent heat of fusion. The proper selection of materials
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/06/25 作者:Michael Leitner (EDT)  出版社:Springer Verlag  裝訂:平裝
Recent years in North America have seen a rapid development in the area of crime analysis and mapping using Geographic Information Systems (GIS) technology.In 1996, the US National Institute of Justic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
German-sino Business Networks ― Using Organized Networks to Develop Business With China
90 折
出版日:2015/06/25 作者:Alexander Haentzschel  出版社:Springer Verlag  裝訂:平裝
In this book, Alexander Hantzschel presents the benefits of organized networks and provides a first-ever overview of German-Sino business networks. Based on more than 20 expert interviews and research
優惠價: 9 2835
無庫存
Nonlinear Control and Filtering Using Differential Flatness Approaches ─ Applications to Electromechanical Systems
90 折
出版日:2015/06/25 作者:Gerasimos G. Rigatos  出版社:Springer Verlag  裝訂:精裝
This monograph presents recent advances in differential flatness theory and analyzes its use for nonlinear control and estimation. It shows how differential flatness theory can provide solutions to co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Identifying Product and Process State Drivers in Manufacturing Systems Using Supervised Machine Learning
90 折
出版日:2015/06/14 作者:Thorsten Wuest  出版社:Springer Verlag  裝訂:精裝
The book reports on a novel approach for holistically identifying the relevant state drivers of complex, multi-stage manufacturing systems. This approach is able to utilize complex, diverse and high-d
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/06/14 作者:Avis Ridgway; Gloria Qui?軟es; Liang Li  出版社:Springer Verlag  裝訂:精裝
This book re-theorizes the relationship between pedagogy and play. The authors suggest that pedagogical play is characterized by conceptual reciprocity (a pedagogical approach for supporting children’
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Elementary Mechanics Using Matlab ― A Modern Course Combining Analytical and Numerical Techniques
90 折
出版日:2015/06/12 作者:Anders Malthe-sorenssen  出版社:Springer Verlag  裝訂:精裝
This book – specifically developed as a novel textbook on elementary classical mechanics – shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This appro
優惠價: 9 2835
無庫存
Pattern Recognition and Machine Intelligence ― 6th International Conference, Premi 2015, Proceedings
90 折
This book constitutes the proceedings of the 6th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2015, held in Warsaw, Poland, in June/July 2015. The total of 53 full p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Elementary Mechanics Using Python ― A Modern Course Combining Analytical and Numerical Techniques
90 折
出版日:2015/06/11 作者:Anders Malthe-sorenssen  出版社:Springer Verlag  裝訂:精裝
This book – specifically developed as a novel textbook on elementary classical mechanics – shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This appro
優惠價: 9 2835
無庫存
Primer to Analysis of Genomic Data Using R
90 折
出版日:2015/06/09 作者:Cedric Gondro  出版社:Springer Verlag  裝訂:平裝
Through this book, researchers and students will learn to use R for analysis of large-scale genomic data and how to create routines to automate analytical steps. The philosophy behind the book is to s
優惠價: 9 3392
無庫存
From Pattern Formation to Material Computation ― Multi-agent Modelling of Physarum Polycephalum
90 折
出版日:2015/06/01 作者:Jeff Jones  出版社:Springer Verlag  裝訂:精裝
This book addresses topics of mobile multi-agent systems, pattern formation, biological modelling, artificial life, unconventional computation, and robotics. The behaviour of a simple organism which i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/05/18 作者:Swee Fong Ng (EDT)  出版社:Springer Verlag  裝訂:精裝
This book shows how video technology can be used to inform teachers’ personal practice, and provides new data and real-world case studies not covered by any previous book on the subject.Initial chapte
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/05/18 作者:Iraj Sadegh Amiri; Harith Ahmad  出版社:Springer Verlag  裝訂:平裝
This brief analyzes the characteristics of a microring resonator (MRR) to perform communication using ultra-short soliton pulses. The raising of nonlinear refractive indices, coupling coefficients and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Control and Optimization of Distributed Generation Systems
90 折
出版日:2015/05/14 作者:Magdi S. Mahmoud; Fouad M. Al-sunni  出版社:Springer Verlag  裝訂:精裝
This text is an introduction to the use of control in distributed power generation. It shows the reader how reliable control can be achieved so as to realize the potential of small networks of diverse
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Informing Energy and Climate Policies Using Energy Systems Models ― Insights from Scenario Analysis Increasing the Evidence Base
90 折
This book highlights how energy-system models are used to underpin and support energy and climate mitigation policy decisions at national, multi-country and global levels. It brings together, for the
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Numerical Analysis Using Sage
90 折
出版日:2015/05/14 作者:George A. Anastassiou; Razvan Mezei  出版社:Springer Verlag  裝訂:精裝
This is the first numerical analysis text to use Sage for the implementation of algorithms and can be used in a one-semester course for undergraduates in mathematics, math education, computer science/
優惠價: 9 3240
無庫存
出版日:2015/05/12 作者:Michael Hrobak  出版社:Springer Verlag  裝訂:平裝
Michael Hrobak studied hybrid integrated front end modules for high frequency measurement equipment and especially for synthetic automatic test systems. Recent developments of innovative, critical mil
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
New Challenges in Grid Generation and Adaptivity for Scientific Computing
90 折
出版日:2015/05/11 作者:Simona Perotto (EDT); Luca Formaggia (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume collects selected contributions from the “Fourth Tetrahedron Workshop on Grid Generation for Numerical Computations”, which was held in Verbania, Italy in July 2013. The previous editions
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Electrical Energy Generation in Europe ― The Current Situation and Perspectives in the Use of Renewable Energy Sources and Nuclear Power for Regional Electricity Generation
90 折
出版日:2015/05/08 作者:Jorge Morales Pedraza  出版社:Springer Verlag  裝訂:精裝
Maximizing reader insights into the current and future roles to be played by different types of renewable energy sources and nuclear energy for the purpose of electricity generation in the European re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Real Time Deforestation Detection Using ANN and Satellite Images ― The Amazon Rainforest Study Case
90 折
出版日:2015/05/08 作者:Thiago Nunes Kehl; Viviane Todt; Maur?赧o Roberto Veronez; Silvio Cesar Cazella  出版社:Springer Verlag  裝訂:平裝
The foremost aim of the present study was the development of a tool to detect daily deforestation in the Amazon rainforest, using satellite images from the MODIS/TERRA sensor and Artificial Neural Net
優惠價: 9 2835
無庫存
Language Identification Using Excitation Source Features
90 折
出版日:2015/04/23 作者:K. Sreenivasa Rao; Dipanjan Nandi  出版社:Springer Verlag  裝訂:平裝
This book discusses the contribution of excitation source information in discriminating language. The authors focus on the excitation source component of speech for enhancement of language identificat
優惠價: 9 3038
無庫存
Business Intelligence for New-generation Managers ― Current Avenues of Development
90 折
出版日:2015/04/21 作者:J憿土 H. Mayer (EDT); Reiner Quick (EDT)  出版社:Springer Verlag  裝訂:精裝
Executives in Europe have significantly expanded their role in operations – in parallel to their strategic leadership. At the same time, they need to make decisions faster than in the past. In these d
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Analyzing Financial Data and Implementing Financial Models Using R
90 折
出版日:2015/04/14 作者:Clifford S. Ang  出版社:Springer Verlag  裝訂:精裝
This book is a comprehensive introduction to financial modeling that teaches advanced undergraduate and graduate students in finance and economics how to use R to analyze financial data and implement
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Speech Prosody in Speech Synthesis ― Modeling and Generation of Prosody for High Quality and Flexible Speech Synthesis
90 折
出版日:2015/04/14 作者:Keikichi Hirose (EDT); Jianhua Tao (EDT)  出版社:Springer Verlag  裝訂:精裝
The volume addresses issues concerning prosody generation in speech synthesis, including prosody modeling, how we can convey para- and non-linguistic information in speech synthesis, and prosody contr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Diagnostic Test Accuracy Studies in Dementia ― A Pragmatic Approach
90 折
出版日:2015/04/14 作者:A. J. Larner  出版社:Springer Verlag  裝訂:精裝
This book explains the key steps in planning and executing diagnostic test accuracy studies in dementia, with clear explanations of difficulties and pitfalls and with jargon clearly explained. The emp
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Language Identification Using Spectral and Prosodic Features
90 折
出版日:2015/04/09 作者:K. Sreenivasa Rao; Subrayal Medapati Reddy; Sudhamay Maity  出版社:Springer Verlag  裝訂:平裝
This book discusses the impact of spectral features extracted from frame level, glottal closure regions, and pitch-synchronous analysis on the performance of language identification systems. In additi
優惠價: 9 3038
無庫存
  • 706
    18
  • 1
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 18

暢銷榜

客服中心

收藏

會員專區