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

Test Pattern Generation Using Boolean Proof Engines

6897
1 / 173
Boolean Functions: Topics In Asynchronicity
90 折
出版日:2019/01/25 作者:Vlad  出版社:John Wiley & Sons Inc  裝訂:精裝
The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks Boolean Functions: Topics in Asynchronicity&n
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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
無庫存
Qualitative Comparative Analysis With R ― A Comprehensive Description
90 折
出版日:2018/06/23 作者:Adrian Dusa  出版社:Springer Verlag  裝訂:精裝
This book is a comprehensive guide to qualitative comparative analysis (QCA) using R. Using Boolean algebra to implement principles of comparison used by scholars engaged in the qualitative study of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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]。
How to Supercharge & Turbocharge Gm Ls-series Engines
滿額折
出版日:2019/07/15 作者:Barry Kluczyk  出版社:Cartech Inc  裝訂:平裝
GM LS-series engines are some of the most powerful, versatile, and popular V-8 engines ever produced. They deliver exceptional torque and abundant horsepower, are in ample supply, and have a massive r
優惠價: 1 1573
無庫存
Genetic Algorithms and Machine Learning for Programmers ― Create Ai Models and Evolve Solutions
滿額折
出版日:2019/03/07 作者:Frances Buontempo  出版社:Pragmatic Bookshelf  裝訂:平裝
Self-driving cars, natural language recognition, and online recommendation engines are all possible thanks to Machine Learning. Now you can create your own genetic algorithms, nature-inspired swarms, Monte Carlo simulations, cellular automata, and clusters. Learn how to test your ML code and dive into even more advanced topics. If you are a beginner-to-intermediate programmer keen to understand machine learning, this book is for you.Discover machine learning algorithms using a handful of self-contained recipes. Build a repertoire of algorithms, discovering terms and approaches that apply generally. Bake intelligence into your algorithms, guiding them to discover good solutions to problems.In this book, you will:Use heuristics and design fitness functions.Build genetic algorithms.Make nature-inspired swarms with ants, bees and particles.Create Monte Carlo simulations.Investigate cellular automata.Find minima and maxima, using hill climbing and simulated annealing.Try selection methods,
優惠價: 1 2527
無庫存
Pattern Making ― Techniques for Beginners
滿額折
出版日:2019/01/08 作者:Francesca Sterlacci  出版社:Laurence King UK  裝訂:平裝
Pattern making, patternmaking, pattern cutting, or flat patterning, are all words that describe the process of creating a two-dimensional diagram or template of a garment, drafted on a flat surface fr
優惠價: 79 1738
無庫存
出版日:2018/11/23 作者:Paulo Emilio Miranda (EDT)  出版社:Academic Pr  裝訂:平裝
Science and Engineering of Hydrogen-Based Energy Technologies explores the generation of energy using hydrogen and hydrogen-rich fuels in fuel cells from the perspective of its integration into renewa
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Sure to Please Afghans to Crochet
滿額折
出版日:2018/09/01 作者:Annie's (COR)  出版社:Annies Attic Llc  裝訂:平裝
Eight beautiful designs are made using sport-, light- and worsted-weight yarn. Pattern includes written instructions, special stitch illustrations and placement charts. Sizes range from 36"W x 52"L to
優惠價: 1 405
無庫存
Pattern
滿額折
出版日:2018/09/01 作者:Henry Arthur Pluckrose  出版社:Childrens Pr  裝訂:平裝
"Explains to the reader about mathematical pattern"--
優惠價: 79 179
無庫存
Mortal Engines (Movie Tie-in)
滿額折
出版日:2018/08/28 作者:Philip Reeve  出版社:Scholastic Pr  裝訂:平裝
*"Reeve's [Mortal Engines] remains a landmark of visionary imagination." --School Library Journal, starred reviewEmerging from its hiding place in the hills, the great Traction City is chasing a terri
優惠價: 1 380
無庫存
Engines That Move Markets
滿額折
出版日:2018/08/20 作者:Nairn Alisdair  出版社:Harriman House Pub  裝訂:精裝
Engines That Move Markets is a comprehensive history of market-shaping industries and their impact on how we invest today.Now in its second edition, this modern investing classic highlights the histor
優惠價: 79 2172
無庫存
出版日:2018/07/10 作者:David T. Conley  出版社:Harvard Education Pr  裝訂:平裝
In The Promise and Practice of Next Generation Assessment, David T. Conley presents the case for a new, comprehensive system of assessment using different measurements for different purposes. Changes
優惠價: 1 1650
無庫存
Mortal Engines (Mortal Engines Quartet)
滿額折
出版日:2018/07/05 作者:Philip Reeve  出版社:Scholastic UK  裝訂:平裝
MORTAL ENGINES launched Philip Reeve's brilliantly-imagined creation, the world of the Traction Era, where mobile cities fight for survival in a post-apocalyptic future. Now, in time for the film debu
優惠價: 79 390
無庫存
How to Build Box Cars and Trucks
滿額折
出版日:2018/07/01 作者:Jeff Barger  出版社:Rourke Pub Group  裝訂:平裝
Start your engines using a cereal box and other household items. In this Makerspace title, learn how to make cars and trucks from common items around the house. Includes photo glossary and websites.
優惠價: 1 448
無庫存
出版日:2018/04/14 作者:Gus Wright  出版社:Jones & Bartlett Learning  裝訂:平裝
Light Vehicle Diesel Engines, published as part of the CDX Master Automotive Technician Series, prepares students with practical, accessible information necessary for ASE A9 certification. Taking a "s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Pattern Cutting ─ The Architecture of Fashion
90 折
出版日:2018/01/25 作者:Pat Parish  出版社:Ava Pub Sa  裝訂:平裝
Pattern cutting, or pattern making, is an essential yet complex skill for every fashion designer to master. Pattern Cutting: The Architecture of Fashion demystifies the pattern cutting process and cle
優惠價: 9 1777
無庫存
Space in Weak Propositional Proof Systems
90 折
出版日:2018/01/24 作者:Ilario Bonacina  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/01/01 作者:Tim Gilles  出版社:Delmar Pub  裝訂:平裝
Gain the technical expertise, practical skills, and industry knowledge you need for career success! AUTOMOTIVE ENGINES: DIAGNOSIS, REPAIR, AND REBUILDING, Eighth Edition, features comprehensive covera
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
R. Buckminster Fuller: Pattern-Thinking
79 折
出版日:2019/11/01 作者:R Buckminster Fuller  出版社:Lars Muller Publishers  裝訂:平裝
'Pattern-Thinking' reassesses the work of Buckminster Fuller - unique hybrid between theoretician, architect, designer, educator, inventor, and author - as advancing contemporary models of design-rese
優惠價: 79 1441
無庫存
How to Rebuild Vw Air-cooled Engines ― 1961-2003
滿額折
出版日:2019/08/15 作者:Prescott Phillips  出版社:Cartech Inc  裝訂:平裝
Covers rebuilding the VW Type 1, 2, and 3 engines beginning in the year 1961, when a significant redesign improved the reliability, durability, and horsepower of the basic initial design.For more than
優惠價: 1 1328
無庫存
Girl on Girl ― Art and Photography in the Age of the Female Gaze
滿額折
出版日:2019/08/06 作者:Charlotte Jansen  出版社:Laurence King UK  裝訂:平裝
A new generation of women is taking the art world - online and offline - by storm. In an image-obsessed culture saturated with social media, these 40 artists are using photography and the female gaze
優惠價: 79 738
無庫存
Proof & Falsity: a Logical Investigation
90 折
出版日:2019/07/31 作者:Nils Kürbis  出版社:Cambridge Univ Pr  裝訂:精裝
This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that they cannot adequately do so. He argues that whereas proof-theoretic semantics usually only appeals to a notion of truth, it also needs to appeal to a notion of falsity, and proposes a system of natural deduction in which both are incorporated. Offering new perspectives on negation, denial and falsity, his book will be important for readers working on logic, metaphysics and the philosophy of language.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Artificial Intelligence: An Illustrated History:From Medieval Robots to Neural Networks
滿額折
出版日:2019/07/01 作者:Clifford A. Pickover  出版社:Sterling Pub Co Inc  裝訂:精裝
An illustrated journey through the past, present, and future of artificial intelligence, from popular science author Cliff Pickover.From medieval robots and Boolean algebra to facial recognition, arti
優惠價: 79 749
無庫存
Cindy Sherman: Postcards
79 折
出版日:2019/06/27 出版社:National Portrait Gallery  裝訂:平裝
Cindy Sherman is among the most influential artists of her generation. Using herself as model, wearing a range of costumes and portraying herself in invented situations, she interrogates the imagery e
優惠價: 79 649
無庫存
Defocusing Nonlinear Schrodinger Equations
90 折
出版日:2019/05/31 作者:Benjamin Dodson  出版社:Cambridge Univ Pr  裝訂:精裝
This study of Schrödinger equations with power-type nonlinearity provides a great deal of insight into other dispersive partial differential equations and geometric partial differential equations. It presents important proofs, using tools from harmonic analysis, microlocal analysis, functional analysis, and topology. This includes a new proof of Keel–Tao endpoint Strichartz estimates, and a new proof of Bourgain's result for radial, energy-critical NLS. It also provides a detailed presentation of scattering results for energy-critical and mass-critical equations. This book is suitable as the basis for a one-semester course, and serves as a useful introduction to nonlinear Schrödinger equations for those with a background in harmonic analysis, functional analysis, and partial differential equations.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Murmuration
滿額折
出版日:2019/05/01 作者:Robert Lock  出版社:Legend Times Group  裝訂:平裝
The starlings dance in mesmerizing patterns. In and out they fold. Up and down. Below them a Victorian pier has stood the test of time, carrying each generation over a cold and relentless sea. As the
優惠價: 79 480
無庫存
Advances in Mathematics Education Research on Proof and Proving ― An International Perspective
90 折
出版日:2019/04/30 作者:Andreas J. Stylianides (EDT); Guershon Harel (EDT)  出版社:Springer Nature  裝訂:平裝
This book explores new trends and developments in mathematics education research related to proof and proving, the implications of these trends and developments for theory and practice, and directions
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Brains as Engines of Association: An Operating Principle for Nervous Systems
90 折
出版日:2019/04/29 作者:Dale Purves  出版社:Oxford Univ Pr  裝訂:精裝
Brains as Engines of Association tackles a fundamental question in neuroscience: what is the operating principle of the human brain? While a similar question has been asked and answered for virtually
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Property-based Testing With Proper, Erlang, and Elixir ― Find Bugs Before Your Users Do
滿額折
出版日:2019/03/07 作者:Fred Hebert  出版社:Pragmatic Bookshelf  裝訂:平裝
Property-based testing helps you create better, more solid tests with little code. By using the PropEr framework in both Erlang and Elixir, this book teaches you how to automatically generate test cas
優惠價: 1 2527
無庫存
出版日:2019/03/01 作者:Donald Nicolson  出版社:Edinburgh Univ Pr  裝訂:精裝
This is the first textbook to set the Scots law of evidence against a modern backdrop of legal thought and empirical research. It examines the non-legal dimensions of evidence and proof through the le
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/01 作者:Donald Nicolson  出版社:Edinburgh Univ Pr  裝訂:平裝
This is the first textbook to set the Scots law of evidence against a modern backdrop of legal thought and empirical research. It examines the non-legal dimensions of evidence and proof through the le
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/01/24 作者:Kabir Duggal; Wendy W. Cai  出版社:Brill Academic Pub  裝訂:平裝
In Principles of Evidence in Public International Law as Applied by Investor-State Tribunals, Kabir Duggal and Wendy Cai examine evidentiary principles of burden of proof and standard of proof by delv
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/01/15 作者:James Lam (EDT); Yun Chen (EDT); Xingwen Liu (EDT); Xudong Zhao (EDT); Junfeng Zhang (EDT)  出版社:Springer Nature  裝訂:平裝
This book presents high-quality original contributions on positive systems, including those with positivity in compartmental switched systems, Markovian jump systems, Boolean networks, interval observ
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Good Vibes, Good Life ― A Real-world Guide to Achieving a Greater Life
滿額折
出版日:2018/12/04 作者:Vex King  出版社:Hay House Pub  裝訂:平裝
A beautifully designed book full of inspiring quotes and tried-and-tested wisdom on using positivity to create a life you love.Vex King is leading a revolution for the next generation of spiritual see
優惠價: 1 646
無庫存
  • 6897
    173
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 173

暢銷榜

客服中心

收藏

會員專區