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

Test Pattern Generation Using Boolean Proof Engines

690
1 / 18
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
Proof Patterns
90 折
出版日:2015/03/30 作者:Mark Joshi  出版社:Springer Verlag  裝訂:平裝
This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs acro
優惠價: 9 2430
無庫存
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
無庫存
出版日: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]。
出版日:2015/10/15 作者:Hema Singh; Bala N. Ankaiah; Rakesh Mohan Jha  出版社:Springer Verlag  裝訂:平裝
In this book, a modified improved LMS algorithm is employed for weight adaptation of dipole array for the generation of beam pattern in multiple signal environments. In phased arrays, the generation o
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/03/17 作者:Anthony Mihirana De Silva; Philip H. W. Leong  出版社:Springer Verlag  裝訂:平裝
This book proposes a novel approach for time-series prediction using machine learning techniques with automatic feature generation. Application of machine learning techniques to predict time-series co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/09/05 作者:Iraj Sadegh Amiri; A. Afroozeh  出版社:Springer Verlag  裝訂:平裝
The title explain new technique of secured and high capacity optical communication signals generation by using the micro and nano ring resonators. The pulses are known as soliton pulses which are more
優惠價: 1 3749
無庫存
出版日:2013/06/11 作者:James Noble (EDT); Ralph Johnson (EDT); Uwe Zdun (EDT); Eugene Wallingford (EDT)  出版社:Springer Verlag  裝訂:平裝
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the
優惠價: 1 3600
無庫存
Relational Topology
90 折
出版日:2018/06/02 作者:Gunther Schmidt; Michael Winter  出版社:Springer Verlag  裝訂:平裝
This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appea
優惠價: 9 2228
無庫存
Nonlinear Systems and Circuits in Internal Combustion Engines ― Modeling and Control
90 折
出版日:2017/11/17 作者:Ferdinando Taglialatela-scafati; Mario Lavorgna; Ezio Mancaruso; Bianca Maria Vaglieco  出版社:Springer Verlag  裝訂:平裝
This brief provides an overview on the most relevant nonlinear phenomena in internal combustion engines with a particular emphasis on the use of nonlinear circuits in their modelling and control. The
優惠價: 9 2835
無庫存
The Proof Is in the Pudding ― The Changing Nature of Mathematical Proof
滿額折
出版日:2016/08/23 作者:Steven G. Krantz  出版社:Springer Verlag  裝訂:平裝
This text explores the many transformations that the mathematical proof has undergone from its inception to its versatile, present-day use, considering the advent of high-speed computing machines. Tho
優惠價: 1 1900
無庫存
Growth and Form of Self-organized Branched Crystal Pattern in Nonlinear Chemical System
90 折
出版日:2016/04/21 作者:Rohit Srivastava; Narendra Yadav; Jayeeta Chattopadhyay  出版社:Springer Verlag  裝訂:平裝
The book introduces the oscillatory reaction and pattern formation in the Belousov-Zhabotinsky (BZ) reaction that became model for investigating a wide range of intriguing pattern formations in chemic
優惠價: 9 2405
無庫存
出版日:2016/03/01 作者:Godfrey Nolan  出版社:Springer Verlag  裝訂:平裝
This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, wit
優惠價: 1 1250
無庫存
Solar-to-fuel Conversion in Algae and Cyanobacteria
90 折
出版日:2015/05/04 作者:Cinzia Formighieri  出版社:Springer Verlag  裝訂:平裝
?This volume is focused on solar-to-fuel conversion using algae and cyanobacteria for advanced generation biofuels. Production of biofuels needs to rely on cheap and renewable resources, in order to b
優惠價: 9 2835
無庫存
Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines
90 折
出版日:2015/03/19 作者:Francesco Montomoli; Mauro Carnevale; Antonio D'ammaro; Michela Massini; Simone Salvadori  出版社:Springer Verlag  裝訂:平裝
This book introduces novel design techniques developed to increase the safety of aircraft engines. The authors demonstrate how the application of uncertainty methods can overcome problems in the accur
優惠價: 9 2228
無庫存
Where Is the G?送l-Point Hiding ― Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
90 折
出版日:2013/10/31 作者:Horsk? Anna  出版社:Springer Verlag  裝訂:平裝
This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author co
優惠價: 9 3038
無庫存
出版日:2012/07/01 作者:Wei Song; Weihua Zhuang  出版社:Springer Verlag  裝訂:平裝
The next-generation of wireless communications are envisioned to be supported by heterogeneous networks by using various wireless access technologies. The popular cellular networks and wireless local
優惠價: 1 3499
無庫存
出版日:2006/01/30 作者:M. A. Green  出版社:Springer Verlag  裝訂:平裝
Photovoltaics, the direct conversion of sunlight to electricity, is now the fastest growing technology for electricity generation. Present "first generation" products use the same silicon wafers as in
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/03/25 作者:James C. Bezdek (EDT); James Keller; Raghu Krisnapuram; Nikhil R. Pal  出版社:Springer Verlag  裝訂:平裝
Fuzzy Models and Algorithms for Pattern Recognition and Image Processing presents a comprehensive introduction of the use of fuzzy models in pattern recognition and selected topics in image processing
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1998/11/01 作者:Heribert Vollmer  出版社:Springer Verlag  裝訂:平裝
An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Fundamentals of Aircraft and Rocket Propulsion + Ereference
90 折
出版日:2016/06/06 作者:Ahmed F. El-sayed  出版社:Springer Verlag  裝訂:平裝
This book provides a comprehensive basics-to-advanced course in an aero-thermal science vital to the design of engines for either type of craft. The text classifies engines powering aircraft and singl
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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]。
Multimodal Pattern Recognition of Social Signals in Human-computer-interaction ― Third Iapr Tc3 Workshop, Mprss 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
90 折
出版日:2015/02/14 作者:Friedhelm Schwenker (EDT); Stefan Scherer (EDT); Louis-philippe Morency (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the thoroughly refereed post-workshop proceedings of the Third IAPR TC3 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction, MPRSS 2014, held in Stock
優惠價: 9 2430
無庫存
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
無庫存
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]。
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]。
出版日: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/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
無庫存
出版日: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]。
出版日: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]。
出版日: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]。
出版日:2007/04/23 作者:Sanghamitra Bandyopadhyay; Sankar Kumar Pal  出版社:Springer Verlag  裝訂:平裝
This book provides a unified framework that describes how genetic learning can be used to design pattern recognition and learning systems. It examines how a search technique, the genetic algorithm, ca
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/08/15 作者:Petra Perner (EDT); Atsushi Imiya (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2005, held in Leipzig, Germany, in July 2005.The 68
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 690
    18
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 18

暢銷榜

客服中心

收藏

會員專區