TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

84763
2 / 2120
Bridging Constraint Satisfaction and Boolean Satisfiability
90 折
出版日:2015/08/19 作者:Justyna Petke  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book represents a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by providing theoretical explanations for why SAT-solvers are efficient on cert
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Error Estimation For Pattern Recognition
90 折
出版日:2015/06/26 作者:Braga-Neto  出版社:John Wiley & Sons Inc  裝訂:精裝
This book is the first of its kind to focus on error estimation, which is a widespan and poorly understood topic that spans all research areas using pattern classification. It includes model-based app
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Profitable Day and Swing Trading ─ Using Price/Volume Surges and Pattern Recognition to Catch Big Moves in the Stock Market
滿額折
出版日:2014/07/14 作者:Harry Boxer  出版社:John Wiley & Sons Inc  裝訂:平裝
Harry Boxer explains short-term stock trading tactics using price, volume, and pattern recognition. Boxer provides step-by-step instructions for recognizing chart patterns, identifying trades, and exe
優惠價: 9 2394
無庫存
What Is a Search Engine and How Do I Use It?
滿額折
出版日:2014/01/01 作者:Leon Gray  出版社:Rosen Pub Group  裝訂:平裝
Describes how to conduct both basic and advanced searches on the Internet, providing information on the history of internet searching, using boolean search terms, and evaluating the content of search
優惠價: 1 873
無庫存
出版日: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]。
Using the Next Generation Science Standards With Gifted and Advanced Learners
滿額折
出版日:2013/11/15 作者:Cheryll M. Adams; Mary Cay Ricci; Alicia Cotabish  出版社:Sourcebooks Inc  裝訂:平裝
Using the Next Generation Science Standards With Gifted and Advanced Learners provides teachers and administrators examples and strategies to implement the Next Generation Science Standards (NGSS) wit
優惠價: 1 1565
無庫存
Collins English for the TOEIC Test - Practice Tests for the TOEIC Test (Book+MP3 CD)
滿額折
出版日:2013/05/23 出版社:Collins UK  裝訂:有聲書
Prepare yourself thoroughly for the TOEIC test By using Practice Tests for the TOEIC Test, you will:• Feel completely confident about how the TOEIC test works• Know what to expect on the day of the t
優惠價: 79 868
無庫存
出版日:2013/01/10 作者:Sharon A. Wynne  出版社:Xamonline Inc  裝訂:平裝
From mathematical problem solving to reasoning and proof to use of technology, this comprehensive study guide provides you with the exact material that appears on the actual test. Aligned with current
優惠價: 1 760
無庫存
出版日:2012/03/05 作者:Dave K. Kythe; Prem K. Kythe  出版社:Taylor & Francis  裝訂:精裝
Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/01/15 作者:Tai-hoon Kim (EDT); Hojjat Adeli (EDT); Carlos Ramos (EDT); Byeong-Ho Kang (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This book comprises selected papers of the International Conference on Signal Processing, Image Processing and Pattern Recognition, SIP 2011, held as Part of the Future Generation Information Technolo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Boolean Function Complexity
90 折
出版日:2012/01/05 作者:Stasys Jukna  出版社:Springer-Verlag New York Inc  裝訂:精裝
Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are easy to state and explain, even for the layman. This book is a comprehensive descrip
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2011/11/04 作者:Nancy W. Sindelar  出版社:Rowman & Littlefield Pub Inc  裝訂:平裝
Using Test Data for Student Achievement shows educators, step by step, how to use test data to facilitate student learning. The book combines research, technology and Sindelar's experience as a teache
優惠價: 1 2400
無庫存
出版日:2011/11/02 作者:Patricia Melin  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book describes hybrid intelligent systems using type-2 fuzzy logic and modular neural networks for pattern recognition applications. Hybrid intelligent systems combine several intelligent computi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logic and Boolean Algebra
滿額折
出版日:2011/10/20 作者:B. H. Arnold  出版社:Dover Pubns  裝訂:平裝
This volume concentrates on the structure of Boolean algebras and rings as developed through simpler algebraic systems. The algebra of logic and set theory appears as applications or illustrations thr
優惠價: 1 492
無庫存
Beaded Bracelets Pattern Collection
滿額折
出版日:2011/04/26 作者:Sandra D. Halpenny  出版社:Createspace Independent Pub  裝訂:平裝
This Collection of bracelet patterns are made using beaded net weave stitch. It’s an easy stitch to learn and do. Beaded Bracelets Pattern Collection takes you through 14 beaded bracelet patterns, w
優惠價: 1 1449
無庫存
Marine Diesel Engines
90 折
出版日:2010/02/26 作者:Akber Ayub  出版社:CRC Press UK  裝訂:精裝
Marine Diesel Engines covers main propulsion engines, all systems and equipments, and auxiliary engines. The book carries enough in-depth material to be of value to senior students of marine engineer
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Practical Design Verification
90 折
出版日:2009/07/20 作者:Dhiraj K. Pradhan  出版社:Cambridge Univ Pr  裝訂:精裝
Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2009/03/12 作者:Thomas W. Cusick; Pantelimon Stanica  出版社:Academic Pr  裝訂:精裝
Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. co
若需訂購本書,請電洽客服 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
無庫存
Boolean Algebra
滿額折
出版日:2007/01/15 作者:R. L. Goodstein  出版社:Dover Pubns  裝訂:平裝
This elementary treatment by a distinguished mathematician begins with the algebra of classes and proceeds to discussions of several different axiomatizations and Boolean algebra in the setting of the
優惠價: 9 409
無庫存
SEARCH ENGINES FOR THE WWW (P)
90 折
出版日:1998/01/01 作者:GLOSSBRENN  出版社:弘雅經銷  裝訂:平裝
Using pictures in place of complicated explanations, a do-it-yourself guide to searching the Internet analyzes the strengths and weaknesses of the major search engines and shows readers how to find pe
優惠價: 9 534
無庫存
Pattern Recognition Statistical Structural And Neural
90 折
出版日:1991/06/07 作者:Schalkoff  出版社:John Wiley & Sons Inc  裝訂:平裝
Explores the heart of pattern recognition concepts, methods and applications using statistical, syntactic and neural approaches. Divided into four sections, it clearly demonstrates the similarities an
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Complete GEPT Practice Test: High-Intermediate Level 全民英檢中高級測驗模擬試題冊
95 折
出版日:2022/01/10 作者:Patrick Cowsill; Joseph Schier  出版社:東華書局  裝訂:平裝
DescriptionBook 3 of The Complete GEPT Practice Test is designed to help test-takers familiarize themselves with the High-Intermediate Level tests.Key FeaturesEight complete practice testsMatches the latest GEPT test formatRecorded using native speaker accentsComponentsDownloadable MP3sAnswer keyDetailed test explanations
優惠價: 95 456
無庫存
The Complete GEPT Practice Test. Elementary Level 全民英檢初級測驗模擬試題冊
95 折
出版日:2022/01/01 作者:Ian Clarke; Patrick Cowsill  出版社:東華書局  裝訂:平裝
DescriptionBook 1 of The Complete GEPT Practice Test is designed to help test-takers familiarize themselves with the Elementary Level tests.Key FeaturesEight complete practice testsMatches the latest GEPT test formatRecorded using native speaker accentsComponentsDownloadable MP3sAnswer keyDetailed test explanations
優惠價: 95 380
無庫存
Thomas & Friends: Ten Little Engines
滿額折
出版日:2019/10/03 作者:Rev. W. Awdry  出版社:Egmont Books UK  裝訂:平裝
Count down from ten to one and back up again with this fun Thomas and Friends adventure.Ten little engines steaming down the track.How many engines will come puffing back?!Children will love joining i
優惠價: 79 303
無庫存
Proof Complexity
90 折
出版日:2019/06/30 作者:Jan Krajíček  出版社:Cambridge Univ Pr  裝訂:精裝
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Crash Test Girl ― An Unlikely Experiment in Using the Scientific Method to Answer Life's Toughest Questions
滿額折
出版日:2018/05/08 作者:Kari Byron  出版社:Harperone  裝訂:精裝
From the former host of Discovery’s MythBusters and television’s favorite female science geek—a guide for using the scientific method to crash test your way through life.Kari Byron t
優惠價: 79 781
無庫存
Algorithms for Analysis, Inference, and Control of Boolean Networks
滿額折
出版日:2018/03/23 作者:Tatsuya Akutsu  出版社:World Scientific Pub Co Inc  裝訂:精裝
The Boolean network (BN) is a mathematical model of genetic networks and other biological networks. Although extensive studies have been done on BNs from a viewpoint of complex systems, not so many st
優惠價: 9 2999
無庫存
出版日:2018/01/11 作者:James D. Halderman; Curt Ward  出版社:Pearson College Div  裝訂:平裝
For courses in diesel principles/engines. Prepare tomorrow’s automotive professionals for success Light Vehicle Diesel Engines covers the theory, construction, diagnosis, and service of lig
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2017/12/12 作者:Shekhar Gulati; Rahul Sharma  出版社:Apress  裝訂:平裝
Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5. This book doesn't just talk about the new concepts, it shows you ways of applying them
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Exile Identity, Agency and Belonging in South Africa ― The Masupatsela Generation
90 折
出版日:2017/08/14 作者:Zosa De SAS Kropiwnicki  出版社:Palgrave Macmillan  裝訂:精裝
This book examines the experiences of 49 second-generation exiles from South Africa. Using “generation” as an analytical concept, it investigates the relational, temporal and embodied nature of their
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Two-stroke Engines
滿額折
出版日:2017/03/22 作者:Harry Senn  出版社:Goodheart-Willcox Pub  裝訂:平裝
Two-Stroke Engines cultivates a sound understanding of the two-stroke engines, used in the outdoor power equipment industry. This comprehnsive textbook is designed to help aspiring small engine techni
優惠價: 79 4266
無庫存
Building a Virtual Assistant for Raspberry Pi ― The Practical Guide for Constructing a Voice-controlled Virtual Assistant
滿額折
出版日:2016/07/28 作者:Tanay Pant  出版社:Apress  裝訂:平裝
Build a voice-controlled virtual assistant using speech-to-text engines, text-to-speech engines, and conversation modules. This book shows you how to program the virtual assistant to gather data from
優惠價: 1 2203
無庫存
Amazing Machines Flashing Fire Engines Activity Book
79 折
出版日:2016/05/19 作者:Tony Mitton  出版社:Kingfisher UK  裝訂:平裝
This interactive early learning activity book is packed full of fire engines! Fire engines that are noisy, strong and fast. Fire engines that can put out fires and rescue people. Fire engines with hos
Pattern Magic 2
滿額折
出版日:2016/02/11 作者:Tomoko Nakamichi  出版社:Laurence King UK  裝訂:平裝
Pattern Magic 2 is the cult pattern-cutting book from Japan, partner to the original title Pattern Magic. Inspiring and exciting, this volume takes a creative approach to pattern cutting, with more st
優惠價: 79 869
無庫存
Here & There
滿額折
出版日:2015/11/01 作者:Joshua Scher  出版社:Amazon Pub  裝訂:平裝
It was supposed to be a simple proof of concept. The physics were sound. Over one hundred teleportation experiments had already been successfully performed...Debate raged over whether the Reidier Test
優惠價: 1 673
無庫存
出版日: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]。
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]。
A Teacher's Guide to Using the Next Generation Science Standards With Gifted and Advanced Learners
滿額折
出版日:2014/11/01 作者:Cheryll M. Adams; Alicia Cotabish; Debbie Dailey  出版社:Sourcebooks Inc  裝訂:平裝
A Teacher's Guide to Using the Next Generation Science Standards With Gifted and Advanced Learners provides teachers and administrators with practical examples of ways to build comprehensive, coherent
優惠價: 1 1123
無庫存
Noise Sensitivity of Boolean Functions and Percolation
滿額折
出版日:2014/10/31 作者:Christophe Garban  出版社:Cambridge Univ Pr  裝訂:平裝
This is a graduate-level introduction to the theory of Boolean functions, an exciting area lying on the border of probability theory, discrete mathematics, analysis, and theoretical computer science. Certain functions are highly sensitive to noise; this can be seen via Fourier analysis on the hypercube. The key model analyzed in depth is critical percolation on the hexagonal lattice. For this model, the critical exponents, previously determined using the now-famous Schramm–Loewner evolution, appear here in the study of sensitivity behavior. Even for this relatively simple model, beyond the Fourier-analytic set-up, there are three crucially important but distinct approaches: hypercontractivity of operators, connections to randomized algorithms, and viewing the spectrum as a random Cantor set. This book assumes a basic background in probability theory and integration theory. Each chapter ends with exercises, some straightforward, some challenging.
優惠價: 9 994
無庫存
  • 84763
    2120
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 2120

暢銷榜

客服中心

收藏

會員專區