TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

84823
7 / 2121
出版日:2012/04/18 作者:Nadia M. Diuk  出版社:Rowman & Littlefield Pub Inc  裝訂:精裝
Using polling data, news stories, government reports, and interviews, Nadia M. Diuk shows how the next generation of leaders in shaping three of the most important countries in the former Soviet Union
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Truck Equipment Installation and Repair Test E1
90 折
出版日:2012/03/02 作者:Delmar Learning (COR)  出版社:Cengage Learning  裝訂:平裝
Start an ASE training regimen that is focused, thorough, and will prepare you for success, using this new test preparation guide from Delmar Learning. Concentrating on the very latest truck equipment
優惠價: 9 1254
無庫存
Variegated Floral Borders ─ 40 Cross-stitch Patterns
滿額折
出版日:2012/03/01 作者:Linda Gillum  出版社:Leisure Arts UK  裝訂:平裝
Linda Gillum's Variegated Floral Borders is chocked full of lovely meandering and repeat pattern cross stitch designs. Using the latest variety of variegated floss colors, Linda has created 40 designs
優惠價: 79 347
無庫存
出版日:2011/12/15 作者:Gunter P. Merker (EDT); Christian Schwarz (EDT); Rudiger Teichmann (EDT)  出版社:Springer Verlag  裝訂:精裝
Combustion Engines Development nowadays is based on simulation, not only of the transient reaction of vehicles or of the complete driveshaft, but also of the highly unsteady processes in the carburati
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof Analysis
90 折
出版日:2011/11/21 作者:Sara Negri  出版社:Cambridge Univ Pr  裝訂:精裝
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
20th Century Pattern Design ─ Textile & Wallpaper Pioneers
滿額折
出版日:2011/10/01 作者:Lesley Jackson  出版社:Chronicle Books Llc  裝訂:平裝
The first book to examine pattern as an essential part of twentieth-century design history is now available in paperback. Organized by decade, 20th-Century Pattern Design details the technical innovat
優惠價: 79 1201
無庫存
V&A Pattern
滿額折
出版日:2011/06/01 作者:Yueh-siang Chang; Oriole Cullen; Esme Whittaker; Moira Thunder  出版社:Harry N Abrams Inc  裝訂:精裝
Following the success of the previous titles in the V&A Pattern series, four new books reveal more of the V&A’s spectacular and extensive pattern collections. ChineseTextiles by Yueh-Siang Ch
優惠價: 79 1426
無庫存
Pattern-drafting for Fashion ─ The Basics
90 折
出版日:2011/04/26 作者:Teresa Gilewska  出版社:Bloomsbury USA Academic  裝訂:平裝
A practical guide to advanced pattern making aimed at fashion students and serious home dressmakers, Pattern- drafting for Fashion: The Basics is a comprehensive guide to making your own patterns from
優惠價: 9 1881
無庫存
Generational Patterns Using Astrology
滿額折
出版日:2011/03/16 作者:Edwin Rose  出版社:Natl Book Network  裝訂:平裝
Generational Patterns Using Astrology will enable you to find your place in history. It will explain how your parent's generation is different than yours and even the differences between your parent's
優惠價: 1 1123
無庫存
Essential Words for the TOEFL: Test of English As a Foreign Language
滿額折
出版日:2011/03/01 作者:STEVEN J. MATTHIESEN  出版社:Barrons Educational Series Inc  裝訂:平裝
Includes the five hundred most frequrntly encountered words on the TOEFL, provides advice on using a dictionary and thesaurus to expand word power, and presents test-taking strategies.
優惠價: 79 360
無庫存
出版日:2011/01/01 作者:W. F. Pocock; Christopher Webster (INT)  出版社:Spire Books Ltd  裝訂:平裝
This reprint of the 1819 original pattern book of architectural drawings for church and chapel construction, reintroduces this important text on design and Anglican culture to a new generation of arch
優惠價: 1 3998
無庫存
Forcing With Random Variables and Proof Complexity
90 折
出版日:2010/12/31 作者:Jan Krajíček  出版社:Cambridge Univ Pr  裝訂:平裝
This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithmetics are closely related. In particular, proving lower bounds on the lengths of proofs in propositional proof systems is equivalent to constructing certain extensions of models of bounded arithmetic. This offers a clean and coherent framework for thinking about lower bounds for proof lengths, and it has proved quite successful in the past. This book outlines a brand new method for constructing models of bounded arithmetic, thus for proving independence results and establishing lower bounds for proof lengths. The models are built from random variables defined on a sample space which is a non-standard finite set and sampled by functions of some restricted computational complexity. It will appeal to anyone interested in logical approaches to fundamental problems in complexity theory.
優惠價: 9 2807
無庫存
Pattern+palette sourcebook 04
滿額折
出版日:2010/07/01 作者:HARVEY RAYNER  出版社:龍溪國際圖書  裝訂:精裝
Pattern and Pattern Sourcebook 4, the fourth volume in Rockport's Pattern and Palette series, is an invaluable tool for art directors, designers, and students working in the fashion, product, and grap
優惠價: 9 540
無庫存
Pattern Classification Using Ensemble Methods
滿額折
出版日:2010/06/30 作者:Lior Rokach  出版社:World Scientific Pub Co Inc  裝訂:精裝
Researchers from various disciplines such as pattern recognition, statistics, and machine learning have explored the use of ensemble methodology since the late seventies. Thus, they are faced with a w
優惠價: 9 3121
無庫存
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
90 折
出版日:2010/06/28 作者:Yves Crama  出版社:Cambridge Univ Pr  裝訂:精裝
This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Start Your Engines
滿額折
出版日:2010/06/25 出版社:Titan Books  裝訂:平裝
Start Your Engines compiles works from Scott Robertson's, vast archives of ground vehicle drawings and renderings, and features the following chapters: Cars, Bicycles, Snowcraft Mechanimals and select
優惠價: 79 1085
無庫存
Model Steam Engines
滿額折
出版日:2010/06/22 作者:Bob Gordon  出版社:Shire Pubns  裝訂:平裝
Model engineering was popularized by pioneering steam enthusiasts, and rapidly grew into an exciting worldwide hobby for amateur engineers. This book describes how model steam engines work, outlines t
優惠價: 79 359
無庫存
Correlation Pattern Recognition
90 折
出版日:2010/06/10 作者:B. V. K. Vijaya Kumar  出版社:Cambridge Univ Pr  裝訂:平裝
Correlation is a robust and general technique for pattern recognition and is used in many applications, such as automatic target recognition, biometric recognition and optical character recognition. The design, analysis and use of correlation pattern recognition algorithms requires background information, including linear systems theory, random variables and processes, matrix/vector methods, detection and estimation theory, digital signal processing and optical processing. This book provides a needed review of this diverse background material and develops the signal processing theory, the pattern recognition metrics, and the practical application know-how from basic premises. It shows both digital and optical implementations. It also contains technology presented by the team that developed it and includes case studies of significant interest, such as face and fingerprint recognition. Suitable for graduate students taking courses in pattern recognition theory, whilst reaching technical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Algebraic Models For Accounting Systems
滿額折
出版日:2010/05/30 作者:Salvador Cruz Rambaud; Jose Garcfa Perez; Robert A. Nehmer; Derek J. S. Robinson  出版社:World Scientific Pub Co Inc  裝訂:精裝
The book describes the construction of algebraic models which represent the operations of the double entry accounting system. It gives a novel, comprehensive, proof-based treatment of the topic, using
優惠價: 9 2907
無庫存
出版日:2010/05/26 作者:Amelia U. Santos-paulino (EDT); Guanghua Wan (EDT)  出版社:Oxford Univ Press USA  裝訂:精裝
China, India, Brazil, and South Africa are reshaping the world economy. These Southern Engines countries have experienced a dramatic transformation in their productive and trade capabilities, consequ
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/05/01 作者:Eduardo Bayro Corrochano (EDT); Gerik Scheuermann (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
Topics and FeaturesProvides a thorough discussion of several tasks for image processing, pattern recognition, computer vision, robotics and computer graphics using the geometric algebra frameworkIntr
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Revolutions Of Geometry
90 折
出版日:2010/01/26 作者:O'Leary  出版社:John Wiley & Sons Inc  裝訂:精裝
Guides readers through the development of geometry and basic proof writing using a historical approach to the topic In an effort to fully appreciate the logic and structure of geometric proofs, Revol
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Logical Foundations of Proof Complexity
90 折
出版日:2010/01/25 作者:Stephen Cook  出版社:Cambridge Univ Pr  裝訂:精裝
This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Teaching Grammar ─ What Really Works
90 折
出版日:2010/01/15 作者:Amy Benjamin; Joan Berger  出版社:Eye on Education  裝訂:平裝
This guide for teachers gives creative ideas on teaching grammar using students' own writing, visual and hands-on manipulatives, rhythm, inductive reasoning, problem-solving, wordplay, and pattern fin
優惠價: 9 1520
無庫存
Diesel Engines
90 折
出版日:2010/01/06 作者:Delmar Learning (COR)  出版社:Delmar Publishers  裝訂:精裝
Delmar, a part of Cengage Learning, and the leader in providing first-rate educational materials for technicians, now offers the Diesel Engines Computer Based Training (CBT), which is part of the exc
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Monster's Proof
滿額折
出版日:2009/07/07 作者:Richard Lewis  出版社:Simon & Schuster  裝訂:精裝
Livey’s younger brother, Darby, a math genius, brings his imaginary friend to life through a mathematical proof. Bob is a creature of pure math, and he hates chaos and disorder. Now Livey, Darby, and
優惠價: 79 480
無庫存
出版日:2009/05/28 作者:Jason Lisle; Dan Lietha (ILT); Diana Bogardus (CON)  出版社:Master Books  裝訂:平裝
It's a bold title: The Ultimate Proof of Creation - But is there such a thing? There are many books that contain seemingly powerful arguments for biblical creation. But is there an ultimate proof of c
優惠價: 1 560
無庫存
Recession-Proof Your Life
滿額折
出版日:2009/05/15 作者:Johnson  出版社:John Wiley & Sons Inc  裝訂:平裝
If you had the chance to recession-proof your life -- everything from your finances and career to your relationships -- wouldn't you take it? Recession-Proof Your Life will help you plan for those in
優惠價: 9 1195
無庫存
Templets and the Explanation of Complex Patterns
90 折
出版日:2009/01/11 作者:Michael J. Katz  出版社:Cambridge Univ Pr  裝訂:平裝
Where does the particular form or configuration of a pattern come from, and how is it propagated from pattern to pattern? Templets and the Explanation of Complex Patterns provides a natural language for analysing such questions. Using it, the organisational forces that underlie the fabrication of any pattern can be divided into two classes. First, there are the 'universal laws' of pattern assembly, the configurational rules and constraints inherent within the fabric of the pattern elements themselves. Second, there are the 'templets' - external, situational constraints imposed on the pattern elements. From the perspective of templeting, simple patterns can be directly contrasted with complex patterns: the former are completely determined by their universal laws, whereas the latter also require extensive templets. Natural patterns range along the entire spectrum from simple to complex, and the most complex of these include both random patterns and many biological patterns.
優惠價: 9 1696
無庫存
Class Field Theory
90 折
出版日:2008/12/12 作者:Nancy Childress  出版社:Springer Verlag  裝訂:平裝
This accessible introduction to class field theory takes a traditional approach. It attempts to present the material using the original techniques of proof (global to local), but in a fashion which i
優惠價: 9 2700
無庫存
Proof 2: The Company of Men
滿額折
出版日:2008/12/03 作者:Alexander Grecian; Riley Rossmo (CON); Fiona Staples (CON); Adam Guzowski (CON)  出版社:Image Comics  裝訂:平裝
The hit series continues as Proof and Ginger travel to Africa to rescue a baby dinosaur. It turns out, though, that the dinosaur's just the bait in a trap set for Proof and big-game hunter Colonel Dac
優惠價: 1 585
無庫存
Structural Proof Theory
90 折
出版日:2008/07/10 作者:Sara Negri  出版社:Cambridge Univ Pr  裝訂:平裝
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
優惠價: 9 2105
無庫存
Flower Sense: The Art of Decorating With Flowers
滿額折
出版日:2008/04/08 作者:Tricia Guild; James Merrell (PHT); Elspeth Thompson  出版社:Rizzoli Intl Pubns  裝訂:精裝
Tricia Guild is known for her original fabric and wallpaper collections. Following the success of her books on color and pattern, she shares her long-standing fascination with using flowers in interi
優惠價: 79 1201
無庫存
METRIC PATTERN CUTTING FOR WOMEN'S WEAR 5E
滿額折
出版日:2008/02/29 作者:ALDRICH  出版社:JOHN WILEY & SONS;LTD  裝訂:精裝
Metric Pattern Cutting for Women’s Wear, first published in 1975, provides a straightforward introductory book for students beginning courses in flat pattern cutting. This fifth edition continues to
優惠價: 9 1949
無庫存
Proof Theory:A selection of papers from the Leeds Proof Theory Programme 1990
90 折
出版日:2008/01/21 作者:Peter Aczel  出版社:Cambridge Univ Pr  裝訂:平裝
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists.
優惠價: 9 1754
無庫存
出版日:2007/08/30 作者:Sameer Singh (EDT); Maneesha Singh (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book features a collection of articles presented at the 2007 Workshop on Advances in Pattern Recognition, which was organized in conjunction with the 5th International Summer School on Pattern Re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Wake Up Engines
滿額折
出版日:2007/07/16 作者:Denise Dowling Mortensen; Melissa Iwai (ILT)  出版社:Houghton Mifflin Harcourt  裝訂:平裝
From the creators of the luminous GOOD NIGHT ENGINES comes an energetic good-morning book filled with short, rhyming text that fairly bounces off the page, lots of onomatopoeia, and bright, vibrant cl
優惠價: 79 480
無庫存
出版日:2007/07/01 作者:Brooklands Books Ltd  出版社:Specialty Pr Pub & Wholesalers  裝訂:平裝
Covers all Range rover models from 1995 to the end of the 2001 model year, including 4.0 & 4.6 V8 Petrol engines and BMW 2.5 Diesel Engines.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Pattern-Oriented Software Architecture V 4 - A Pattern Language For Distributed Computing
滿額折
出版日:2007/03/16 作者:Buschmann  出版社:John Wiley & Sons Inc  裝訂:精裝
The eagerly awaited Pattern-Oriented Software Architecture (POSA) Volume 4 is about a pattern language for distributed computing. The authors will guide you through the best practices and introduce y
優惠價: 9 2326
無庫存
Handcrafting Chain And Bead Jewelry: Techniques for Creating Dimensional Necklaces And Bracelets
滿額折
出版日:2006/12/30 作者:Scott David Plumlee; Holly McDade (PHT)  出版社:Watson-Guptill Pubns  裝訂:平裝
Handcrafting Chain and Bead Jewelry shows how to create beautiful, dimensional silver, copper, and brass chains using simple tools. The main style is based on the elegant, classical Byzantine pattern,
優惠價: 79 599
無庫存
  • 84823
    2121
  • 1
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 2121

暢銷榜

客服中心

收藏

會員專區