TOP
GOGO開學趣,參考書應有盡有
篩選商品
縮小範圍
商品類型
搜尋結果 /

Higher-Order Components for Grid Programming

515492
1 / 12888
出版日:2009/07/01 作者:Jan Dunnweber; Sergei Gorlatch  出版社:Springer Verlag  裝訂:精裝
A major challenge in grid computing remains the application software development for this new kind of infrastructure. Grid application programmers have to take into account several complicated aspects
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Daily Higher-Order Thinking, Grade 2 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
庫存:1
Daily Higher-Order Thinking, Grade 1 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
庫存:6
Daily Higher-Order Thinking, Grade 3 - Teacher Edition
滿額折
出版日:2018/01/01 作者:Evan Moor  出版社:Evan-Moor Corp  裝訂:平裝
Critical thinking skills are more important than ever in academic and real-world situations. Daily Higher-Order Thinking provides you with daily activities that build and grow students’ problem-solvin
優惠價: 79 690
庫存:2
Programming With Higher-Order Logic
90 折
出版日:2012/06/30 作者:Dale Miller  出版社:Cambridge Univ Pr  裝訂:精裝
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
優惠價: 9 2339
無庫存
Using OpenMP ─ Portable Shared Memory Parallel Programming
79 折
出版日:2007/10/01 作者:Barbara Chapman; Gabriele Jost; Ruud Van der Pas; David J. Kuck  出版社:Mit Pr  裝訂:平裝
A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals.
優惠價: 79 1501
庫存:1
Programming for People with Special Needs ─ A Guide for Museums and Historic Sites
90 折
出版日:2014/07/16 作者:Katie Stringer  出版社:Rowman & Littlefield Intl  裝訂:平裝
Programming for People with Special Needs: A Guide for Museums and Historic Sites will help museums and historic sites become truly inclusive educational sites. The book is unique because it covers ed
優惠價: 9 2430
庫存:1
C++ PROGRAMMING N EASY STEPS 4E
75 折
出版日:2011/07/01 作者:MCGRATH  出版社:Mcgraw-Hill; Inc.  裝訂:平裝
C++ Programming in Easy Steps instructs you how to program in the powerful C++ language, giving complete examples that illustrate each aspect. C++ Programming in Easy Steps begins by explaining how
優惠:Mcgraw-Hill 書展 優惠價: 75 606
庫存:1
Sentences to Paragraphs Grades 2-3 (Building Writing Skills)
滿額折
出版日:2010/07/15 作者:Tracie I. Heskett; Sara Connolly (EDT)  出版社:Teacher Created Resources  裝訂:平裝
Writing is an active process that helps students develop higher order thinking skills. The practical yet fun-filled writing strategies in this series encourage students to expand their thinking proces
優惠價: 9 308
庫存:1
Letters to Words Grades K-1 (Building Writing Skills)
滿額折
出版日:2010/07/01 作者:Kathy Dickinson Crane; Kathleen Law; Heather Douglas (EDT); Mark Mason (ILT)  出版社:Teacher Created Resources  裝訂:平裝
Writing is an active process that helps students develop higher order thinking skills. The practical yet fun-filled writing strategies in this series encourage students to expand their thinking proces
優惠價: 9 308
庫存:1
Sounds to Letters Grade Prek-K (Building Writing Skills)
滿額折
出版日:2010/07/01 作者:Teacher Created Resources  出版社:Teacher Created Resources  裝訂:平裝
Writing is an active process that helps students develop higher order thinking skills. The practical yet fun-filled writing strategies in this series encourage students to expand their thinking proces
優惠價: 9 308
庫存:2
City of the Dead (City Spies #4)(平裝本)
滿額折
出版日:2024/01/09 作者:James Ponti  出版社:Aladdin  裝訂:平裝
In this fourth installment in the New York Times bestselling series from Edgar Award winner James Ponti, the young group of spies go codebreaking in Cairo in another international adventure perfect for fans of Spy School and Mrs. Smith's Spy School for Girls. Codename Kathmandu, better known as Kat, loves logic and order, has a favorite eight-digit number, and can spot a pattern from a mile away. So when a series of cyberattacks hits key locations in London while the spies are testing security for the British Museum, it's clear that Kat's skill for finding reason in what seems like randomness makes her the perfect candidate to lead the job. And while the team follows the deciphered messages to Egypt and the ancient City of the Dead to discover who is behind the attacks and why, Kat soon realizes that there's another layer to the mystery. With more players, more clues, and involving higher levels of British Intelligence than ever before, this mission is one of the most complex that the
優惠:外文國際書展 優惠價: 7 266
庫存:4
Ios 13 Programming Fundamentals With Swift
75 折
出版日:2019/11/09 作者:Matt Neuburg  出版社:Oreilly & Associates Inc  裝訂:平裝
Move into iOS development by getting a firm grasp of its fundamentals, including the Xcode 10 IDE, Cocoa Touch, and the latest version of Apple's acclaimed programming language, Swift 5. With this tho
優惠:外文好書 優惠價: 75 1710
庫存:1
Python for Bioinformatics
75 折
出版日:2017/08/11 作者:Sebastian Bassi  出版社:Chapman & Hall  裝訂:精裝
Programming knowledge is often necessary for finding a solution to a biological problem. Based on the author’s extensive experience, Python for Bioinformatics helps scientists solve their biological p
優惠:Taylor and Francis 書展 優惠價: 75 7875
庫存:1
出版日:2017/07/05 作者:Ronald Dalton Jr.  出版社:G Pub  裝訂:平裝
As years pass by, the "Antichrist Beast System" is slowly "emerging" upon us and around us. But are the true followers of Christ seeing the signs? Sadly, the answer is no. The Bible clearly explains the signs that are to appear on Earth before the Second Coming of the Messiah (Yahusha HaMashiach). In the Book of Matthew, the first thing Christ said to his disciples when they asked for the "sign" of his second coming and the "end of the world" was......"LET NO MAN DECEIVE YOU". In today's world, technology, music, TV programming, religious false doctrines, sexual perversions and convenience seem to be keeping the "Masses" in a state of slumber. This is what Satan wants. For people to be like "Sheeple", easy to capture, easy to "fatten up" and when the time is right, easy to be led to the slaughter. But there is a remnant of the "True Followers" of the Messiah that are waking up. These are the people who seek to endure to the end, worshipping God in "Spirit" and "Truth". But in order for
優惠價: 1 1798
庫存:1
Traditionally Fermented Foods ─ Innovative Recipes and Old-Fashioned Techniques for Sustainable Eating
75 折
出版日:2017/05/09 作者:Shannon Stonger  出版社:Page Street Pub Co  裝訂:平裝
Harnessing traditions from previous generations to preserve food is not only a passion for Shannon Stonger, but a way of life. Shannon left her biochemistry career and moved her family off the grid to
優惠:外文好書 優惠價: 75 684
庫存:1
The Official ScratchJr Book ─ Help Your Kids Learn to Code
66 折
出版日:2015/10/25 作者:Marina Umaschi Bers; Mitchel Resnick  出版社:No Starch Pr  裝訂:平裝
From the creators of Scratch comes ScratchJr, a programming language designed for young children (ages 5-7).The ScratchJr Book is the perfect addition to the free app and makes coding and computer science easy and fun for all ages!In The ScratchJr Book, kids learn by playing with programming blocks and building their own animated collages, interactive stories, and playable games.Thirty step-by-step activities help kids develop computational thinking, problem-solving, and design skills. Each chapter has several smaller activities that build on one other, culminating with a fun, final project. By the end of the book kids and parents will be ready for all sorts of new programming adventures.Each activity includes:step-by-step, easy-to-follow directionsliteracy and math connectiontips for grown ups and teachers creative challenges to explore and grow!
優惠:挖寶專區-原文書 優惠價: 66 500
庫存:1
Sudoku Programming With C
75 折
出版日:2015/04/29 作者:Giulio Zambon  出版社:Springer Verlag  裝訂:平裝
Sudoku Programming with C teaches you how to write computer programs to solve and generate Sudoku puzzles. This is a practical book that will provide you with everything you need to write your own boo
優惠:外文好書 優惠價: 75 1050
庫存:1
Microsoft Xna Game Studio 3.0:Learn Programming Now!
75 折
出版日:2009/06/10 作者:MILES; ROB  出版社:MICROSOFT  裝訂:平裝
This lively, learn-by-doing guide proves that programming doesn't have to be dull. With his trademark conversational style, author Rob Miles teaches you the fundamentals of using Microsoft Visual C# 2
優惠:Mcgraw-Hill 書展 優惠價: 75 798
庫存:1
One...two...three...sassafras! ─ Number Order (Level 1)
滿額折
出版日:2002/09/01 作者:Stuart J. Murphy; John Wallace  出版社:Harpercollins Childrens Books  裝訂:平裝
One䓷o䓨ree䒡ssafras! (LEVEL 1: Number Order) It's the Lumpkin family reunion, and Uncle Howie is ready with his camera. All the cousins have to line up by age for their picture. B
優惠價: 79 270
庫存:1
The Moomins Find a Home: A Pop-Up Adventure (立體書)
46 折
出版日:2025/02/06 作者:Tove Jansson; Macmillan Children's Books; Elena Selena  出版社:Macmillan Children's Books UK  裝訂:立體書
A pop-up book retelling of Tove Jansson's first ever Moomin story, The Moomins and the Great Flood.It began to rain. The waters rose higher and higher until they became a great flood!Moomintroll and Moominmamma are searching for a home to curl up in for the winter. Along the way they are looking for Moominpappa, who has gone missing . . .Join the Moomins on their adventure as you turn the pages and reveal five stunning pop-up scenes. Explore a deep dark forest, play in an enchanted garden and sail on storm-tossed seas. When a great flood devastates the land, hop onto the back of a friendly marabou stork and soar across the skies. Will the Moomin family find Moominpappa and settle into a new home before winter comes?Publishing to celebrate the 80th anniversary of the Moomins, this gorgeous pop-up book is based on Tove Jansson's first ever Moomin story, The Moomins and the Great Flood, and brings the adventure to life in a way never seen before. The perfect gift for Moomin fans old and n
優惠:外文國際書展 優惠價: 46 499
庫存 > 10
Exit from Hegemony ― The Unraveling of the American Global Order
90 折
出版日:2020/04/01 作者:Alexander Cooley; Daniel Nexon  出版社:Oxford Univ Pr  裝訂:精裝
Offers a definitive guide to why the US-led order is fundamentally transformingArgues that American hegemony is ending and identifies four ways in which the nations can lose powerSpecifies the differe
優惠價: 9 1904
庫存:1
Understanding Coding Through Debugging
75 折
出版日:2017/01/01 作者:Patricia Harris  出版社:Powerkids Pr  裝訂:平裝
When computer programming pioneer Admiral Grace Hopper discovered a moth causing problems in a mechanical computer, the term debugging was born. This book explores how fixing programming and hardware
優惠:外文好書 優惠價: 75 555
庫存:1
The Capitalist University ─ The Transformations of Higher Education in the United States, 1945-2016
95 折
出版日:2016/11/15 作者:Henry Heller  出版社:Pluto Press  裝訂:精裝
Higher education news today can more or less be boiled down to one sentence: the university is in crisis. Skyrocketing student debt, decreased public financing, the weakening of tenure, the rise of ad
優惠價: 95 3088
庫存:1
A Mind for Numbers ─ How to Excel at Math and Science--Even If You Flunked Algebra
75 折
出版日:2016/02/16 作者:Barbara Oakley; Grover Gardner (NRT)  出版社:Hachette Audio  裝訂:有聲書
Whether you are a student struggling to fulfill a math or science requirement, or you are embarking on a career change that requires a higher level of math competency, A Mind for Numbers offers the to
優惠:外文好書 優惠價: 75 1140
庫存:1
Happy Hooves: Ta Dah! - Happy Hooves 1
滿額折
出版日:2014/11/29 作者:Anna Bogie; Rebecca Elliott  出版社:Fat Fox Books UK  裝訂:平裝
Donkey has a dream about a trip to the beach. He calls to his friends and they begin their journey to the sea and the sand. But how will they cross the terrifying cattle grid that lays ahead?Happy Hoo
優惠價: 79 347
庫存:1
The Triumph of Emptiness ─ Consumption, Higher Education, and Work Organization
75 折
出版日:2014/10/21 作者:Mats Alvesson  出版社:OUP Academic UK  裝訂:平裝
In this book, Mats Alvesson aims to demystify some popular and upbeat claims about a range of phenomena, including the knowledge society, consumption, branding, higher education, organizational change
優惠:外文好書 優惠價: 75 1079
庫存:1
Beginning 3d Game Development With Unity ― All-in-one, Multi-platform Game Development
90 折
出版日:2014/02/28 作者:Sue Blackman  出版社:Springer-Verlag New York Inc  裝訂:平裝
Beginning 3D Game Development with Unity 4 is perfect for those who would like to come to grips with programming Unity. You may be an artist who has learned 3D tools such as 3ds Max,
優惠價: 9 1828
庫存:1
Diablo ─ The Order
滿額折
出版日:2013/02/26 作者:Nate Kenyon  出版社:Pocket Books  裝訂:平裝
Deckard Cain is the last of the Horadrim, the sole surviving member of a mysterious and legendary order. Assembled by the archangel Tyrael, the Horadrim were charged with the sacred duty of seeking ou
優惠:挖寶專區-原文書 優惠價: 66 250
庫存:1
Tron Uprising the Junior Novel
滿額折
出版日:2012/07/10 作者:Scott Beatty  出版社:Disney Press  裝訂:平裝
When the computer world of The Grid is taken over by an evil tyrant, one young man named Beck must join forces with the legendary hero Tron to free his home city. Under Tron’s tutelage, Beck will take
優惠價: 79 150
庫存:2
The Harmonic Mind: From Neural Computation to Optimality-theoretic Grammar Cognitive Architecture
79 折
出版日:2011/01/21 作者:Paul Smolensky; Geraldine Legendre  出版社:Bradford Books  裝訂:平裝
Despite their apparently divergent accounts of higher cognition, cognitive theories based on neural computation and those employing symbolic computation can in fact strengthen one another. To substantiate this controversial claim, this landmark work develops in depth a cognitive architecture based in neural computation but supporting formally explicit higher-level symbolic descriptions, including new grammar formalisms.Detailed studies in both phonology and syntax provide arguments that these grammatical theories and their neural network realizations enable deeper explanations of early acquisition, processing difficulty, cross-linguistic typology, and the possibility of genomically encoding universal principles of grammar. Foundational questions concerning the explanatory status of symbols for central problems such as the unbounded productivity of higher cognition are also given proper treatment.The work is made accessible to scholars in different fields of cognitive science through tu
優惠價: 79 3318
庫存:1
The Professional Risk Managers' Guide to Financial Markets
75 折
出版日:2007/12/21 作者:Carol Alexander (EDT); Elizabeth Sheedy (EDT)  出版社:Mcgraw-Hill; Inc.  裝訂:精裝
In order for risk managers to succeed in today's complex financial landscape, they need a solid understanding of the world's major financial markets, the roles these markets play in the international
優惠:Mcgraw-Hill 書展 優惠價: 75 2493
庫存:1
Why Higher Education Should Have a Leftist Bias
90 折
出版日:2013/12/11 作者:Donald Lazere  出版社:Palgrave Macmillan  裝訂:精裝
"Presenting a thoughtful justification for the academic left in American higher education, Donald Lazere argues that in order to teach students rhetoric and critical thinking, key components of a huma
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Clausal Theory of Types
90 折
出版日:2009/07/30 作者:D. A. Wolfram  出版社:Cambridge Univ Pr  裝訂:平裝
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest
優惠價: 9 1520
無庫存
出版日:2005/03/14 作者:Mark Jason Dominus  出版社:Morgan Kaufmann Pub  裝訂:平裝
"Higher-Order Perl is the most exciting, most clearly-written, most comprehensive, and most forward-looking programming book I've read in at least ten years. It's your map to the future of programmin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Clausal Theory of Types
90 折
出版日:1993/04/22 作者:D. A. Wolfram  出版社:Cambridge Univ Pr  裝訂:精裝
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest
優惠價: 9 3393
無庫存
The Thinking Machine: Jensen Huang, Nvidia, and the World's Most Coveted Microchip
滿額折
出版日:2025/04/08 作者:Stephen Witt  出版社:Viking Pr  裝訂:平裝
The riveting investigative account of Nvidia, the tech company that has exploded in value for its artificial intelligence computing hardware, and Jensen Huang, Nvidia’s charismatic, uncompromising CEO In March 2024, following the revelation that ChatGPT had trained on Nvidia’s microchips, and twenty-one years after its founding in a Denny’s restaurant, Nvidia became the third most-valuable corporation on Earth. In The Thinking Machine, acclaimed journalist Stephen Witt recounts the unlikely story of how a manufacturer of video game components shocked Silicon Valley by establishing a monopoly on AI hardware, and in the process re-invented the computer. Essential to Nvidia’s meteoric success is its visionary CEO Jensen Huang, who more than a decade ago, on the basis of a few promising scientific results, bet his entire company on AI. Through unprecedented access to Huang, his friends, his investors, and his employees, Witt documents for the first time the company’s epic rise and its ic
優惠:外文國際書展 優惠價: 7 558
庫存:4
Haikyu!! (3-In-1 Edition), Vol. 4: Includes Vols. 10, 11 & 12 (Manga) 排球少年
滿額折
出版日:2025/03/18 作者:Haruichi Furudate  出版社:Viz  裝訂:平裝
Shoyo Hinata is out to prove that in volleyball you don't need to be tall to fly! Ever since he saw the legendary player known as "the Little Giant" compete at the national volleyball finals, Shoyo Hinata has been aiming to be the best volleyball player ever! Who says you need to be tall to play volleyball when you can jump higher than anyone else? Hinata boldly declares that he won't close his eyes for the Freak Quick anymore, but Kageyama isn't having any of it. The two of them fight, setting the entire team back in the practice game. But after coming face-to-face with how polished the Tokyo teams are, Karasuno realizes that even with extra practice, the road to new skills and a better-prepared team is still long. Looking for new ways to fight in the air, Hinata goes to Fukurodani's ace, Kotaro Bokuto, for some help.
優惠價: 79 510
庫存:6
Ash's Cabin (graphic novel)(平裝本)
滿額折
出版日:2024/08/13 作者:Jen Wang  出版社:First Second  裝訂:平裝
The Prince and the Dressmaker author Jen Wang spins a sensitive narrative about an alienated teen who leaves modern society for the California wilderness to start a new life away from human kind.Ash has always felt alone. Adults ignore the climate crisis. Other kids Ash’s age are more interested in popularity contests than in fighting for change. The only person who seemed to understand how desperate things were was Ash's grandpa, Edwin.Before he died, Edwin used to talk about building a secret cabin, off the grid in the California wilderness. And to Ash, that maybe-mythical cabin is starting to feel like the perfect place for a fresh start and an escape from the miserable feeling of alienation that haunts their daily life.But making the wilds your home isn’t easy. And as much as Ash wants to be alone . . . can they really be happy alone? Can they survive alone?From New York Times–bestselling author and illustrator Jen Wang comes a singularly affectingstory about self-discovery, self-r
優惠價: 79 540
庫存:2
Harry Potter and the Half-Blood Prince (Harry Potter, Book 6)
滿額折
出版日:2023/05/02 作者:J. K. Rowling; Mary GrandPré  出版社:Scholastic  裝訂:平裝
The war against Voldemort is not going well; even Muggle governments are noticing. Ron scans the obituary pages of the Daily Prophet, looking for familiar names. Dumbledore is absent from Hogwarts for long stretches of time, and the Order of the Phoenix has already suffered losses. And yet...As in all wars, life goes on. Sixth-year students learn to Apparate - and lose a few eyebrows in the process. The Weasley twins expand their business. Teenagers flirt and fight and fall in love. Classes are never straightforward, though Harry receives some extraordinary help from the mysterious Half-Blood Prince.
優惠:外文國際書展 優惠價: 7 399
庫存:5
  • 515492
    12888
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 12888

暢銷榜

客服中心

收藏

會員專區