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

Test Pattern Generation Using Boolean Proof Engines

8550
6 / 214
What The Dinosaurs Did At School:Another Messy Adventure
滿額折
出版日:2020/07/30 作者:Refe Tuma; Susan Tuma  出版社:Little Brown Books for Young Readers  裝訂:精裝
For the first time in board book, from the parents who brought us the web sensation ''Dinovember'' comes photographic proof of what mischief toy dinosaurs can get up to at school.
優惠價: 79 240
無庫存
Generation Rent ― How Greed Killed the Housing Dream
滿額折
出版日:2020/07/23 作者:Chloe Timperley  出版社:Canbury Pr Ltd  裝訂:平裝
For millions of Britons renting a home privately is the only option. By 2025, more people are expected to rent than own their own homes. Members of today's Generation Rent who have done everything rig
優惠價: 79 434
無庫存
Intercultural Urbanism: City Planning from the Ancient World to the Modern Day
90 折
出版日:2020/07/23 作者:Dean Saitta  出版社:Zed Books  裝訂:精裝
Cities today are paradoxical. They are engines of innovation and opportunity, but they are also plagued by significant income inequality and segregation by ethnicity, race, and class. These inequaliti
優惠價: 9 4725
無庫存
Stand By Me
滿額折
出版日:2020/07/16 作者:Wendell Berry  出版社:Penguin UK  裝訂:平裝
As in thought he passes backward into time, the country becomes quieter, and it seems to grow larger. The sounds of engines become less frequent and farther apart until they cease altogether. On a cl
優惠價: 79 477
無庫存
House of Print : A modern printer's take on design, colour and pattern
滿額折
出版日:2020/07/09 作者:Molly Mahon  出版社:Pavilion Books Ltd  裝訂:精裝
The debut from an exciting and up-and-coming artisan printmaker For self-taught textile designer Molly Mahon, there is something special about block printing that has stood the test of time. From the
優惠價: 79 738
無庫存
Next Generation Technology-Enhanced Assessment:Global Perspectives on Occupational and Workplace Testing
滿額折
出版日:2020/06/18 作者:John C. Scott  出版社:Cambridge Univ Pr  裝訂:平裝
The use of technology for workplace and occupational testing blossomed in the early years of this century. This book offers a demonstration that the first generation of these technologies have now been implemented long enough to observe the patterns and issues that emerge when these approaches evolve through technical advancement and successive application. A new set of issues and opportunities has emerged and the next generation of these applications is now coming of age. This book reflects on the last few decades of this evolutionary process from a vantage point of global experience across a wide range of workplace applications, including employment selection, development, and occupational certification. The themes and issues that arise as this broad treatment unfolds provide an essential foundation for students, researchers, and professionals who are involved with the assessment of human capability and potential in organizational and workplace contexts
優惠價: 9 1637
無庫存
Voices of the Windrush Generation
滿額折
出版日:2020/06/11 作者:David Matthews  出版社:Templar  裝訂:平裝
Evocative, authentic and brilliantly told - a wonderful read.' David LammyForeword by West Indies Cricketer Sir Clive LloydVoices of the Windrush Generation is a powerful collection of stories from th
優惠價: 79 434
無庫存
Who Ghost There? (The Loud House: Chapter Book)
滿額折
出版日:2020/06/02 作者:Karla Sakas Shropshire  出版社:Scholastic  裝訂:平裝
An original story based on the popular Nickelodeon animated show The Loud House!Is Lincoln's house haunted?Lincoln and his best friend Clyde want to capture proof of paranormal activity in the Loud ho
優惠價: 79 210
無庫存
China's New Youth ― How the Young Generation Is Shaping China's Future
90 折
出版日:2020/06/02 作者:Alec Ash; Karoline Kan (FRW)  出版社:Arcade Pub  裝訂:平裝
“Paints a telling portrait of this most restless generation raised in a system that has provided them with unprecedented personal opportunities while denying them political ones. . . . A gifted observ
優惠價: 9 917
無庫存
War and Peace ― Fdr's Final Odyssey: D-day to Yalta, 1943–1945
滿額折
出版日:2020/05/12 作者:Nigel Hamilton  出版社:Mariner Books  裝訂:平裝
The stirring climax to Nigel Hamilton’s three-part saga of FDR at war―proof that he was the Second World War’s key strategist, even on his deathbed“A first-class, lens-changing work.” ―James N. Mattis
優惠價: 79 600
無庫存
Industrial-Strength Denial:Eight Stories of Corporations Defending the Indefensible, from the Slave Trade to Climate Change
90 折
出版日:2020/05/01 作者:Barbara Freese  出版社:Univ of California Pr  裝訂:精裝
Corporations faced with proof that they are hurting people or the planet have a long history of denying evidence, blaming victims, complaining of witch hunts, attacking their critics' motives, and oth
優惠價: 9 1024
無庫存
Rivers of Power
滿額折
出版日:2020/04/21 作者:Laurence C. Smith  出版社:Allen Lane UK  裝訂:精裝
A sweeping natural history of rivers as engines of civilization'As fascinating as it is beautifully written' JARED DIAMOND, Pulitzer Prize-winning author of Guns, Germs and SteelRivers have opened fro
優惠價: 79 869
無庫存
Natural Language Processing Using Python
滿額折
出版日:2020/04/21 作者:Yuli Vasiliev  出版社:No Starch Pr  裝訂:平裝
An introduction to natural language processing with Python using spaCy, a leading Python natural language processing library.Natural Language Processing with Python and spaCy will show you how to crea
優惠價: 79 1199
無庫存
No Roses for Harry!
滿額折
出版日:2020/04/07 作者:Gene Zion; Margaret Bloy Graham (ILT)  出版社:HarperCollins US  裝訂:硬頁書
A classic picture book featuring the beloved Harry the Dirty Dog--now available in board book!Harry is the not-too-happy recipient of a handmade sweater, and what makes matters worse is that it's a sweater with a pattern of roses. Harry does everything he can think of to get rid of that sweater. But when it seems like he'll never lose the sweater, an unexpected visitor helps him solve his problem...This is an irresistible story featuring a classic picture book character, especially perfect for young dog lovers and fans of Harry the Dirty Dog. Harry the Dirty Dog has been recognized by the National Education Association as an all-time top-100 children's book. It has also been welcomed by a new generation at home, as Betty White's 2020 reading of the story on StorylineOnline has been viewed more than 8 million times.For more fun with Harry the Dirty Dog, don't miss Harry by the Sea and Harry and the Lady Next Door. As Children's Books and Their Creators said about all three books: There
優惠價: 79 240
無庫存
Trustworthy Online Controlled Experiments ― A Practical Guide to A/B Testing
90 折
出版日:2020/03/31 作者:Ron Kohavi  出版社:Cambridge Univ Pr  裝訂:平裝
Getting numbers is easy; getting numbers you can trust is hard. This practical guide by experimentation leaders at Google, LinkedIn, and Microsoft will teach you how to accelerate innovation using trustworthy online controlled experiments, or A/B tests. Based on practical experiences at companies that each run more than 20,000 controlled experiments a year, the authors share examples, pitfalls, and advice for students and industry professionals getting started with experiments, plus deeper dives into advanced topics for practitioners who want to improve the way they make data-driven decisions. Learn how to • Use the scientific method to evaluate hypotheses using controlled experiments • Define key metrics and ideally an Overall Evaluation Criterion • Test for trustworthiness of the results and alert experimenters to violated assumptions • Build a scalable platform that lowers the marginal cost of experiments close to zero • Avoid pitfalls like carryover effects and Twyman's law • Unde
優惠價: 9 1673
無庫存
Geometry of Quantum States:An Introduction to Quantum Entanglement
滿額折
出版日:2020/03/26 作者:Ingemar Bengtsson  出版社:Cambridge Univ Pr  裝訂:平裝
Quantum information theory is a branch of science at the frontier of physics, mathematics, and information science, and offers a variety of solutions that are impossible using classical theory. This book provides a detailed introduction to the key concepts used in processing quantum information and reveals that quantum mechanics is a generalisation of classical probability theory. The second edition contains new sections and entirely new chapters: the hot topic of multipartite entanglement; in-depth discussion of the discrete structures in finite dimensional Hilbert space, including unitary operator bases, mutually unbiased bases, symmetric informationally complete generalized measurements, discrete Wigner function, and unitary designs; the Gleason and Kochen–Specker theorems; the proof of the Lieb conjecture; the measure concentration phenomenon; and the Hastings' non-additivity theorem. This richly-illustrated book will be useful to a broad audience of graduates and researchers inter
優惠價: 9 2749
無庫存
AP Biology Premium: with 5 Practice Tests
79 折
出版日:2020/03/05 作者:Deborah T. Goldberg M.S.  出版社:Barrons Educational Series Inc  裝訂:平裝
Barron's AP Biology is one of the most popular test preparation guides around and a "must-have" manual for success on the Biology AP Test. In this updated book, test takers will find:Two full-length e
優惠價: 79 901
無庫存
Yellow Bird Sings
滿額折
出版日:2020/03/03 作者:Jennifer Rosner  出版社:Tor Books  裝訂:平裝
"Rosner's exquisite, heart-rending debut novel is proof that there's always going to be room for another story about World War II....This is an absolutely beautiful and necessary novel, full of heartb
優惠價: 79 510
無庫存
Plausible Crime Stories:The Legal History of Sexual Offences in Mandate Palestine
90 折
出版日:2020/02/27 作者:Orna Alyagon Darr  出版社:Cambridge Univ Pr  裝訂:平裝
Plausible Crime Stories is not only the first in-depth study of the history of sex offences in Mandate Palestine but it also pioneers an approach to the historical study of criminal law and proof that focuses on plausibility. Doctrinal rules of evidence only partially explain which crime stories make sense while others fail to convince. Since plausibility is predicated on commonly held systems of belief, it not only provides a key to the meanings individual social players ascribe to the law but also yields insight into communal perceptions of the legal system, self-identity, the essence of normality and deviance and notions of gender, morality, nationality, ethnicity, age, religion and other cultural institutions. Using archival materials, including documents relating to 147 criminal court cases, this socio-legal study of plausibility opens a window onto a broad societal view of past beliefs, dispositions, mentalities, tensions, emotions, boundaries and hierarchies.
優惠價: 9 1673
無庫存
The College Stress Test : Tracking Institutional Futures across a Crowded Market
90 折
出版日:2020/02/25 作者:Robert Zemsky; Susan Shaman; Susan Campbell Baldridge  出版社:Johns Hopkins Univ Pr  裝訂:精裝
In The College Stress Test, Robert Zemsky, Susan Shaman, and Susan Campbell Baldridge present readers with a full, frank, and informed discussion about college and university closures. Drawing on the
優惠價: 9 2192
無庫存
Do You Dream of Terra-Two?
滿額折
出版日:2020/02/20 作者:Temi Oh  出版社:Simon & Schuster UK  裝訂:平裝
'A major new voice. Read Temi Oh today. Everybody will be reading her tomorrow' Stephen Baxter. author of World Engines 'A brilliant, beautiful debut. Reading it will change your heart' Christian Ki
優惠價: 79 477
無庫存
The Ones We've Been Waiting for ― How a New Generation of Leaders Will Transform America
滿額折
出版日:2020/02/18 作者:Charlotte Alter  出版社:Viking Pr  裝訂:精裝
An optimistic look at the future of American leadership by a brilliant young reporterA new generation is stepping up. There are now twenty-six millennials in Congress—a fivefold increase gained in the
優惠價: 79 811
無庫存
Old Macdonald's Things That Go(硬頁書)
滿額折
出版日:2020/02/06 作者:Jane Clarke; Migy Blanco  出版社:Nosy Crow UK  裝訂:硬頁書
Old Macdonald's farm is full of pigs, cows, sheep, hens and horses, but what he really loves is his COLOSSAL collection of vehicles! From bicycles, tractors and buses, to boats, fire engines and aerop
優惠價: 66 253
無庫存
Tae Kwon Do Test
滿額折
出版日:2020/02/01 作者:Cristina Oxtra; Amanda Erb (ILT)  出版社:Picture Window Books  裝訂:平裝
Mina has all the skills it takes to pass her upcoming yellow belt test in Tae Kwon Do with flying colors. However, a fellow student's struggle shakes her confidence and tempts her to quit.
優惠價: 79 240
無庫存
Potential Theory and Geometry on Lie Groups
90 折
出版日:2020/01/31 作者:N. Th. Varopoulos  出版社:Cambridge Univ Pr  裝訂:精裝
This book provides a complete and reasonably self-contained account of a new classification of connected Lie groups into two classes. The first part describes the use of tools from potential theory to establish the classification and to show that the analytic and algebraic approaches to the classification are equivalent. Part II covers geometric theory of the same classification and a proof that it is equivalent to the algebraic approach. Part III is a new approach to the geometric classification that requires more advanced geometric technology, namely homotopy, homology and the theory of currents. Using these methods, a more direct, but also more sophisticated, approach to the equivalence of the geometric and algebraic classification is made. Background material is introduced gradually to familiarise readers with ideas from areas such as Lie groups, differential topology and probability, in particular, random walks on groups. Numerous open problems inspire students to explore further.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Aristotle on Matter, Form, and Moving Causes ― The Hylomorphic Theory of Substantial Generation
90 折
出版日:2020/01/31 作者:Devin Henry  出版社:Cambridge Univ Pr  裝訂:精裝
This book examines an important area of Aristotle's philosophy: the generation of substances. While other changes presuppose the existence of a substance (Socrates grows taller), substantial generation results in something genuinely new that did not exist before (Socrates himself). The central argument of this book is that Aristotle defends a 'hylomorphic' model of substantial generation. In its most complete formulation, this model says that substantial generation involves three principles: (1) matter, which is the subject from which the change proceeds; (2) form, which is the end towards which the process advances; and (3) an efficient cause, which directs the process towards that form. By examining the development of this model across Aristotle's works, Devin Henry seeks to deepen our grasp on how the doctrine of hylomorphism - understood as a blueprint for thinking about the world - informs our understanding of the process by which new substances come into being.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Love Factually
滿額折
出版日:2020/01/23 作者:Laura Mucha  出版社:Bloomsbury Pub Plc USA  裝訂:平裝
As featured on Sunday Brunch and Woman's Hour'Laura Mucha has found the proof that love actually is all around.' Richard CurtisPoets, philosophers and artists have been trying to explain romantic love
優惠價: 79 434
無庫存
Aristotle's Generation of Animals:A Critical Guide
滿額折
出版日:2020/01/09 作者:Andrea Falcon  出版社:Cambridge Univ Pr  裝訂:平裝
Generation of Animals is one of Aristotle's most mature, sophisticated, and carefully crafted scientific writings. His overall goal is to provide a comprehensive and systematic account of how animals reproduce, including a study of their reproductive organs, what we would call fertilization, embryogenesis, and organogenesis. In this book, international experts present thirteen original essays providing a philosophically and historically informed introduction to this important work. They shed light on the unity and structure of the Generation of Animals, the main theses that Aristotle defends in the work, and the method of inquiry he adopts. They also open up new avenues of exploration of this difficult and still largely unexplored work. The volume will be essential for scholars and students of ancient philosophy as well as of the history and philosophy of science.
優惠價: 9 1520
無庫存
Conformal Blocks, Generalized Theta Functions and the Verlinde Formula
90 折
出版日:2021/12/31 作者:Shrawan Kumar  出版社:Cambridge Univ Pr  裝訂:精裝
In 1988, E. Verlinde gave a remarkable conjectural formula for the dimension of conformal blocks over a smooth curve in terms of representations of affine Lie algebras. Verlinde's formula arose from physical considerations, but it attracted further attention from mathematicians when it was realized that the space of conformal blocks admits an interpretation as the space of generalized theta functions. A proof followed through the work of many mathematicians in the 1990s. This book gives an authoritative treatment of all aspects of this theory. It presents a complete proof of the Verlinde formula and full details of the connection with generalized theta functions, including the construction of the relevant moduli spaces and stacks of G-bundles. Featuring numerous exercises of varying difficulty, guides to the wider literature and short appendices on essential concepts, it will be of interest to senior graduate students and researchers in geometry, representation theory and theoretical p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Captain Code: Unleash Your Coding Superpower with Python
滿額折
出版日:2021/12/25 作者:Ben Forta  出版社:ADDISON WESLEY PUB CO INC  裝訂:平裝
Out of all the ways for young people to learn coding, You Can Code will be the most welcoming, relevant, and fun. Created and authored by best-selling educator Ben Forta, it introduces every basic concept step by step, using projects of gradually increasing complexity. Designed for anyone age 10-17 (or thereabouts), this glossy full-color guide is packed with welcoming images, and powerfully engaging brief text that's extremely easy to understand. All code listings are in full color, with shading to reveal incremental changes, and QR links to short videos with more explanation and examples. Forta teaches with Python, one of today's most powerful and intuitive languages--and every project is a game, covering multiple popular genres. You Can Code makes programming exciting and rewarding, as it prepares a new generation to take their next steps forward--in education, careers, or both.
優惠價: 1 1125
無庫存
Paper Peek: Alphabet
滿額折
出版日:2021/12/14 作者:Chihiro Takeuchi  出版社:Candlewick Studio  裝訂:硬頁書
Learning the alphabet is a lot more fun with clever die-cuts and kaleidoscopic artwork.Peek through an ant-shaped opening to see an intricate pattern made of colorful objects, animals, and graphic sha
優惠價: 79 450
無庫存
Cardboard Creations for Kids: 50 Fun and Inventive Crafts Using Recycled Materials
滿額折
出版日:2021/11/16 作者:Kathryn Ho  出版社:Page Street Pub Co  裝訂:平裝
Parents and caregivers everywhere can make easy cardboard projects using recycled materials that will provide hours of eco-friendly fun for children.At last, a genius way for families to put all that
優惠價: 79 720
無庫存
Blackstone's Police Investigators' Q&A 2022
滿額折
Designed to test trainee investigators studying for the National Investigators' Examination (NIE), this book presents over 200 multiple-choice questions, following the same style as the exam questions
優惠價: 95 1675
無庫存
The Eight Paradoxes of Great Leadership ITPE: Embracing the Conflicting Demands of Today's Workplace
滿額折
出版日:2021/11/02 作者:Time Elmore  出版社:Harpercollins Leadership  裝訂:平裝
Become a next generation leader—rich in emotional and social intelligence and orchestrating outstanding collaborative results—by mastering these eight status quo-shattering paradoxes.The Eight Paradox
優惠價: 79 600
無庫存
Sentence Comprehension as a Cognitive Process:A Computational Approach
90 折
出版日:2021/10/31 作者:Shravan Vasishth  出版社:Cambridge Univ Pr  裝訂:精裝
Sentence comprehension - the way we process and understand spoken and written language - is a central and important area of research within psycholinguistics. This book explores the contribution of computational linguistics to the field, showing how computational models of sentence processing can help scientists in their investigation of human cognitive processes. It presents the leading computational model of retrieval processes in sentence processing, the Lewis and Vasishth cue-based retrieval mode, and develops a principled methodology for parameter estimation and model comparison/evaluation using benchmark data, to enable researchers to test their own models of retrieval against the present model. It also provides readers with an overview of the last 20 years of research on the topic of retrieval processes in sentence comprehension, along with source code that allows researchers to extend the model and carry out new research. Comprehensive in its scope, this book is essential readi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Knitting for Radical Self-Care: A Modern Guide
滿額折
出版日:2021/10/26 作者:Brandi Cheyenne Harper  出版社:Harry N Abrams Inc  裝訂:精裝
From knitting expert Brandi Harper, a must-have pattern book for modern knitters, with essays on self-care and sourcing creativityThere is no such thing as being kind-of a knitter―the wobbly scarves a
優惠價: 79 751
無庫存
The Complete Mediterranean Cookbook Gift Edition: 500 Vibrant, Kitchen-Tested Recipes for Living and Eating Well Every Day
滿額折
出版日:2021/10/12 作者:America's Test Kitchen  出版社:Americas Test Kitchen  裝訂:精裝
The #1 Mediterranean Cookbook, with more than 375,000 copies sold, is now available in a beautiful special-edition hardcover. Give the gift of vibrant, good-for-you recipes in this bestseller from America's Test Kitchen, featured on NBC's Today Show and USA Today.Bring the Mediterranean--from Italy and Greece, to Morocco and Egypt, to Turkey and Lebanon--into your kitchen with more than 500 fresh, flavorful recipes. This comprehensive cookbook brings the famously healthy Mediterranean diet to home cooks with a wide range of classic and inspired recipes, many fast enough to be made on a weeknight, using powerhouse Mediterranean ingredients available at your local supermarket. The structure of the book follows the guidelines of the Mediterranean Diet Pyramid. You'll find large chapters devoted to Beans and to Vegetables, the Seafood Chapter is larger than Poultry and Meat, and the Fruits and Sweets chapter, while shorter, is packed with recipes you can truly feel good eating. Recipes inc
優惠價: 79 1201
無庫存
Saving Sorya: Chang and the Sun Bear
滿額折
出版日:2021/09/30 作者:Trang; Nguyen Thi Thu  出版社:Macmillan Children's Books UK  裝訂:精裝
Born Free for a new generation
優惠價: 79 651
無庫存
Essentials of Software Testing
滿額折
出版日:2021/08/31 作者:Ralf Bierig  出版社:Cambridge Univ Pr  裝訂:精裝
Software testing can be regarded as an art, a craft, and a science. The practical, step-by-step approach presented in this book provides a bridge between these different viewpoints. A single worked example runs throughout, with consistent use of test automation. Each testing technique is introduced in the context of this example, helping students see its strengths and weaknesses. The technique is then explained in more detail, providing a deeper understanding of underlying principles. Finally the limitations of each technique are demonstrated by inserting faults, giving learners concrete examples of when each technique succeeds or fails in finding faults. Coverage includes black-box testing, white-box testing, random testing, unit testing, object-oriented testing, and application testing. The authors also emphasise the process of applying the techniques, covering the steps of analysis, test design, test implementation, and interpretation of results. The book's web site has programming
優惠價: 9 2632
無庫存
Measurement Burst Designs to Improve Precision in Peer Research
滿額折
出版日:2021/08/31 作者:Ryan J. Persram  出版社:Cambridge Univ Pr  裝訂:平裝
Measurement burst designs, in which assessments of a set of constructs are made at two or more times in quick succession (e.g., within days), can be used as a novel method to improve the stability of basic measures typically used in longitudinal peer research. In this Element, we hypothesized that the stabilities for adolescent-reported peer acceptance, anxiety, and self-concept would be stronger when using the measurement burst approach versus the single time observation. Participants included youth between 10 and 13 years old who completed (a) sociometric assessments of acceptance, and measures of (b) social and test anxiety, and (c) self-concept across three times with two assessments made at each burst. Findings broadly showed that the stabilities were significantly stronger with the measurement burst when compared to the single time assessment, supporting our main hypothesis. We discuss the utility of the measurement burst in a broader context and considerations for researchers.
優惠價: 9 995
無庫存
  • 8550
    214
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 214

暢銷榜

客服中心

收藏

會員專區