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

High Quality Test Pattern Generation and Boolean Satisfiability

39348
1 / 984
出版日:2012/01/31 作者:Stephan Eggersglu_; Rolf Drechsler  出版社:Springer Verlag  裝訂:精裝
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/05/01 作者:Rolf Drechsler; Stephan Eggersglu; Gorschwin Fey; Daniel Tille  出版社:Springer Verlag  裝訂:精裝
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is conside
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Feature Selection for Data and Pattern Recognition
90 折
出版日:2015/01/15 作者:Urszula Stanczyk (EDT); Lakhmi C. Jain (EDT)  出版社:Springer Verlag  裝訂:精裝
This research book provides the reader with a selection of high-quality texts dedicated to current progress, new developments and research trends in feature selection for data and pattern recognition.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/10/12 作者:George E. Martin  出版社:Springer Verlag  裝訂:平裝
Geometric constructions have been a popular part of mathematics throughout history. The first chapter here is informal and starts from scratch, introducing all the geometric constructions from high sc
優惠價: 1 3248
庫存:1
出版日:2012/07/18 作者:Xiaohua Tian; Yu Cheng  出版社:Springer Verlag  裝訂:精裝
Next-generation Internet providers face high expectations, as contemporary users worldwide expect high-quality multimedia functionality in a landscape of ever-expanding network applications. This volu
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Two-dimensional Transition-metal Dichalcogenides
75 折
出版日:2016/08/04 作者:Alexander V. Kolobov; Junji Tominaga  出版社:Springer Verlag  裝訂:精裝
This book summarizes the current status of theoretical and experimental progress in 2 dimensional graphene-like monolayers and few-layers of transition metal dichalcogenides (TMDCs). Semiconducting monolayer TMDCs, due to the presence of a direct gap, significantly extend the potential of low-dimensional nanomaterials for applications in nanoelectronics and nano-optoelectronics as well as flexible nano-electronics with unprecedented possibilities to control the gap by external stimuli. Strong quantum confinement results in extremely high exciton binding energies which forms an interesting platform for both fundamental studies and device applications. Breaking of spatial inversion symmetry in monolayers results in strong spin-valley coupling potentially leading to their use in valleytronics.Starting with the basic chemistry of transition metals, the reader is introduced to the rich field of transition metal dichalcogenides. After a chapter on three dimensional crystals and a descri
優惠價: 75 11137
庫存:1
You Must Be Very Intelligent ― The Phd Delusion
70 折
出版日:2017/07/10 作者:Karin Bodewits  出版社:Springer Verlag  裝訂:平裝
You Must be Very Intelligent is the author’s account of studying for a PhD in a modern, successful university. Part-memoir and part-exposé, this book is highly entertaining and unusually revealing about the dubious morality and desperate behaviour which underpins competition in twenty-first century academia.This witty, warts-and-all account of Bodewits´ years as a PhD student in the august University of Edinburgh is full of success and failure, passion and pathos, insight, farce and warm-hearted disillusionment. She describes a world of collaboration and backstabbing; nefarious financing and wasted genius; cosmopolitan dreamers and discoveries that might just change the world… Is this a smart people’s world or a drip can of weird species? Modern academia is certainly darker and stranger than one might suspect…This book will put a wry, knowing smile on the faces of former researchers. And it is a cautionary parable for innocents who still believe that lofty academia is erected upon mora
優惠價: 7 1385
庫存:1
Surgical Quality Improvement
90 折
出版日:2016/12/16 作者:Rachel Kelz (EDT); Sandra L. Wong (EDT)  出版社:Springer Verlag  裝訂:平裝
This book teaches the theories and concepts behind surgical quality improvement and explains the skills and traits needed to become a high quality provider. The editors aim to teach and inspire the r
優惠價: 9 2835
無庫存
Automatic Generation of Combinatorial Test Data
90 折
出版日:2014/11/14 作者:Jian Zhang; Zhiqiang Zhang; Feifei Ma  出版社:Springer Verlag  裝訂:平裝
This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - includ
優惠價: 9 2250
無庫存
出版日:2012/07/03 作者:Alessandro Cimatti (EDT); Roberto Sebastiani (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Second-Generation High-Temperature Superconducting Coils and Their Applications for Energy
90 折
出版日:2011/07/08 作者:Weijia Yuan  出版社:Springer Verlag  裝訂:精裝
Second-Generation High-Temperature Superconducting Coils and Their Applications for Energy Storage addresses the practical electric power applications of high-temperature superconductors. It validates
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
High-Throughput Next Generation Sequencing
90 折
出版日:2011/03/22 作者:Young Min Kwon (EDT); Steven C. Ricke (EDT)  出版社:Springer Verlag  裝訂:精裝
Due to their novel concepts and extraordinary high-throughput sequencing capacity, the “next generation sequencing” methods allow scientists to grasp system-wide landscapes of the complex molecular ev
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/12/15 作者:J. Donald Monk  出版社:Springer Verlag  裝訂:平裝
This book is concerned with cardinal number valued functions defined for any Boolean algebra. Examples of such functions are independence, which assigns to each Boolean algebra the supremum of the car
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Introduction to Boolean Algebras
滿額折
出版日:2008/12/30 作者:Steven Givant; Paul Halmos  出版社:Springer Verlag  裝訂:精裝
This book is an informal, although systematic presentation of lectures given by the authors on Boolean algebras, intended for advanced undergraduates and beginning graduate students. In a bold and ref
優惠價: 1 3477
無庫存
Military and Veteran Mental Health ― A Comprehensive Textbook
70 折
出版日:2018/01/25 作者:Laura Weiss Roberts (EDT); Christopher H. Warner (EDT)  出版社:Springer Verlag  裝訂:精裝
This authoritative and comprehensive title is designed to enhance best clinical practices for all healthcare providers who care for military service personnel and veterans. The book is organized into
優惠價: 7 5004
庫存:1
The Power of Geographical Thinking
75 折
出版日:2017/03/10 作者:Clare Brooks (EDT); Graham Butt (EDT); Mary Fargher (EDT)  出版社:Springer Verlag  裝訂:精裝
In this book geography educators from around the globe discuss their research into the power of geographical thinking and consider successful strategies to implement, improve and advance geography edu
優惠價: 75 5400
庫存:1
Mimicry and Meaning ― Structure and Semiotics of Biological Mimicry
75 折
出版日:2017/01/18 作者:Timo Maran  出版社:Springer Verlag  裝訂:精裝
The present book analyses critically the tripartite mimicry model (consisting of the mimic, model and receiver species) and develops semiotic tools for comparative analysis. It is proposed that mimicr
優惠價: 75 5400
庫存:1
Pro Spring Boot
70 折
出版日:2016/06/20 作者:Felipe Gutierrez  出版社:Springer Verlag  裝訂:平裝
Pro Spring Boot is your authoritative hands-on practical guide for increasing your Spring Framework-based enterprise Java and cloud application productivity while decreasing development time using the
優惠價: 7 1382
庫存:1
Sudoku Programming With C
75 折
出版日:2015/04/29 作者:Giulio Zambon  出版社:Springer Verlag  裝訂:平裝
Sudoku Programming with C teaches you how to write computer programs to solve and generate Sudoku puzzles. This is a practical book that will provide you with everything you need to write your own boo
優惠價: 75 1050
庫存:1
Soundscape Ecology ― Principles, Patterns, Methods and Applications
75 折
出版日:2013/12/31 作者:Almo Farina  出版社:Springer Verlag  裝訂:精裝
Soundscape Ecology represents a new branch of ecology and it is the result of the integration of different disciplines like Landscape ecology, Bioacoustics, Acoustic ecology, Biosemiotics, etc. The so
優惠價: 75 5617
庫存:1
Stochastic Process Variation in Deep-Submicron CMOs ─ Circuits and Algorithms
75 折
出版日:2013/11/28 作者:Amir Zjajo  出版社:Springer Verlag  裝訂:精裝
One of the most notable features of nanometer scale CMOS technology is the increasing magnitude of variability of the key device parameters affecting performance of integrated circuits. The growth of variability can be attributed to multiple factors, including the difficulty of manufacturing control, the emergence of new systematic variation-generating mechanisms, and most importantly, the increase in atomic-scale randomness, where device operation must be described as a stochastic process. In addition to wide-sense stationary stochastic device variability and temperature variation, existence of non-stationary stochastic electrical noise associated with fundamental processes in integrated-circuit devices represents an elementary limit on the performance of electronic circuits.In an attempt to address these issues, Stochastic Process Variation in Deep-Submicron CMOS: Circuits and Algorithms offers unique combination of mathematical treatment of random process variation, electrical noise
優惠價: 75 4500
庫存:1
Teaching and Learning of Knot Theory in School Mathematics
75 折
出版日:2012/06/27 作者:Akio Kawauchi (EDT); Tomoko Yanagimoto (EDT)  出版社:Springer Verlag  裝訂:精裝
?This book is the result of a joint venture between Professor Akio Kawauchi, Osaka City University, well-known for his research in knot theory, and the Osaka study group of mathematics education, foun
優惠價: 75 3408
庫存:1
Linear Algebra and Linear Models
90 折
出版日:2012/01/28 作者:R. B. Bapat  出版社:Springer Verlag  裝訂:平裝
Linear Algebra and Linear Models comprises a concise and rigorous introduction to linear algebra required for statistics followed by the basic aspects of the theory of linear estimation and hypothesis
優惠價: 9 2475
庫存:1
Principles and Practices of Winemaking
滿額折
出版日:2010/10/29 作者:Roger B. Boulton; Vernon L. Singleton; Linda F. Bisson; Ralph E. Kunkee  出版社:Springer Verlag  裝訂:平裝
Historically, scientific and educational books from studies within California, the concepts can be classified into three categories: those developed will be generally useful to enolo­ providing co
優惠價: 1 14499
庫存:1
Sika Deer―Biology and Management of Native and Introduced Populations
75 折
出版日:2009/02/03 作者:Dale R. McCullough (EDT); Seiki Takatsuki (EDT); Koichi Kaji (EDT)  出版社:Springer Verlag  裝訂:精裝
Sika deer, the graceful spotted deer of Japanese and Chinese art, originally were native to Asia from far-east Russia to Vietnam to the islands of Japan and Taiwan. They are widely raised in captivity
優惠價: 75 19574
庫存:1
Rock Mechanics: For Underground Mining (2004. Corr. 3rd Printing 2006)
90 折
出版日:2004/11/30 作者:B. H. G. Brady; Edwin T. Brown  出版社:Springer Verlag  裝訂:平裝
This new edition has been completely revised to reflect the notable innovations in mining engineering and the remarkable developments in the science of rock mechanics and the practice of rock angineer
優惠價: 9 3850
庫存:1
Lectures on Symplectic Geometry
70 折
出版日:2001/06/01 作者:Ana Cannas Da Silva; Ana Cannas Da Silva  出版社:Springer Verlag  裝訂:平裝
The goal of these notes is to provide a fast introduction to symplectic geometry for graduate students with some knowledge of differential geometry, de Rham theory and classical Lie groups.This text a
優惠價: 7 2116
庫存:1
Urban Ecology, Water Quality and Climate Change
90 折
This unique book brings together high-quality research contributions on ecological aspects of urbanization, water quality concerns in an urban environment, and climate change issues with a strong Indi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Functions and Their Applications in Cryptography
90 折
出版日:2016/03/02 作者:Chuan-kun Wu; Dengguo Feng  出版社:Springer Verlag  裝訂:精裝
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties. More specifi
若需訂購本書,請電洽客服 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]。
Boolean Representations of Simplicial Complexes and Matroids
90 折
出版日:2015/03/24 作者:John Rhodes; Pedro V. Silva  出版社:Springer Verlag  裝訂:精裝
This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a class of complexes and featuring matroids as central to the theory. The
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Duality Theories for Boolean Algebras With Operators
90 折
出版日:2014/08/05 作者:Steven Givant  出版社:Springer Verlag  裝訂:精裝
In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with opera
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/11/30 作者:Pey-chang Kent Lin; Sunil P. Khatri  出版社:Springer Verlag  裝訂:精裝
This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors pro
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Catalytic Microreactors for Portable Power Generation
90 折
出版日:2011/04/06 作者:Symeon Karagiannidis  出版社:Springer Verlag  裝訂:精裝
"Catalytic Microreactors for Portable Power Generation” addresses a problem of high relevance and increased complexity in energy technology. This thesis outlines an investigation into catalytic and ga
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/10/29 作者:Jan S. Hesthaven (EDT); Einar M. Ronquist (EDT)  出版社:Springer Verlag  裝訂:精裝
The book contains a selection of high quality papers, chosen among the best presentations during the International Conference on Spectral and High-Order Methods (2009), and provides an overview of the
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2006/08/01 作者:Adam M. Stuart M.D.  出版社:Springer Verlag  裝訂:平裝
This book details an approach to the problem of getting high-quality astronomical images under light-polluted conditions. The book is for amateur astronomers interested in CCD imaging, especially thos
Successful Test Management—An Integral Approach
90 折
出版日:2005/02/10 作者:Iris Pinkster; Bob Van De Burgt; Dennis Janssen; Erik Van Veenendall  出版社:Springer Verlag  裝訂:精裝
At a time when information systems are becoming ever more complex and quality to market and time to market are critical for many companies, a structured test process is essential. Even more important
優惠價: 9 2925
無庫存
出版日:1997/12/01 作者:Steven J. Osterlind  出版社:Springer Verlag  裝訂:精裝
Constructing test items for standardized tests of achievement, ability, and aptitude is a task of enormous importance. The interpretability of a test's scores flows directly from the quality of its
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/02/24 作者:Saikat Biswas (EDT); Supriya Das (EDT); Sanjay Kumar Ghosh (EDT)  出版社:Springer Verlag  裝訂:精裝
The book presents high-quality papers presented at a national conference on ‘Advanced Detectors for Nuclear, High Energy and Astroparticle Physics’. The conference was organized to commemorate 100 yea
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/11/11 作者:Ruonan Zhang; Lin Cai; Jianping Pan  出版社:Springer Verlag  裝訂:平裝
This brief offers a valuable resource on principles of quality-of-service (QoS) provisioning and the related link-layer resource management techniques for high data-rate wireless networks. The primary
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 39348
    984
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 984

暢銷榜

客服中心

收藏

會員專區