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

Test Pattern Generation Using Boolean Proof Engines

2191
3 / 55
Pattern Recognition ― 6th Chinese Conference, CPR 2014 Changsha, China, November 17-19, 2014 Proceedings
90 折
出版日:2015/01/08 作者:Shutao Li (EDT); Chenglin Liu (EDT); Yaonan Wang (EDT)  出版社:Springer Verlag  裝訂:平裝
The two-volume set CCIS 483 and CCIS 484 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition, CCPR 2014, held in Changsha, China, in November 2014. The 112 revise
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Pattern Recognition ― 6th Chinese Conference, CCPR 2014 Changsha, China, November 17-19, 2014 Proceedings
90 折
出版日:2015/01/08 作者:Shutao Li (EDT); Chenglin Liu (EDT); Yaonan Wang (EDT)  出版社:Springer Verlag  裝訂:平裝
The two-volume set CCIS 483 and CCIS 484 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition, CCPR 2014, held in Changsha, China, in November 2014. The 112 revise
優惠價: 9 3330
無庫存
Dag Prawitz on Proofs and Meaning
90 折
出版日:2014/12/08 作者:Heinrich Wansing (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof th
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/12/04 作者:Manjul Bhushan; Mark B. Ketchen  出版社:Springer Verlag  裝訂:精裝
CMOS Test and Evaluation: A Physical Perspective is a single source for an integrated view of test and data analysis methodology for CMOS products, covering circuit sensitivities to MOSFET characteris
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Type-2 Fuzzy Graphical Models for Pattern Recognition
90 折
出版日:2014/11/14 作者:Jia Zeng; Zhi-Qiang Liu  出版社:Springer Verlag  裝訂:精裝
This book discusses how to combine type-2 fuzzy sets and graphical models to solve a range of real-world pattern recognition problems such as speech recognition, handwritten Chinese character recognit
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Pattern Recognition ― 36th German Conference, Gcpr 2014, M?究ter, Germany, September 2-5, 2014, Proceedings
90 折
出版日:2014/10/29 作者:Xiaoyi Jiang (EDT); Joachim Hornegger (EDT); Reinhard Koch (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 36th German Conference on Pattern Recognition, GCPR 2014, held in Munster, Germany, in September 2014. The 58 revised full papers and 8 short pape
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/09/11 作者:Oyvind Bjontegaard; Tor Arne Martius-hammer; Mathias Krauss; Harald Budelmann  出版社:Springer Verlag  裝訂:精裝
This report presents the Round-Robin (RR) program and test results including a statistical evaluation of the RILEM TC195-DTD committee named “Recommendation for test methods for autogenous deformation
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Pattern Recognition in Bioinformatics ― 9th Iapr International Conference, Prib 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings
90 折
This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2014, held in Stockholm, Sweden in August 2014. The 9 revised ful
優惠價: 9 2430
無庫存
Structural, Syntactic, and Statistical Pattern Recognition ― Joint Iapr International Workshop, S+sspr 2014, Joensuu, Finland, August 20-22, 2014, Proceedings
90 折
This book constitutes the proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition, S+SSPR 2014; comprising the International Workshop on Stru
優惠價: 9 2880
無庫存
Using R for Statistics
滿額折
出版日:2014/06/23 作者:Sarah Stowell  出版社:Springer Verlag  裝訂:平裝
Using R for Statistics will get you the answers to most of the problems you are likely to encounter when using a variety of statistics. This book is a problem-solution primer for using R to set up you
優惠價: 1 3769
無庫存
Combinatorial Pattern Matching ― 25th Annual Symposium, Cpm 2014, Moscow, Russia, June 16-18, 2014. Proceedings
90 折
出版日:2014/05/21 作者:Alexander S. Kulikov (EDT); Sergei O. Kuznetsov (EDT); Pavel Pevzner (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 25th Annual Symposium on Combinatorial Pattern Matching, CPM 2014, held in Moscow, Russia, in June 2014. The 28 revised full papers presented toge
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/04/30 作者:Johny A. Verschakelen; Walter De Wever  出版社:Springer Verlag  裝訂:精裝
Computed Tomography of the Lung: A Pattern Approach aims to enable the reader to recognize and understand the CT signs of lung diseases and diseases with pulmonary involvement as a sound basis for dia
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Subspace Methods for Pattern Recognition in Intelligent Environment
90 折
出版日:2014/04/22 作者:Yen-wei Chen (EDT); Lakhmi C. Jain (EDT)  出版社:Springer Verlag  裝訂:精裝
This research book provides a comprehensive overview of the state-of-the-art subspace learning methods for pattern recognition in intelligent environment. With the fast development of internet and com
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Markov Models for Pattern Recognition ― From Theory to Applications
90 折
出版日:2014/02/28 作者:Gernot A. Fink  出版社:Springer Verlag  裝訂:精裝
This book places the formalism of Markov chain and hidden Markov models at the very center of its examination of current pattern recognition systems, demonstrating how the models can be used in a rang
優惠價: 9 3375
無庫存
出版日:2014/02/10 作者:Jahangir Hossain (EDT); Apel Mahmud (EDT)  出版社:Springer Verlag  裝訂:精裝
This book focuses on the issues of integrating large-scale renewable power generation into existing grids. The issues covered in this book include different types of renewable power generation along w
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Data Analysis and Pattern Recognition in Multiple Databases
90 折
出版日:2013/12/18 作者:Animesh Adhikari; Jhimli Adhikari; Witold Pedrycz  出版社:Springer Verlag  裝訂:精裝
Pattern recognition in data is a well known classical problem that falls under the ambit of data analysis. As we need to handle different data, the nature of patterns, their recognition and the types
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/12/04 作者:Igor Ying Zhang; Xin Xu  出版社:Springer Verlag  裝訂:平裝
A New-Generation Density Functional: Towards Chemical Accuracy for Chemistry of Main Group Elements covers the most recent progress in the development of a new generation of density functional theory
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/11/20 作者:Toshio Sekimura (EDT); S. Noji (EDT); N. Ueno (EDT); Philip Maini (EDT)  出版社:Springer Verlag  裝訂:平裝
A central goal of biology is to decode the mechanisms that underlie the processes of morphogenesis and pattern formation. Concerned with the analysis of those phenomena, this book integrates experimen
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/10/29 作者:C. Alexander Valencia; M. Ali Pervaiz; Ammar Husami; Yaping Qian; Kejian Zhang  出版社:Springer Verlag  裝訂:平裝
This book introduces readers to Next Generation Sequencing applications in medical genetics. The authors discuss the direct application of next-generation sequencing to medicine, specifically, laborat
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/09/30 作者:Anton G. Kutikhin; Arseniy E. Yuzhalin  出版社:Springer Verlag  裝訂:精裝
This book offers comprehensive information on the polymorphisms of genes encoding pattern recognition receptors (PRRs). Following a short description of the general role of PRRs in the immune system,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/06/17 作者:Alioune Ngom (EDT); Enrico Formenti (EDT); Jin-Kao Hao (EDT); Xing-ming Zhao (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013. The 25 revised full pap
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/02/10 作者:Friedhelm Schwenker (EDT); Stefan Scherer (EDT); Louis-philippe Morency (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the thoroughly refereed post-workshop proceedings of the First IAPR TC3 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction (MPRSS2012), held in Tsuku
優惠價: 1 3600
無庫存
Mathematical Methodologies in Pattern Recognition and Machine Learning
90 折
出版日:2012/11/23 作者:Pedro Latorre Carmona (EDT); J. Salvador Sanchez (EDT); Ana L. N. Fred (EDT)  出版社:Springer Verlag  裝訂:精裝
This volume features key contributions from the International Conference on Pattern Recognition Applications and Methods, (ICPRAM 2012,) held in Vilamoura, Algarve, Portugal from February 6th-8th, 201
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/09/29 作者:Michael Ohadi; Serguei Dessiatoun; Edvin Cetegen  出版社:Springer Verlag  裝訂:平裝
In Next Generation Microchannel Heat Exchangers, the authors’ focus on the new generation highly efficient heat exchangers and presentation of novel data and technical expertise not available in the o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/07/31 作者:Yongjie Zhang (EDT)  出版社:Springer Verlag  裝訂:精裝
As a new interdisciplinary research area, “image-based geometric modeling and mesh generation” integrates image processing, geometric modeling and mesh generation with finite element method (FEM) to s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/02/15 作者:Ana Belen Cristobal Lopez (EDT); Antonio Marti Vega (EDT); Antonio Luque Lopez (EDT)  出版社:Springer Verlag  裝訂:精裝
This book presents new concepts for a next generation of PV. Among these concepts are: Multijunction solar cells, multiple excitation solar cells (or how to take benefit of high energy photons for the
若需訂購本書,請電洽客服 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]。
出版日:2010/12/01 作者:Toshiro Higuchi (EDT); Koichi Suzumori (EDT); Satoshi Tadokoro (EDT)  出版社:Springer Verlag  裝訂:平裝
Next-Generation Actuators Leading Breakthroughs is the proceedings of the final symposium of MEXT Grant-in-Aid for Scientific Research on Priority Areas: Next-Generation Actuators Leading Breakthrough
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/30 作者:Anthony S. Y. Leong  出版社:Springer Verlag  裝訂:精裝
While a pattern approach to diagnosis is taught and practiced with almost every other tissue or organ in the body, the lymph node remains a mystery to most residents starting out in pathology and thos
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/29 作者:Glen D. Johnson; Ganapati P. Patil  出版社:Springer Verlag  裝訂:平裝
This book presents a new method for assessing spatial pattern in raster land cover maps based on satellite imagery in a way that incorporates multiple pixel resolutions. This is combined with more con
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/11/01 作者:Patricia Melin (EDT); Janusz Kacprzyk (EDT); Witold Pedrycz (EDT)  出版社:Springer Verlag  裝訂:精裝
Bio-Inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition comprises papers on diverse aspects of bio-inspired models, soft computing and hybrid intelligent systems.The article
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/09/01 作者:Francisco Escolano; Pablo Suau; Boyan Bonev; Alan Yuille (FRW)  出版社:Springer Verlag  裝訂:精裝
Information theory has proved to be effective for solving many computer vision & pattern recognition (CVPR) problems (such as image matching, clustering and segmentation, saliency detection, feat
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/07/31 作者:Nanning Zheng; Jianru Xue  出版社:Springer Verlag  裝訂:精裝
This textbook provides an overview of theories, methodologies, and recent developments in the field of statistical learning and statistical analysis for visual pattern modeling and computing. The boo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/07/30 作者:Constantine D. Rakopoulos; Evangelos G. Giakoumis  出版社:Springer Verlag  裝訂:精裝
Traditionally, the study of internal combustion engines has focused on the steady-state performance. However, the daily driving schedule of automotive and truck engines is inherently related to unstea
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/07/04 作者:Barry Jay  出版社:Springer Verlag  裝訂:精裝
Introduces static and dynamic pattern calculus. This book shows how Lisp is more than just lambda-calculus. It is suitable for researchers with an interest in the foundations of computing, programming
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/05/01 作者:Alexander A. Stotsky  出版社:Springer Verlag  裝訂:精裝
Increasing demands on the output performance, exhaust emissions, and fuel consumption necessitate the development of a new generation of automotive engine functionality. This monograph is written by a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The book gives a broad presentation in laymen's language of the creation and the implementation of the treaty prohibiting nuclear test explosions (Comprehensive Nuclear-Test-Ban Treaty: CTBT), one of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/06/30 作者:Elwood Carlson  出版社:Springer Verlag  裝訂:精裝
Born during the Great Depression and World War Two (1929-1945) an entire generation has slipped between the cracks of history. These Lucky Few became the first American generation smaller than the on
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/05/30 作者:Elwood Carlson; Richard Easterlin (INT)  出版社:Springer Verlag  裝訂:平裝
Born during the Great Depression and World War Two (1929-1945) an entire generation has slipped between the cracks of history. These Lucky Few became the first American generation smaller than the on
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2007/10/23 作者:Jagath Chandana Rajapakse (EDT); Bertil Schmidt (EDT); Gwenn Volkert (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the International Workshop on Pattern Recognition in Bioinformatics, PRIB 2007, held in Singapore in October 2007. The 38 revised full papers presente
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 2191
    55
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 55

暢銷榜

客服中心

收藏

會員專區