Test Pattern Generation Using Boolean Proof Engines

滿額折

1.

The Art and Making of Preacher

出版日：2018/08/07 作者：Paul Davies 出版社：Titan Books Ltd 裝訂：精裝

Full colour making of book featuring exclusive photos, cast and crew interviews, glimpses behind the scenes and production notes. Every character will be detailed with revealing test and amazing photo

優惠價： 66 906

庫存：1

滿額折

2.

The Great Alone

出版日：2018/02/06 作者：Kristin Hannah 出版社：St Martins Pr 裝訂：精裝

Alaska, 1974.Untamed.Unpredictable.And for a family in crisis, the ultimate test of the human spirit. From the author who brought you the phenomenon of The Nightingale.

優惠價： 79 961

庫存：1

The Ultimate Book of Planet Earth (精裝立體知識百科)

滿額折

3.

The Ultimate Book of Planet Earth (精裝立體知識百科)

出版日：2019/08/27 作者：Anne-Sophie Baumann; Didier Balicevic 出版社：Twirl 裝訂：精裝

The Ultimate series is a worldwide success because it offers readers an intriguing close-up view of their subject, with lots of opportunity for hands-on interaction using flaps, tabs, pop-ups and more

優惠價： 79 751

庫存：1

滿額折

4.

Maths Scribble Book

出版日：2019/06/13 作者：Alice James 出版社：Usborne UK 裝訂：精裝

This draw-in activity book is packed with puzzles to solve, ideas to discover and objects to design. It explores some of the fundamental concepts that mathematicians use every day using just the conte

優惠價： 66 362

庫存：1

What Do You Celebrate?:Holidays and Festivals Around the World

滿額折

5.

What Do You Celebrate?:Holidays and Festivals Around the World

出版日：2019/05/01 作者：Whitney Stewart; Christiane Engel 出版社：Sterling Pub Co Inc 裝訂：精裝

Holidays are FUN―and this entertaining nonfiction picture book introduces kids to 14 celebrations from around the world! Across the globe, every country has its special holidays. From Brazilian carnival and Chinese New Year to France’s Bastille Day and our very own Fourth of July, What Do You Celebrate? presents 14 special occasions where people dance, dress up, eat yummy foods, and enjoy other fun traditions that have been passed down from generation to generation. Kids can travel the globe and learn about Fastelavn, Purim, the Cherry Blossom Festival, Holi, Eid al-Fitr, Halloween, Day of the Dead, Guy Fawkes Day, the German Lantern Festival, and more. Each spread showcases a different holiday, offering background and cultural context, vocabulary words, photographs, and instructions for festive projects.

優惠價： 79 570

庫存：2

A Beautiful Day in the Neighborhood ― The Poetry of Mister Rogers

66 折

6.

A Beautiful Day in the Neighborhood ― The Poetry of Mister Rogers

出版日：2019/03/19 作者：Fred Rogers; Luke Flowers (CON) 出版社：Quirk Books 裝訂：精裝

For the first time ever, beloved songs from Mister Rogers’ Neighborhood are collected in this charmingly illustrated treasury, sure to be cherished by a new generation of children as well as

優惠價： 66 501

庫存：1

Mac B, Kid Spy #2: The Impossible Crime (精裝本)(美國版)

滿額折

7.

Mac B, Kid Spy #2: The Impossible Crime (精裝本)(美國版)

出版日：2018/12/26 作者：Mac Barnett; Mike Lowery (ILT) 出版社：Orchard Books 裝訂：精裝

The Crown Jewels are in danger... again! When the jewels go missing from inside a locked room, Mac's spy skills are put to the test. How did the thief break in? Where did the jewels go? And will Mac b

優惠價： 79 390

庫存：3

Anne of Green Gables ― A Babylit Storybook

滿額折

8.

Anne of Green Gables ― A Babylit Storybook

出版日：2018/10/09 作者：Stephanie Clarkson (RTL); Annabel Tempest (ILT) 出版社：Gibbs Smith 裝訂：精裝

BabyLit® Storybooks give classics new life for the next generation of early readers.In Anne of Green Gables, preschoolers get to know the beloved redheaded orphan Anne Shirley, who is sent to live wit

優惠價： 79 390

庫存：1

Power to the Princess: 15 Favorite Fairytales Retold with Girl Power (美國版)

滿額折

9.

Power to the Princess: 15 Favorite Fairytales Retold with Girl Power (美國版)

出版日：2018/09/06 作者：Vita Weinstein Murrow; Julia Bereciartu (ILT) 出版社：Frances Lincoln Childrens Books 裝訂：精裝

In this stunning anthology, 15 favorite fairytales have been retold for the #metoo generation. These princesses are smart, funny, and kind, and can do anything they set their minds to. They are:S

優惠價： 79 690

庫存：3

Unforgettable Ancient Sites ― Mysterious Sites, Temple Complexes, Ancient Architecture

滿額折

10.

Unforgettable Ancient Sites ― Mysterious Sites, Temple Complexes, Ancient Architecture

出版日：2018/06/26 作者：M. J. Howard 出版社：Chartwell Books 裝訂：精裝

Unforgettable Ancient Sites includes mysterious megalithic sites that appear to have been built using geometric principles far in advance of their time, pyramids that once ran with sacrificial blood,

優惠價： 1 760

庫存：1

Facebook and Conversation Analysis ― The Structure and Organization of Comment Threads

90 折

11.

Facebook and Conversation Analysis ― The Structure and Organization of Comment Threads

出版日：2018/05/17 作者：Matteo Farina 出版社：Bloomsbury USA Academic 裝訂：精裝

Facebook and Conversation Analysis investigates the structure and organization of comments on a major social media platform, Facebook, using applied conversation analysis methods. Providing previously

優惠價： 9 9450

庫存：1

滿額折

12.

Jungle Book ― A Babylit Storybook

出版日：2018/03/20 作者：Stephanie Clarkson; Annabel Tempest (ILT) 出版社：Gibbs Smith 裝訂：精裝

BabyLit® Storybooks give classics new life for the next generation of early readers.In The Jungle Book, preschoolers can tag along on Mowgli’s thrilling adventure, meeting wolves, elephants, and even

優惠價： 79 390

庫存：3

English for Everyone － English Vocabulary Builder (精裝本)(美國版)

滿額折

13.

English for Everyone － English Vocabulary Builder (精裝本)(美國版)

出版日：2018/01/02 作者：Inc. Dorling Kindersley (COR) 出版社：DK Pub 裝訂：精裝

Teach yourself more than 3,000 of the most common and essential English words and phrases using illustrations, a free audio app, and hundreds of practice exercises.Expand your English vocabulary with

優惠價： 79 901

庫存：2

14.

Boolean Functions: Topics In Asynchronicity

出版日：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]。

#6:The Test of Time (Geronimo Stilton Journey Through Time)

滿額折

15.

#6:The Test of Time (Geronimo Stilton Journey Through Time)

出版日：2019/01/29 作者：Geronimo Stilton 出版社：Scholastic 裝訂：精裝

Professor Volt's first time machine somehow made it to the present and must be escorted back in time as soon as possible, before it alters the course of history!

優惠價： 79 450

庫存 > 10

16.

Qualitative Comparative Analysis With R ― A Comprehensive Description

出版日：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]。

17.

Proof Complexity

出版日：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

滿額折

18.

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

滿額折

19.

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

無庫存

滿額折

20.

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

無庫存

21.

Space in Weak Propositional Proof Systems

出版日：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]。

22.

Proof & Falsity: a Logical Investigation

出版日：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

滿額折

23.

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

無庫存

24.

Defocusing Nonlinear Schrodinger Equations

出版日：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]。

25.

Brains as Engines of Association: An Operating Principle for Nervous Systems

出版日：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]。

26.

Evidence and Proof in Scotland ― Context and Critique

出版日：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]。

27.

Natural Gas Engines ― For Transportation and Power Generation

出版日：2018/11/15 作者：Kalyan Kumar Srinivasan (EDT); Avinash Kumar Agarwal (EDT); Sundar Rajan Krishnan (EDT); Vincenzo Mulone (EDT) 出版社：Springer Nature 裝訂：精裝

This book covers the various advanced reciprocating combustion engine technologies that utilize natural gas and alternative fuels for transportation and power generation applications. It is divided in

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

滿額折

28.

One Pattern, Many Ways

出版日：2018/11/01 作者：Angela Wolf 出版社：Taunton Pr 裝訂：精裝

This exciting video opens a new world of creative possibilities for anyone who sews. Learn how Angela Wolf takes a standard commercial pattern and manipulates it to create totally different looks. Its

優惠價： 79 760

無庫存

29.

How Big Is Big? How Far Is Far? All Around Me

出版日：2018/10/31 作者：Little Gestalten (COR); Cen Jun (ILT) 出版社：Little Gestalten 裝訂：精裝

Each spread invites the child to imagine, test, interact and measure. Designed to be playful in its approach by using relatable comparisons that are brought into the child’s own daily sphere.

到貨時通知我

30.

Supervised Descriptive Pattern Mining

出版日：2018/10/24 作者：Sebastian Ventura; Jose?Mari徨 Luna 出版社：Springer-Nature New York Inc 裝訂：精裝

This book provides a general and comprehensible overview of supervised descriptive pattern mining, considering classic algorithms and those based on heuristics. It provides some f

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

Hubots ― Real-world Robots Inspired by Humans

滿額折

31.

Hubots ― Real-world Robots Inspired by Humans

出版日：2018/10/02 作者：Helaine Becker; Alex Ries (ILT) 出版社：Kids Can Pr 裝訂：精裝

Using increasingly sophisticated levels of artificial intelligence (AI) and embodied intelligence (EI), a new generation of robots is being designed to look, act and even think like humans. Hubots, or

優惠價： 79 540

無庫存

100 Knits ― Interweave's Ultimate Pattern Collection

滿額折

32.

100 Knits ― Interweave's Ultimate Pattern Collection

出版日：2018/10/02 作者：Interweave (EDT) 出版社：Interweave Pr 裝訂：精裝

Interweave's biggest pattern collection ever! Page after page of knitting patterns are at your fingertips with 100 Knits, giving you a nearly endless supply of projects you'll be excite

優惠價： 1 1710

無庫存

33.

Introduction to Digital Systems Design

出版日：2018/09/03 作者：Giuliano Donzellini; Luca Oneto; Domenico Ponta; Davide Anguita 出版社：Springer Verlag 裝訂：精裝

This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and bi

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

滿額折

34.

Night Flights (Mortal Engines 5)

出版日：2018/07/05 作者：Philip Reeve; Ian McQue 出版社：Scholastic UK 裝訂：精裝

Anna Fang is a spy. An aviatrix. An escaped slave. But no one knows the whole story - until now. In the dangerous future world of MORTAL ENGINES, huge motorized cities hunt, attack and devour each oth

優惠價： 79 477

無庫存

35.

Computational Intelligence for Pattern Recognition

出版日：2018/05/15 作者：Witold Pedrycz (EDT); Shyi-ming Chen (EDT) 出版社：Springer-Verlag New York Inc 裝訂：精裝

The book presents a comprehensive and up-to-date review of fuzzy pattern recognition. It carefully discusses a range of methodological and algorithmic issues, as well as implementations and case studi

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

36.

Cone Penetration Testing 2018

出版日：2018/05/06 作者：Edited by Michael A. Hicks; Federico Pisanò and Joek Peuchen 出版社：CRC Press UK 裝訂：精裝

CPT’18 will focus on the solution of geotechnical challenges using the cone penetration test CPT, CPT add-on measurements and companion in-situ penetration tools (such as full flow and free fall penet

無法訂購

37.

Gloria's Voice ─ The Story of Gloria Steinem--Feminist, Activist, Leader

出版日：2018/04/05 作者：Aura Lewis 出版社：Sterling UK 裝訂：精裝

Gloria Steinem started a movement that changed our world. This picture-book biography of the pioneering feminist brings the message of equality to a new generation. Using gorgeous watercolor il

到貨時通知我

滿額折

38.

Stitch and Pattern

出版日：2018/04/03 作者：Jean Draper 出版社：Batsford Ltd UK 裝訂：精裝

From the hugely accomplished textile artist Jean Draper comes an invaluable guide to designing and working with pattern in textile art. As she did in her successful Stitch and Structure, Jean Dra

優惠價： 9 1136

無庫存

39.

Pattern Recognition: A Quality Of Data Perspective

出版日：2018/02/16 作者：Homenda 出版社：John Wiley & Sons Inc 裝訂：精裝

A new approach to the issue of data quality in pattern recognition Detailing foundational concepts before introducing more complex methodologies and algorithms, this book is a self-contained manual fo

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

40.

Methodology of Judicial Proof and Presumption

出版日：2018/02/02 作者：Jiahong He 出版社：Springer Verlag 裝訂：精裝

This book offers the first theoretical approach to rules of evidence and the practice of judicial proof in China written in English by a Chinese professor. As Prof. He’s first representative work, bas

若需訂購本書，請電洽客服 02-25006600[分機130、131]。

熱搜：

寶島少年周刊特賣82折

丹．布朗新書

突破極限的信念「陳傑憲」

冠軍之路(首刷贈熱血應援透卡組)

貪污治罪條例逐條評釋

千年鬼

在小山和小山之間

Test Pattern Generation Using Boolean Proof Engines

The Art and Making of Preacher

The Great Alone

The Ultimate Book of Planet Earth (精裝立體知識百科)

Maths Scribble Book

What Do You Celebrate?:Holidays and Festivals Around the World

A Beautiful Day in the Neighborhood ― The Poetry of Mister Rogers

Mac B, Kid Spy #2: The Impossible Crime (精裝本)(美國版)

Anne of Green Gables ― A Babylit Storybook

Power to the Princess: 15 Favorite Fairytales Retold with Girl Power (美國版)

Unforgettable Ancient Sites ― Mysterious Sites, Temple Complexes, Ancient Architecture

Facebook and Conversation Analysis ― The Structure and Organization of Comment Threads

Jungle Book ― A Babylit Storybook

English for Everyone － English Vocabulary Builder (精裝本)(美國版)

Boolean Functions: Topics In Asynchronicity

#6:The Test of Time (Geronimo Stilton Journey Through Time)

Qualitative Comparative Analysis With R ― A Comprehensive Description

Proof Complexity

Crash Test Girl ― An Unlikely Experiment in Using the Scientific Method to Answer Life's Toughest Questions

Algorithms for Analysis, Inference, and Control of Boolean Networks

Engines That Move Markets

Space in Weak Propositional Proof Systems

Proof & Falsity: a Logical Investigation

Artificial Intelligence: An Illustrated History:From Medieval Robots to Neural Networks

Defocusing Nonlinear Schrodinger Equations

Brains as Engines of Association: An Operating Principle for Nervous Systems

Evidence and Proof in Scotland ― Context and Critique

Natural Gas Engines ― For Transportation and Power Generation

One Pattern, Many Ways

How Big Is Big? How Far Is Far? All Around Me

Supervised Descriptive Pattern Mining

Hubots ― Real-world Robots Inspired by Humans

100 Knits ― Interweave's Ultimate Pattern Collection

Introduction to Digital Systems Design

Night Flights (Mortal Engines 5)

Computational Intelligence for Pattern Recognition

Cone Penetration Testing 2018

Gloria's Voice ─ The Story of Gloria Steinem--Feminist, Activist, Leader

Stitch and Pattern

Pattern Recognition: A Quality Of Data Perspective

Methodology of Judicial Proof and Presumption