TOP
篩選商品
縮小範圍
裝訂方式
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

47382
1 / 1185
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
無庫存
Ase Test Preparation - T1 Gasoline Engines
90 折
出版日:2011/10/07 作者:Delmar Cengage Learning  出版社:Cengage Learning  裝訂:平裝
The fifth edition of DELMAR?S AUTOMOTIVE SERVICE EXCELLENCE (ASE) TEST PREPARATION MANUAL for the Medium/Heavy Duty Truck T1 Gasoline Engines exam now contains even more content so you can pass your
優惠價: 9 1254
無庫存
Proof of Forever
滿額折
出版日:2016/05/03 作者:Lexa Hillyer  出版社:Harperteen  裝訂:平裝
Wendy Wunder calls Proof of Forever, “The Sisterhood of the (Time) Traveling Pantsfor a new generation!”Elegant and evocative, and now in paperback, Proof of Forever is one of those novels that hooks
優惠:外文書周末優惠-單79雙75 優惠價: 79 301
無庫存
Boolean Reasoning ─ The Logic of Boolean Equations
滿額折
出版日:2003/04/21 作者:Frank Markham Brown  出版社:Dover Pubns  裝訂:平裝
This graduate textbook explains the mathematical basis for Boolean reasoning, describes syllogistic and functional approaches to the solution of Boolean and propositional problems, and presents applic
優惠價: 9 580
無庫存
Hybrid Technologies for Power Generation
95 折
Hybrid Technologies for Power Generation addresses the topics related to hybrid technologies by coupling conventional thermal engines with novel technologies, including fuel cells, batteries, thermal
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Build Android-based Smart Applications ― Using Rules Engines, Nlp and Automation Frameworks
滿額折
出版日:2017/12/17 作者:Chinmoy Mukherjee  出版社:Apress  裝訂:平裝
Build smart applications using cutting-edge technologies such as rules engines, code automation frameworks, and natural language processing (NLP). This book provides step-by-step instructions on how t
優惠價: 1 1250
無庫存
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
無庫存
出版日:2014/07/03 作者:Michele Lininger  出版社:Pearson College Div  裝訂:平裝
An industry-focused guide to patternmaking with Gerber AccuMark software. Patternmaking and Grading: Using Gerber AccuMark Pattern Design, 1/e examines every aspect of patternmaking and grading
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/02/07 作者:Bo Long; Yi Chang  出版社:Elsevier Science Ltd  裝訂:平裝
In plain, uncomplicated language, and using detailed examples to explain the key concepts, models, and algorithms in vertical search ranking, Relevance Ranking for Vertical Search Engines teaches read
優惠價: 1 3597
無庫存
出版日: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]。
Light Vehicle Diesel Engines A9
90 折
出版日:2011/05/31 作者:Delmar  出版社:Cengage Learning  裝訂:平裝
The first edition of Delmar?s Automotive Service Excellence (ASE) Test Preparation Manual for the A9 LIGHT VEHICLE DIESEL ENGINES certification exam contains an abundance of content designed to help
優惠價: 9 1051
無庫存
Boolean Algebra and Its Applications
滿額折
出版日:2010/03/18 作者:J. Eldon Whitesitt  出版社:Dover Pubns  裝訂:平裝
This introduction to Boolean algebra begins with an intuitive approach to set theory and an axiomatic account of the fundamentals of Boolean algebra, proceeding to concise accounts of applications to
優惠價: 9 443
無庫存
出版日: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]。
Boolean Function Complexity
90 折
出版日:1992/11/05 作者:M. S. Paterson  出版社:Cambridge Univ Pr  裝訂:平裝
By considering the size of the logical network needed to perform a given computational task, the intrinsic difficulty of that task can be examined. Boolean function complexity, the combinatorial study of such networks, is a subject that started back in the 1950s and has today become one of the most challenging and vigorous areas of theoretical computer science. The papers in this book stem from the London Mathematical Society Symposium on Boolean Function Complexity held at Durham University in July 1990. The range of topics covered will be of interest to the newcomer to the field as well as the expert, and overall the papers are representative of the research presented at the Symposium. Anyone with an interest in Boolean Function complexity will find that this book is a necessary purchase.
優惠價: 9 1754
無庫存
Digital Pattern Cutting for Fashion With Lectra Modaris ― From 2D Pattern Modification to 3D Prototyping
90 折
出版日:2018/12/13 作者:Patricia Grice  出版社:Ava Pub Sa  裝訂:平裝
Design your own original 2D patterns and use 3D prototyping to test your designs, achieve the perfect fit and make quick alterations. Pattern Cutting For Fashion with Lectra Modaris® will guide you fr
優惠價: 9 3129
無庫存
Lectures on Boolean Algebras
滿額折
出版日:2018/09/12 作者:Paul R. Halmos  出版社:Dover Pubns  裝訂:平裝
This presentation on the basics of Boolean algebra has ranked among the fundamental books on this important subject in mathematics and computing science since its initial publication in 1963. Concise
優惠價: 9 340
無庫存
Test Driven Development in Ruby ― A Practical Introduction to Tdd Using Problem and Solution Domain Analysis
滿額折
出版日:2017/03/16 作者:Bala Paranj  出版社:Apress  裝訂:平裝
Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental con
優惠價: 1 3189
無庫存
出版日:2016/08/15 作者:David Barker-plummer; Jon Barwise; John Etchemendy  出版社:Stanford Univ Center for the Study  裝訂:平裝
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, a
優惠價: 1 3300
無庫存
Mastering Kali Linux Wireless Pentesting ─ Test Your Wireless Network's Security and Master Advanced Wireless Penetration Techniques Using Kali Linux
滿額折
出版日:2016/02/23 作者:Brian Sak; Raghu Reddy  出版社:Packt Pub Ltd  裝訂:平裝
Test your wireless network's security and master advanced wireless penetration techniques using Kali LinuxAbout This BookDevelop your skills using attacks such as wireless cracking, Man-in-the-Middle,
優惠:外文書周末優惠-單79雙75 優惠價: 79 2465
無庫存
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
無庫存
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
無庫存
出版日: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
無庫存
Find Your Way Online ─ Super Smart Information Strategies
滿額折
出版日:2011/12/03 作者:Suzy Rabbat  出版社:Cherry Lake Pub  裝訂:平裝
Describes how to search the Internet effectively, discussing choosing good keywords, using search engines, narrowing down a search by using additional keywords, using subject directories, and using su
優惠價: 1 639
無庫存
出版日: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
無庫存
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
無庫存
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
無庫存
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
無庫存
出版日: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]。
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雙75 優惠價: 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雙75 優惠價: 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]。
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
無庫存
  • 47382
    1185
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 1185

暢銷榜

客服中心

收藏

會員專區