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

Test Pattern Generation Using Boolean Proof Engines

2191
9 / 55
How the Communist Party of China Manages the Issue of Nationality ― An Evolving Topic
90 折
出版日:2015/12/08 作者:Shiyuan Hao  出版社:Springer Verlag  裝訂:精裝
This book introduces the background of China’s issue of nationality at the very beginning. In its historical process, all the nationalities that lived and multiplied on Chinese land created a pattern
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Sinusoidal Oscillators and Waveform Generators Using Modern Electronic Circuit Building Blocks
90 折
出版日:2015/12/07 作者:Raj Senani; D. R. Bhaskar; V. K. Singh; R. K. Sharma  出版社:Springer Verlag  裝訂:精裝
This book serves as a single-source reference to sinusoidal oscillators and waveform generators, using classical as well as a variety of modern electronic circuit building blocks. It provides a state-
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Quantitative Modeling of Operational Risk in Finance and Banking Using Possibility Theory
90 折
出版日:2015/11/30 作者:Arindam Chaudhuri; Soumya K. Ghosh  出版社:Springer Verlag  裝訂:精裝
This book offers a comprehensive guide to the modelling of operational risk using possibility theory. It provides a set of methods for measuring operational risks under a certain degree of vagueness a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Toll-like Receptors ― Practice and Methods
90 折
出版日:2015/11/25 作者:Claire Mccoy (EDT)  出版社:Springer Verlag  裝訂:精裝
This second edition volume expands on the first edition with new developments on Toll-Like Receptors (TLRs) controlling events such as cross-priming of associated pattern recognition receptors, post-t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Remote Observatories for Amateur Astronomers ― Using High-powered Telescopes from Home
90 折
出版日:2015/11/24 作者:Gerald R. Hubbell; Richard Williams; Linda Billard  出版社:Springer Verlag  裝訂:平裝
Amateur astronomers who want to enhance their capabilities to contribute to science need look no farther than this guide to using remote observatories. The contributors cover how to build your own rem
優惠價: 9 2025
無庫存
Using the C++ Standard Template Libraries ― The C++ Standard Template Library
滿額折
出版日:2015/11/18 作者:Ivor Horton  出版社:Springer Verlag  裝訂:平裝
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In th
優惠價: 1 3479
無庫存
Using Multiple Representations to Support Learning in the Science Classroom
90 折
出版日:2015/11/17 作者:Brian Hand (EDT); Vaughan Prain (EDT); Mark Mcdermott (EDT)  出版社:Springer Verlag  裝訂:精裝
This book draws together different projects that have been implemented in countries across the globe and provides an insight into how using multiple representations as part of the learning process imp
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Investigations on Microstructure and Mechanical Properties of the Cu/Pb-free Joint Interfaces
90 折
出版日:2015/11/16 作者:Qingke Zhang  出版社:Springer Verlag  裝訂:精裝
This thesis presents a series of mechanical test methods and comprehensively investigates the deformation and damage behaviors of lead-free solder joints under different loading conditions. The fractu
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nonlinear Dynamics ― Materials, Theory and Experiments; Selected Lectures, 3rd Dynamics Days South America, Valparaiso 3-7 November 2014
90 折
出版日:2015/11/15 作者:Mustafa Tlidi (EDT); Marcel Clerc (EDT)  出版社:Springer Verlag  裝訂:精裝
This book presents recent advances, new ideas and novel techniques related to the field of nonlinear dynamics, including localized pattern formation, self-organization and chaos. Various natural syste
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Constraining Supersymmetric Models ― Using Higgs Physics, Precision Observables and Direct Searches
90 折
出版日:2015/11/04 作者:Lisa Zeune  出版社:Springer Verlag  裝訂:精裝
This thesis analyses how super-symmetric (SUSY) extensions of the Standard Model (SM) of particle physics can be constrained using information from Higgs physics, electroweak precision observables and
若需訂購本書,請電洽客服 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
無庫存
Biomaterials in Regenerative Medicine and the Immune System
90 折
出版日:2015/09/15 作者:Laura Santambrogio (EDT)  出版社:Springer Verlag  裝訂:精裝
The generation of tridimensional tissues, assembled from scaffolding materials populated with biologically functional cells, is the great challenge and hope of tissue bioengineering and regenerative m
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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]。
Polymer Surfaces in Motion ― Unconventional Patterning Methods
90 折
出版日:2015/08/13 作者:Juan Rodr?猙ez-hern憳ez (EDT); Carlos Drummond (EDT)  出版社:Springer Verlag  裝訂:精裝
Pattern formation is a fascinating and challenging aspect in polymer science. This book describes a number of unconventional approaches developed to control the morphology of polymer surfaces and mate
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Validation of Evolving Software
90 折
出版日:2015/07/10 作者:Hana Chockler (EDT); Daniel Kroening (EDT); Leonardo Mariani (EDT); Natasha Sharygina (EDT)  出版社:Springer Verlag  裝訂:精裝
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a
若需訂購本書,請電洽客服 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]。
The Floating Strip Micromegas Detector ― Versatile Particle Detectors for High-rate Applications
90 折
出版日:2015/06/25 作者:Jonathan Bortfeldt  出版社:Springer Verlag  裝訂:精裝
This book discusses a novel and high-rate-capable micro pattern gaseous detector of the Micromegas (MICRO-MEsh GAS detector) type. It provides a detailed characterization of the performance of Microme
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nanotechnology and Ethical Governance in the European Union and China ─ Towards a Global Approach for Science and Technology
90 折
出版日:2015/06/24 作者:Sally Dalton-Brown  出版社:Springer Verlag  裝訂:精裝
This book addresses questions surrounding the feasibility of a global approach to ethical governance of science and technology. The emergence and rapid spread of nanotechnology offers a test case for
若需訂購本書,請電洽客服 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]。
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
無庫存
出版日:2015/02/11 作者:Erdogan Madenci; Ibrahim Guven  出版社:Springer Verlag  裝訂:精裝
This textbook offers theoretical and practical knowledge of the finite element method. The book equips readers with the skills required to analyze engineering problems using ANSYSR, a commercially ava
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Fen?箠ca - Conhe??Como a Fenotipagem De Pr?ma Gera隤緻 Est?Revolucionando O Melhoramento ― How Next-generation Phenotyping Is Revolutionizing Plant Breeding
90 折
出版日:2015/01/26 作者:Roberto Fritsche-neto (EDT); Bor撟? Alu?痣o (EDT)  出版社:Springer Verlag  裝訂:精裝
This book represents a pioneer initiative to describe the new technologies available for next-generation phenotyping and applied to plant breeding. Over the last several years plant breeding has exper
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A Practical Guide to Tpm 2.0 ― Using the Trusted Platform Module in the New Age of Security
滿額折
出版日:2015/01/24 作者:Will Arthur; David Challener  出版社:Springer Verlag  裝訂:平裝
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in r
優惠價: 1 2609
無庫存
Model-driven Design Using Iec 61499 ― A Synchronous Approach for Embedded and Automation Systems
90 折
出版日:2014/12/14 作者:Li Hsien Yoong; Partha S. Roop; Zeeshan Ejaz Bhatti; Matthew Ming Yen Kuo  出版社:Springer Verlag  裝訂:精裝
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Regenerative Medicine ― Using Non-Fetal Sources of Stem Cells
90 折
出版日:2014/11/21 作者:Niranjan Bhattacharya (EDT); Phillip G. Stubblefield (EDT)  出版社:Springer Verlag  裝訂:精裝
This book represents a major contribution to the emerging science of regenerative medicine using non-fetal sources of stem cells. The Editors, Dr Niranjan Bhattacharya and Professor Phillip Stubblefie
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Investigating Chinese He Efl Classrooms ― Using Collaborative Learning to Enhance Learning
90 折
出版日:2014/11/17 作者:Lin Lin  出版社:Springer Verlag  裝訂:精裝
?This book presents a study on corpus-driven distribution as the main method of prediction, concentrating on individual semantic features to predict the senses of non-defined words by using corpora an
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Bacterial Activation of Type I Interferons
90 折
出版日:2014/11/14 作者:Dane Parker (EDT)  出版社:Springer Verlag  裝訂:精裝
The type I interferon (IFN) signaling pathway is well recognized as a pathway activated by viral infections. It is activated by a variety of microbial pattern recognition receptors including the Toll-
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Design of Switched-Capacitor Filter Circuits Using Low Gain Amplifiers
90 折
出版日:2014/11/13 作者:Hugo Alexandre De Andrade Serra; Nuno Paulino  出版社:Springer Verlag  裝訂:平裝
This book describes the design of switched-capacitor filter circuits using low gain amplifiers and demonstrates some techniques that can minimize the effects of parasitic capacitances during the desig
優惠價: 9 2835
無庫存
Production of Biodiesel Using Lipase Encapsulated in Carrageenan
90 折
出版日:2014/10/24 作者:Pogaku Ravindra; Kenthorai Raman Jegannathan  出版社:Springer Verlag  裝訂:平裝
This book explores a novel technique for processing biodiesel using lipase immobilization by encapsulation and its physical properties, stability characteristics, and application in stirred tank and r
優惠價: 9 3038
無庫存
出版日:2014/10/15 作者:Tokunbo Ogunfunmi (EDT); Roberto Togneri (EDT); Madihally Narasimha (EDT)  出版社:Springer Verlag  裝訂:精裝
This book describes the basic principles underlying the generation, coding, transmission and enhancement of speech and audio signals, including advanced statistical and machine learning techniques for
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Internet of Things, Smart Spaces, and Next Generation Networks and Systems ― 14th International Conference, New2an 2014 and 7th Conference, Rusmart 2014, St. Petersburg, Russia, August 27-29, 2014,
90 折
出版日:2014/08/08 作者:Sergey Balandin (EDT); Sergey Andreev (EDT); Yevgeni Koucheryavy (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the joint refereed proceedings of the 14th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2014, and the 7th Conference on Intern
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/07/01 作者:Yoichi Sumi  出版社:Springer Verlag  裝訂:精裝
This book is about the pattern formation and the evolution of crack propagation in engineering materials and structures, bridging mathematical analyses of cracks based on singular integral equations,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/06/08 作者:Vincent Blackburn; Shae Brennan; John Ruggiero  出版社:Springer Verlag  裝訂:精裝
This book provides a complete analysis of educational production and costs using the nonparametric technique known as Data Envelopment Analysis (DEA). The book focuses on estimation of technical, allo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/05/21 作者:Rajesh M. Bodade; Sanjay Talbar  出版社:Springer Verlag  裝訂:平裝
The book presents three most significant areas in Biometrics and Pattern Recognition. A step-by-step approach for design and implementation of Dual Tree Complex Wavelet Transform (DTCWT) plus Rotated
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/05/09 作者:Feng-wu Bai (EDT); Chen-guang Liu (EDT); He Huang (EDT); George T Tsao (EDT)  出版社:Springer Verlag  裝訂:平裝
Cellulolytic Enzyme Production and Enzymatic Hydrolysis for Second-Generation Bioethanol Production, by Mingyu Wang, Zhonghai Li, Xu Fang, Lushan Wang und Yinbo QuBioethanol from Lignocellulosic Bioma
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/04/30 作者:Nikos Manouselis (EDT); Hendrik Drachsler (EDT); Katrien Verbert (EDT); Olga C. Santos (EDT)  出版社:Springer Verlag  裝訂:精裝
As an area, Technology Enhanced Learning (TEL) aims to design, develop and test socio-technical innovations that will support and enhance learning practices of individuals and organizations. Informati
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/04/15 作者:Mousmita Sarma; Kandarpa Kumar Sarma  出版社:Springer Verlag  裝訂:精裝
The book discusses intelligent system design using soft computing and similar systems and their interdisciplinary applications. It also focuses on the recent trends to use soft computing as a versatil
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/02/28 作者:Thorsten Dickhaus  出版社:Springer Verlag  裝訂:精裝
This monograph offers an in-depth mathematical treatment of modern multiple test procedures controlling the false discovery rate and related error measures, particularly addressing applications to suc
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/02/02 作者:C. Anandharamakrishnan  出版社:Springer Verlag  裝訂:平裝
Computational Fluid Dynamics (CFD) has been applied extensively to great benefit in the food processing sector. Its numerous applications include: predicting the gas flow pattern and particle historie
優惠價: 1 3000
無庫存
Using Office 2013 ― With Windows 8
滿額折
出版日:2013/12/23 作者:Kevin Wilson  出版社:Springer Verlag  裝訂:平裝
Learn Office the easy way, no jargon. Clear, concise and to the point. Using Office 2013 is the essential step by step guide to getting the most out of Microsoft Office traditional application (not Sh
優惠價: 1 1449
無庫存
  • 2191
    55
  • 1
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 55

暢銷榜

客服中心

收藏

會員專區