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

Test Pattern Generation Using Boolean Proof Engines

8550
7 / 214
Fueling Mexico
90 折
出版日:2021/07/31 作者:Germán Vergara  出版社:Cambridge Univ Pr  裝訂:精裝
Around the 1830s, parts of Mexico began industrializing using water and wood. By the 1880s, this model faced a growing energy and ecological bottleneck. By the 1950s, fossil fuels powered most of Mexico's economy and society. Looking to the north and across the Atlantic, late nineteenth-century officials and elites concluded that fossil fuels would solve Mexico's energy problem and Mexican industry began introducing coal. But limited domestic deposits and high costs meant that coal never became king in Mexico. Oil instead became the favored fuel for manufacture, transport, and electricity generation. This shift, however, created a paradox of perennial scarcity amidst energy abundance: every new influx of fossil energy led to increased demand. Germán Vergara shows how the decision to power the country's economy with fossil fuels locked Mexico in a cycle of endless, fossil-fueled growth - with serious environmental and social consequences.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Wittgenstein's Philosophy of Mathematics
90 折
出版日:2021/07/31 作者:Juliet Floyd  出版社:Cambridge Univ Pr  裝訂:平裝
For Wittgenstein mathematics is a human activity characterizing ways of seeing conceptual possibilities and empirical situations, proof and logical methods central to its progress. Sentences exhibit differing 'aspects', or dimensions of meaning, projecting mathematical 'realities'. Mathematics is an activity of constructing standpoints on equalities and differences of these. Wittgenstein's Later Philosophy of Mathematics (1934–1951) grew from his Early (1912–1921) and Middle (1929–33) philosophies, a dialectical path reconstructed here partly as a response to the limitative results of Gödel and Turing.
優惠價: 9 972
無庫存
Animal Crosswords
滿額折
出版日:2021/07/08 作者:Phillip Clarke  出版社:Usborne UK  裝訂:平裝
Test your knowledge with over 100 animal-themed crossword puzzles, covering everything from sea creatures and fictional animals to birds, pets and insects. The crosswords get gradually harder througho
優惠價: 66 253
無庫存
Artificial Intelligence for Future Generation Robotics
90 折
Artificial Intelligence for Future Generation Robotics offers a vision for potential future robotics applications for AI technologies. Each chapter includes theory and mathematics to stimulate novel research directions based on the state-of-the-art in AI and smart robotics. Organized by application into ten chapters, this book offers a practical tool for researchers and engineers looking for new avenues and use-cases that combine AI with smart robotics.As we witness exponential growth in automation and the rapid advancement of underpinning technologies, such as ubiquitous computing, sensing, intelligent data processing, mobile computing and context aware applications, this book is an ideal resource for future innovation.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Chairman Mao's Children: Generation and the Politics of Memory in China
90 折
出版日:2021/06/30 作者:Bin Xu  出版社:Cambridge Univ Pr  裝訂:精裝
In the 1960s and 1970s, around 17 million Chinese youths were mobilized or forced by the state to migrate to rural villages and China's frontiers. Bin Xu tells the story of how this 'sent-down' generation have come to terms with their difficult past. Exploring representations of memory including personal life stories, literature, museum exhibits, and acts of commemoration, he argues that these representations are defined by a struggle to reconcile worthiness with the political upheavals of the Mao years. These memories, however, are used by the state to construct an official narrative that weaves this generation's experiences into an upbeat story of the 'China dream'. This marginalizes those still suffering and obscures voices of self-reflection on their moral-political responsibility for their actions. Xu provides careful analysis of this generation of 'Chairman Mao's children', caught between the political and the personal, past and present, nostalgia and regret, and pride and trauma
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Xenocide: Volume Three of the Ender Quintet
滿額折
出版日:2021/06/29 作者:Orson Scott Card  出版社:Tor Books  裝訂:平裝
From the Ender Universe, Orson Scott Card's Xenocide is now repackaged for a new generation of readers...
優惠價: 79 241
無庫存
Clark's Essential Physics in Imaging for Radiographers
90 折
The second edition of this easy-to-understand pocket guide remains an invaluable tool for students, assistant practitioners and radiographers. Providing an accessible introduction to the subject in a reader-friendly format, it includes diagrams and photographs to support the text. Each chapter provides clear learning objectives and a series of MCQs to test reader assimilation of the material.The book opens with overviews of image production, basic mathematics and imaging physics, followed by detailed chapters on the physics relevant to producing diagnostic images using X-rays and digital technologies. The content has been updated throughout and includes a new chapter on CT imaging and additional material on radioactivity, dosimetry, and imaging display and manipulation. Clark's Essential Physics in Imaging for Radiographers supports students in demonstrating an understanding of the fundamental definitions of physics applied to radiography ...all you need to know to pass your exams!
優惠價: 9 1754
無庫存
The Montessori Method: My First Book of Farm Animals
滿額折
出版日:2021/06/08 作者:Rodale  出版社:Rodale Pr  裝訂:硬頁書
Learn about concepts the Montessori way with this line of board books following the world-leading educational approach, THE MONTESSORI METHOD Montessori education values the development of the whole child--physically, socially, emotionally, and cognitively. These books tap into the Montessori Method at home, allowing children to discover and engage with concepts in a holistic way that promotes a drive for knowledge and self-motivation. In FARM ANIMALS, children are invited to play hide-and-seek with baby animals on the farm, using features like ears or feathers to identify the hiding animals. Infused with humor and concepts that both engage and challenge children, this book is sure to inspire a generation of animal lovers Learn more with THE MONTESSORI METHOD: MY FIRST BOOK OF FEELINGS, MY FIRST BOOK OF NUMBERS, and MY FIRST BOOK OF SHAPES.
優惠價: 79 241
無庫存
SAT Prep Plus 2022: 5 Practice Tests + Proven Strategies + Online + Video
滿額折
出版日:2021/06/01 作者:Kaplan Test Prep  出版社:Simon & Schuster  裝訂:平裝
Kaplan's SAT Prep Plus 2022 prepares you for test day with expert strategies, clear explanations, and realistic practice, including a 250-question online Qbank. This comprehensive prep resource featur
優惠價: 79 1141
無庫存
Archetypal Tarot: What Your Birth Card Reveals about Your Personality, Your Path, and Your Potential
滿額折
出版日:2021/06/01 作者:Mary K. K. Greer  出版社:WEISER BOOKS  裝訂:平裝
"A fantastic book that gives deep insights into your personality, life, and journey based on your birth card." --Theresa ReedThe tarot cards associated with your birth date and name form a pattern of
優惠價: 1 872
無庫存
Testing Character Evolution Models in Phylogenetic Paleobiology:A case study with Cambrian echinoderms
90 折
出版日:2021/05/31 作者:April Wright  出版社:Cambridge Univ Pr  裝訂:平裝
Macroevolutionary inference has historically been treated as a two-step process, involving the inference of a tree, and then inference of a macroevolutionary model using that tree. Newer models blend the two steps. These methods make more complete use of fossils than the previous generation of Bayesian phylogenetic models. They also involve many more parameters than prior models, including parameters about which empiricists may have little intuition. In this Element, we set forth a framework for fitting complex, hierarchical models. The authors ultimately fit and use a joint tree and diversification model to estimate a dated phylogeny of the Cincta (Echinodermata), a morphologically distinct group of Cambrian echinoderms that lack the fivefold radial symmetry characteristic of extant members of the phylum. Although the phylogeny of cinctans remains poorly supported in places, this Element shows how models of character change and diversification contribute to understanding patterns of p
優惠價: 9 995
無庫存
The Dancing Girls
滿額折
出版日:2021/05/11 作者:M.M. Chouinard  出版社:Grand Central Pub  裝訂:平裝
When victims are found in dancing poses, Detective Jo Fournier immediately sees the pattern, but how can a serial killer get to victims all over the country?When loving wife Jeanine Hammond is found d
優惠價: 79 391
無庫存
GRE Complete 2022: 3-Book Set: 6 Practice Tests + Proven Strategies + Online
79 折
出版日:2021/05/04 作者:Kaplan Test Prep  出版社:Kaplan  裝訂:平裝
Kaplan's GRE Complete 2022 is your comprehensive guide to acing the GRE. Get an advantage on test day with our three best-selling prep books, one-year access to online practice, and expert test-taking
優惠價: 79 2552
無庫存
Listening Still
滿額折
出版日:2021/04/29 作者:Anne Griffin  出版社:Sceptre  裝訂:平裝
Jeanie Masterson has a gift: she can hear the last words of the dead. Passed down from generation to generation, this gift means she is able to make wrongs right, to give voice to unspoken love and
優惠價: 79 421
無庫存
Masters of Disguise: Camouflaging Creatures & Magnificent Mimics
滿額折
出版日:2021/04/06 作者:Marc Martin  出版社:Candlewick Studio  裝訂:精裝
In a seek-and-find extravaganza, stylish illustrations and a brisk text unmask twelve of the most elusive creatures on earth.Now you see them, now you don’t. Cloaked in a riot of color, pattern, and t
優惠價: 79 571
無庫存
出版日:2021/03/30 作者:John V. Guttag  出版社:Mit Pr  裝訂:平裝
The new edition of an introduction to the art of computational problem solving using Python.This book introduces students with little or no prior programming experience to the art of computational pro
優惠價: 1 1360
無庫存
500 Patterns
滿額折
出版日:2021/03/18 作者:Jeffrey Mayer; Todd Conover and Lauren Tagliaferro  出版社:Laurence King Pub  裝訂:平裝
Delicate florals, bold stripes, geometric prints and sumptuous brocades – delve into the world of textile pattern design with this showcase of over 500 patterns. Close-up, highly detailed images of bo
優惠價: 79 1087
無庫存
咬咬書 Indestructibles 3 - Baby, Let's Count/Let's Eat/Big and Little/See the Colors! (共4本)(低幼認知)
滿額折
出版日:2021/03/08 作者:Ekaterina Trukhan (ILT); Amy Pixton (CRT)  出版社:Workman Pub Co  裝訂:平裝
※請注意,為避免書本、線褪色,請勿使用洗滌劑 (如洗衣精、柔軟精等) 以及熱水洗滌※A brand-new Indestructible book explores the seasons in a rip-proof, chew-proof, nontoxic format that's perfect for babies.9781523506224 Baby, Let's Count! (咬咬書)Count with farm animals in a book that’s indestructible.Find the numbers and say the rhyme—all the way up way up to ten! Count the animals—one, two, three! See how many ponies neigh and how many puppies play!9781523502073 Baby, Let's Eat! (咬咬書)Explore a rainbow of delicious foods in a book that’s indestructible!What green vegetable looks like a tree? Broccoli!Can you find a fruit that’s small and yellow? Lemon!Can you pick out two berries so red and sweet? Raspberry and strawberry!9781523506231 Baby, See the Colors! (咬咬書)The sky is blue—and so are blueberries! Tomatoes are red, just like ladybugs and stop signs! Flowers and giraffes are yellow—school buses, too!See all the colors in a book that’s indestructible!
優惠價: 79 721
無庫存
Part 1 MRCOG Synoptic Revision Guide
90 折
出版日:2021/02/28 作者:Asma Khalil  出版社:Cambridge Univ Pr  裝訂:平裝
Confidently tackle the MRCOG Part 1 exam with this comprehensively updated revision guide, reflecting the latest changes to the curriculum and question format. Edited by experienced examiners and written by course lecturers, the full syllabus is summarised using their extensive knowledge of the exam. Topics covered include the anatomy of the pelvic area, data interpretation in gynaecology and obstetrics, and the pathology of neoplastic and non-neoplastic diseases amongst others. Collections of single best answer (SBA) questions for several topics provide an invaluable opportunity for readers to test their retention of knowledge and practice for the exam. Bullet point formatting is used, enabling readers to absorb key information quickly. Over 200 illustrations aid understanding and engage the reader in the material being discussed, leading to a deeper appreciation of the topic. This is an indispensable revision guide for all MRCOG Part 1 candidates.
優惠價: 9 2047
無庫存
The Method of Hypothesis and the Nature of Soul in Plato's Phaedo
滿額折
出版日:2021/02/28 作者:John Palmer  出版社:Cambridge Univ Pr  裝訂:平裝
This study of Plato's Phaedo promotes better understanding of its arguments for the soul's immortality by showing how Plato intended them, not as proofs, but as properly dialectical arguments functioning in accordance with the method of hypothesis. Unlike the argument for the soul's immortality in the Phaedrus, which does seem intended as a proof, the Phaedo arguments are proceeding toward the first principles that could serve as the basis for a proof - the most important being an account of the soul's own essential nature. This study attends to the substantial progress the Phaedo makes toward such an account. It also considers Socrates' epistemic situation in the dialogue and the problem of whether his confidence in the face of death is misplaced if his arguments have not been proofs before considering how the concluding myth draws together several of the dialogue's main themes.
優惠價: 9 995
無庫存
The Making of Samuel Beckett's Company/ Compagnie
90 折
出版日:2021/02/25 作者:Georgina Nugent-Folan  出版社:Bloomsbury Academic UK  裝訂:精裝
Company was first composed in English over two years, with Beckett breaking a 20-year-long pattern of composing primarily in French to craft this meticulously structured 59-paragraph masterpiece of hi
優惠價: 9 4617
無庫存
Memory Games
滿額折
出版日:2021/02/04 作者:Phillip Clarke  出版社:Usborne UK  裝訂:平裝
Put your memory to the test with these fun puzzles and games.
優惠價: 66 254
無庫存
General Knowledge Crosswords
滿額折
出版日:2021/02/04 作者:Phillip Clarke  出版社:Usborne UK  裝訂:平裝
Put children’s general knowledge and word power to the test with this pocket-sized paperback, containing over 100 crosswords. The crosswords start simple and gradually get harder throughout the book,
優惠價: 66 253
無庫存
Microwave Engineering, Fourth Edition International Adaptation
滿額折
出版日:2021/02/01 作者:Pozar  出版社:John Wiley & Sons Inc  裝訂:平裝
●Thorough analysis and development based on fundamental principles. Students develop understanding of core concepts and learn that the operation of microwave circuits and devices can be explained through the use of circuit theory, Maxwell's equations, and related fundamentals. See Wilkinson divider operation derived from basic circuit and transmission line theory.●Many examples cover both theory and design. Student can see how typical problems are solved, how practical designs are carried out, and how component designs perform. The availability of realistic and thorough examples reinforces subject matter. See Example 7.7 that involves the design of a coupled line coupler on a lossy substrate. The design procedure is illustrated, and the response of the coupler is obtained using a CAD package.●Many problems cover both theory and design. Problems test the student's understanding of the material and offer the opportunity for in-depth design and analysis of practical components. Problems o
優惠價: 9 2394
無庫存
From Media Systems to Media Cultures:Understanding Socialist Television
90 折
出版日:2021/01/21 作者:Sabina Mihelj  出版社:Cambridge Univ Pr  裝訂:平裝
In From Media Systems to Media Cultures: Understanding Socialist Television, Sabina Mihelj and Simon Huxtable delve into the fascinating world of television under communism, using it to test a new framework for comparative media analysis. To understand the societal consequences of mass communication, the authors argue that we need to move beyond the analysis of media systems, and instead focus on the role of the media in shaping cultural ideals and narratives, everyday practices and routines. Drawing on a wealth of original data derived from archival sources, programme and schedule analysis, and oral history interviews, the authors show how communist authorities managed to harness the power of television to shape new habits and rituals, yet failed to inspire a deeper belief in communist ideals. This book and their analysis contains important implications for the understanding of mass communication in non-democratic settings, and provides tools for the analysis of media cultures globall
優惠價: 9 1997
無庫存
Transhumanism:From Ancestors to Avatars
90 折
出版日:2020/12/31 作者:Jennifer Huberman  出版社:Cambridge Univ Pr  裝訂:平裝
Transhumanists argue that science and technology will enable us to overcome our biological limitations, both mental and physical, and create a radically enhanced posthuman species and society. In this book, Jenny Huberman examines the values and visions animating the Transhumanist Movement in the United States today, whilst at the same time using the study of transhumanism as a way to introduce a new generation of students to the discipline of cultural anthropology. She explores transhumanist conceptions of revitalization, immortality, the good life, the self, the body, kinship and economy, and compares them to the belief systems of human beings living in other times and places. Providing lively ethnographic insights into a fascinating contemporary socio-cultural movement, this book will be invaluable to students and researchers in anthropology, as well as anyone interested in the phenomenon of transhumanism.
優惠價: 9 1673
無庫存
Princeton Review Gre Psychology Prep ― 3 Practice Tests + Review & Techniques + Content Review
滿額折
出版日:2020/12/29 作者:Princeton Review (COR)  出版社:Princeton Review  裝訂:平裝
IF IT’S ON THE TEST, IT’S IN THIS BOOK. Ace the GRE Psychology Subject Test with this comprehensive guide from The Princeton Review, featuring in-depth content reviews, targeted strategies for scoring
優惠價: 79 601
無庫存
MongoDB Fundamentals: A hands-on guide to using MongoDB and Atlas in the real world
90 折
出版日:2020/12/21 作者:Amit Phaltankar  出版社:Packt Pub Ltd  裝訂:平裝
Learn how to deploy and monitor databases in the cloud, manipulate documents, visualize data, and build applications running on MongoDB using Node.jsKey FeaturesLearn the fundamentals of NoSQL databases with MongoDBCreate, manage, and optimize a MongoDB database in the cloud using AtlasUse a real-world dataset to gain practical experience of handling big dataBook DescriptionMongoDB is one of the most popular database technologies for handling large collections of data. This book will help MongoDB beginners develop the knowledge and skills to create databases and process data efficiently.Unlike other MongoDB books, MongoDB Fundamentals dives into cloud computing from the very start - showing you how to get started with Atlas in the first chapter. You will discover how to modify existing data, add new data into a database, and handle complex queries by creating aggregation pipelines. As you progress, you'll learn about the MongoDB replication architecture and configure a simple cluster.
優惠價: 9 2267
無庫存
The Metaphysics of Market Power
90 折
出版日:2020/12/17 作者:George Raitt  出版社:Hart Pub Ltd  裝訂:平裝
Australian competition law has just emerged from a significant period of reform which has seen controversial changes to the legal test to distinguish between normal competitive conduct and conduct tha
優惠價: 9 2771
無庫存
Mediocre: The Dangerous Legacy of White Male America
滿額折
出版日:2020/12/01 作者:Ijeoma Oluo  出版社:PBKSEALA  裝訂:精裝
From the author of the New York Times bestseller So You Want to Talk About Race, a subversive history of white male American identity.What happens to a country that tells generation after generation o
優惠價: 79 841
無庫存
Ontological Arguments
90 折
出版日:2020/11/30 作者:Tyron Goldschmidt  出版社:Cambridge Univ Pr  裝訂:平裝
Proving the existence of God is a perennial philosophical ambition. An armchair proof would be the jackpot. Ontological arguments promise as much. This Element studies the most famous ontological arguments from Anselm, Descartes, Plantinga, and others besides. While the verdict is that ontological arguments don't work, they get us entangled in fun philosophical puzzles, from philosophy of religion to philosophy of language, from metaphysics to ethics, and beyond.
優惠價: 9 972
無庫存
Social Chemistry:Decoding the Patterns of Human Connection
滿額折
出版日:2020/11/10 作者:Marissa King  出版社:E P Dutton  裝訂:精裝
Social Chemistry will utterly transform the way you think about “networking.” Understanding your social network pattern is essential to making the most of personal relationships, work life, and even y
優惠價: 79 841
無庫存
Ielts Writing
滿額折
出版日:2020/11/03 作者:Lin Lougheed  出版社:BARRONS EDUCATION SERIES  裝訂:平裝
Discover everything you'll need to know in order to write well for the IELTS test, whether you are planning to take the Academic or the General Training version. IELTS Writing will help test takers learn several essential skills, including:Task Achievement: follow a three-step model to plan, write, and revise your essaysCoherence and Cohesion: practice organizing your writing and connecting ideasLexical Resource: build your vocabulary and use it correctlyGrammatical Range and Accuracy: review rules and practice applying them to your writingEach section leads you step-by-step through the process of writing an essay in response to a particular task. Learn how to apply what you've learned to the types of questions you'll have to respond to on the test and how to complete your responses within the time limits, and more. An Appendix includes a selection of essays written in response to IELTS writing tasks.
優惠價: 79 751
無庫存
Perilous Problems for Puzzle Lovers: Challenge Your Brain with Math, Logic, and More
滿額折
出版日:2020/10/27 作者:Alex Bellos  出版社:Experiment Llc  裝訂:平裝
125 exquisitely agonizing puzzles of every kind (math, logic, word, and more) put readers’ brainpower―and survival instincts―to the test!These 125 exquisitely agonizing brainteasers put readers’ wits―
優惠價: 79 509
無庫存
出版日:2020/10/27 作者:Mohamed Elgendi  出版社:CRC Pr I Llc  裝訂:精裝
This book serves as a current resource for Photoplethysmogram (PPG) signal analysis using MATLAB®. This technology is critical in the evaluation of medical and diagnostic data utilized in mobile devic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Mechanism Design and Analysis Using PTC Creo Mechanism 7.0
90 折
出版日:2020/10/05 作者:Kuang-Hua Chang  出版社:Sdc Pubns  裝訂:平裝
Mechanism Design and Analysis Using PTC Creo Mechanism 7.0 is designed to help you become familiar with Mechanism, a module of the PTC Creo Parametric software family, which supports modeling and anal
優惠價: 9 2633
無庫存
Sew Your Own Bags and Accessories
滿額折
出版日:2020/10/01 作者:Kazuko Taneichi  出版社:Tuva Pub  裝訂:平裝
There are many useful and fun works included, packed with various ideas and tricks. You can sew your own bags or accessories by following easy step-by-step images. You will find a real-size pattern sh
優惠價: 79 651
無庫存
Developing Semantic Web Services
90 折
出版日:2020/09/30 作者:H.Peter Alesso  出版社:A K Peters Ltd UK  裝訂:精裝
With the development of the next generation Web architecture, the Semantic Web, a new generation of markup languages poised to unleash the power, flexibility, and above all logic, of the next generati
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Tenant
滿額折
出版日:2020/09/17 作者:Katrine Engberg  出版社:Hodder & Stoughton UK  裝訂:平裝
When a young woman is discovered brutally murdered in her own apartment, with an intricate pattern of lines carved into her face, Copenhagen police detectives Jeppe Korner and Anette Werner are assign
優惠價: 79 434
無庫存
The Selected Works of Audre Lorde
79 折
出版日:2020/09/08 作者:Audre Lorde  出版社:W W Norton & Co Inc  裝訂:平裝
A definitive selection of Audre Lorde’s "intelligent, fierce, powerful, sensual, provocative, indelible" (Roxane Gay) prose and poetry, for a new generation of readers.Self-described "black, lesbian,
優惠價: 79 509
無庫存
  • 8550
    214
  • 1
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 214

暢銷榜

客服中心

收藏

會員專區