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

Test Pattern Generation Using Boolean Proof Engines

63303
8 / 1583
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
無庫存
Ford Fe Engines ─ How to Rebuild
滿額折
出版日:2016/11/15 作者:Barry Rabotnick  出版社:Cartech Inc  裝訂:平裝
Ford FE Engines: How to Rebuild covers everything you need to know to rebuild one of these legendary engines. CarTech’s unique WorkbenchR series format takes you step-by-step through the entire rebuil
優惠價: 1 1480
無庫存
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
無庫存
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
無庫存
出版日: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
無庫存
Noise Sensitivity of Boolean Functions and Percolation
90 折
出版日: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.
若需訂購本書,請電洽客服 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]。
Analysis of Boolean Functions
90 折
出版日:2014/05/31 作者:Ryan O'Donnell  出版社:Cambridge Univ Pr  裝訂:精裝
Boolean functions are perhaps the most basic objects of study in theoretical computer science. They also arise in other areas of mathematics, including combinatorics, statistical physics, and mathematical social choice. The field of analysis of Boolean functions seeks to understand them via their Fourier transform and other analytic methods. This text gives a thorough overview of the field, beginning with the most basic definitions and proceeding to advanced topics such as hypercontractivity and isoperimetry. Each chapter includes a 'highlight application' such as Arrow's theorem from economics, the Goldreich–Levin algorithm from cryptography/learning theory, Håstad's NP-hardness of approximation results, and 'sharp threshold' theorems for random graph properties. The book includes roughly 450 exercises and can be used as the basis of a one-semester graduate course. It should appeal to advanced undergraduates, graduate students and researchers in computer science theory and related mat
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Digital Speech Processing Using Matlab
90 折
出版日:2013/12/31 作者:E. s. Gopi  出版社:Springer Verlag  裝訂:精裝
Digital Speech Processing Using Matlab deals with digital speech pattern recognition, speech production model, speech feature extraction, and speech compression. The book is written in a manner that i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The New Rules of Lead Generation ─ Proven Strategies to Maximize Marketing ROI
90 折
出版日:2013/03/13 作者:SCOTT  出版社:Amacom Books  裝訂:精裝
Lead-generation marketing is evolving rapidly, but many companies are still using the same methods they always have. How can a marketer know which lead generation tactics will provide them with the be
優惠價: 9 1011
無庫存
出版日:2013/02/02 作者:Nicolas Lorente (EDT); Christian Joachim (EDT)  出版社:Springer Verlag  裝訂:精裝
Have you ever puzzled over how to perform Boolean logic at the atomic scale? Or wondered how you can carry out more general calculations in one single molecule or using a surface dangling bond atomic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Gas Turbine Diagnostics ─ Signal Processing and Fault Isolation
90 折
出版日:2013/01/08 作者:Ranjan Ganguli  出版社:Taylor & Francis  裝訂:精裝
Widely used for power generation, gas turbine engines are susceptible to faults due to the harsh working environment. Most engine problems are preceded by a sharp change in measurement deviations comp
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Automatic Item Generation ─ Theory and Practice
90 折
出版日:2012/08/07 作者:Mark J. Gierl (EDT); Thomas M. Haladyna (EDT)  出版社:Taylor & Francis  裝訂:精裝
Automatic item generation (AIG) represents a relatively new and unique research area where specific cognitive and psychometric theories are applied to test construction practices for the purpose of pr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Automatic Item Generation ─ Theory and Practice
90 折
出版日:2012/08/07 作者:Mark J. Gierl (EDT); Thomas M. Haladyna (EDT)  出版社:Taylor & Francis  裝訂:平裝
Automatic item generation (AIG) represents a relatively new and unique research area where specific cognitive and psychometric theories are applied to test construction practices for the purpose of pr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Barclay Butera—Living on the Coast
滿額折
出版日:2012/03/01 作者:Barclay Butera  出版社:Gibbs Smith  裝訂:精裝
Renowned designer Barclay Butera takes his signature style of pattern-on-pattern and transitional charm to the coast. Using a distinctive balance of vibrant colors and sunwashed hues, he fashions chee
優惠價: 79 1201
無庫存
Set Theory ― Boolean-valued Models and Independence Proofs
90 折
出版日:2011/12/17 作者:John L. Bell  出版社:OUP Academic UK  裝訂:平裝
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most import
優惠價: 9 2564
無庫存
出版日:2011/09/20 作者:Alexander Dolgin  出版社:Springer Verlag  裝訂:精裝
"The book is about the future development of the digital society, social search engines of the new generation, and crowdsourcing (collaboration) in information processing. The book examines future dev
優惠價: 1 2998
無庫存
Generational Patterns Using Astrology
滿額折
出版日:2011/03/16 作者:Edwin Rose  出版社:Natl Book Network  裝訂:平裝
Generational Patterns Using Astrology will enable you to find your place in history. It will explain how your parent's generation is different than yours and even the differences between your parent's
優惠價: 1 1123
無庫存
出版日:2010/11/02 作者:Matt Stephens; Doug Rosenberg  出版社:Apress  裝訂:平裝
The groundbreaking book Design Driven Testing brings sanity back to the software development process by flipping around the concept of Test Driven Development (TDD)—restoring the concept of using test
優惠價: 1 3000
無庫存
Mechanical Efficiency of Heat Engines
90 折
出版日:2010/09/09 作者:James R. Senft  出版社:Cambridge Univ Pr  裝訂:平裝
This 2007 book presents a developed general conceptual and basic quantitative analysis as well as the theory of mechanical efficiency of heat engines that a level of ideality and generality compatible with the treatment given to thermal efficiency in classical thermodynamics. This yields broad bearing results concerning the overall cyclic conversion of heat into usable mechanical energy. The work reveals intrinsic limits on the overall performance of reciprocating heat engines. The theory describes the general effects of parameters such as compression ratio and external or buffer pressure on engine output. It also provides rational explanations of certain operational characteristics such as how engines generally behave when supercharged or pressurized. The results also identify optimum geometric configurations for engines operating in various regimes from isothermal to adiabatic and are extended to cover multi-workspace engines and heat pumps. Limited heat transfer due to finite-time e
優惠價: 9 2398
無庫存
Pattern Classification Using Ensemble Methods
滿額折
出版日:2010/06/30 作者:Lior Rokach  出版社:World Scientific Pub Co Inc  裝訂:精裝
Researchers from various disciplines such as pattern recognition, statistics, and machine learning have explored the use of ensemble methodology since the late seventies. Thus, they are faced with a w
優惠價: 9 3121
無庫存
Proof Theory—The First Step into Impredicativity
90 折
出版日:2009/02/28 作者:Wolfram Pohlers  出版社:Textstream  裝訂:平裝
This book verifies with compelling evidence the author’s inclination to "write a book on proof theory which needs no previous knowledge of proof theory". Avoiding the cryptic terminology of proof as f
優惠價: 9 2700
無庫存
Soldier Protective Clothing and Equipment ― Feasibility of Chemical Testing Using a Fully Articulated Robotic Mannequin
滿額折
出版日:2008/07/30 作者:Not Available (NA)  出版社:Natl Academy Pr  裝訂:平裝
In 2007, the U.S. Department of Defense and National Research Council staff discussed the feasibility of using an advanced robot, the Protection Ensemble Test Mannequin (PETMAN), to test individual pr
優惠價: 1 3248
無庫存
Introduction to the Comparative Method with Boolean Algebra
滿額折
出版日:2008/07/02 作者:Daniele Caramani  出版社:SAGE Publications UK  裝訂:平裝
Written for students and researchers in the fields of behavioral sciences, history and logic, this textbook on comparative methods with Boolean algebra explains how these mathematical theories are use
優惠價: 1 2530
無庫存
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
90 折
出版日:2008/06/01 作者:U. Kohlenbach  出版社:Springer Verlag  裝訂:精裝
This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Game Development Essentials ─ Game Level Design
90 折
出版日:2008/05/07 作者:Travis Castillo; Jeannie Novak  出版社:Delmar Publishers  裝訂:平裝
Learn how to design game levels for the next generation of game engines with Game Development Essentials: Game Level Design. This book takes the reader on a creative journey that starts at a conceptu
優惠價: 9 3076
無庫存
Mechanical Efficiency of Heat Engines
90 折
出版日:2007/08/13 作者:James R. Senft  出版社:Cambridge Univ Pr  裝訂:精裝
This 2007 book presents a developed general conceptual and basic quantitative analysis as well as the theory of mechanical efficiency of heat engines that a level of ideality and generality compatible with the treatment given to thermal efficiency in classical thermodynamics. This yields broad bearing results concerning the overall cyclic conversion of heat into usable mechanical energy. The work reveals intrinsic limits on the overall performance of reciprocating heat engines. The theory describes the general effects of parameters such as compression ratio and external or buffer pressure on engine output. It also provides rational explanations of certain operational characteristics such as how engines generally behave when supercharged or pressurized. The results also identify optimum geometric configurations for engines operating in various regimes from isothermal to adiabatic and are extended to cover multi-workspace engines and heat pumps. Limited heat transfer due to finite-time e
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2007/03/01 作者:Guinevere Durham  出版社:Rowman & Littlefield Education  裝訂:平裝
Durham, a retired elementary school principal, overviews theory, strategies, and techniques for teaching test-taking skills to elementary students throughout the school year, using the material in the
優惠價: 1 2700
無庫存
出版日:2007/02/03 作者:Rana S. Hoda M.D.; Syed A. Hoda M.D.  出版社:Humana Pr Inc  裝訂:平裝
This book is intended as a practical primer on the Pap test. Using bold text, tables, and highlighted areas, the book offers readers a user-friendly text on Pap test fundamentals so readers may find
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/02/28 作者:Roy Darlington; Keith Strong  出版社:Crowood Pr  裝訂:精裝
Hot air engines, often called Stirling engines, are among the most interesting and intriguing engines ever to be designed. They run on just about any fuel, from salad oil and hydrogen to solar and ge
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/10/01 作者:Catherine Mazak; Lawrence J. Zwier; Lynn Stafford-Yilmaz  出版社:Univ of Michigan Pr  裝訂:平裝
The Next-Generation TOEFL(R) Test focuses on all four skills and academic skill proficiency. It responds to the growing popularity of communicative testing by addressing all four skills--reading, wri
優惠價: 1 2190
無庫存
  • 63303
    1583
  • 1
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 1583

暢銷榜

客服中心

收藏

會員專區