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

Test Pattern Generation Using Boolean Proof Engines

63303
12 / 1583
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
滿額折
出版日: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
優惠價: 1 1689
無庫存
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]。
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
無庫存
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
無庫存
Miniature Internal Combustion Engines
滿額折
出版日:2007/09/28 作者:Malcolm Stride  出版社:Crowood Pr  裝訂:精裝
Model engineers have been making models of internal combustion engines since the invention of the real thing, but it has always been surrounded by a mystique, and a perceived difficulty that has put m
優惠價: 1 2698
無庫存
出版日: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]。
出版日: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
無庫存
Using Everyday Numbers Effectively in Research
90 折
出版日:2006/05/01 作者:Stephen Gorard  出版社:Continuum Intl UK  裝訂:平裝
Can you add up the number of students in your classroom? Can you tell which of two test scores is the larger? Can you programme a video or DVD recording using a 24-hour clock? If so, then this book wi
優惠價: 9 2427
無庫存
Correlation Pattern Recognition
90 折
出版日:2005/11/24 作者: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]。
Abel's Proof
滿額折
出版日:2004/02/27 作者:Peter Pesic  出版社:Mit Pr  裝訂:平裝
A compelling essay on AbelAs proof introduces readers to the passionate mathematician who died before he could enjoy recognition for his accomplishment and his place in mathematical history. (Science
優惠價: 79 1422
無庫存
Random Graphs For Statistical Pattern Recognition
90 折
出版日:2004/02/09 作者:Marchette  出版社:John Wiley & Sons Inc  裝訂:精裝
A timely convergence of two widely used disciplines Random Graphs for Statistical Pattern Recognition is the first book to address the topic of random graphs as it applies to statistical pattern reco
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
School Bus Test Diesel Engines S2
90 折
出版日:2003/09/01 作者:Not Available (NA)  出版社:Delmar Publishers  裝訂:平裝
With complete and up-to-date content, the first edition of the ASE Test Preparation Series for School Buses (S2, S4, S5) contains the most current ASE test preparation material available. These books
優惠價: 9 1254
無庫存
Leverage Your Library Program to Help Raise Test Scores: A Guide for Library Media Specialists, Principals, Teachers, and Parents
滿額折
出版日:2003/04/01 作者:Audrey P. Church  出版社:Linworth Pub Co  裝訂:平裝
Church (school library media, Longwood University) offers new ideas for using the school library to raise test scores. After an explanation of research on the benefits of strong collaboration between
優惠價: 1 2472
無庫存
Structural Proof Theory
90 折
出版日:2001/06/18 作者: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.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Secrets of the Hand ─ Soloing Strategies for Hand Drummers
滿額折
出版日:2001/06/01 作者:Alan Dworsky; Betsy Sansby  出版社:Dancing Hands Music  裝訂:平裝
This book is for advanced hand drummers who want to play complex solos using simple sequences of hand strokes. Whether you play Djembe, conga, or ashiko, the practical hand-pattern strategies explaine
優惠價: 1 1123
無庫存
出版日:2001/01/31 作者:Theodor Finkelstein  出版社:Amer Society of Mechanical  裝訂:精裝
Not like air guitars, but modernized versions of 19th-century hot-air or caloric engines that were produced in myriad varieties but have been considered obsolete since they were displaced by high-spee
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Small Air-Cooled Engines—1990-2000
滿額折
出版日:2000/11/01 作者:Not Available (NA)  出版社:Penton Media  裝訂:平裝
2- and 4-stroke L-head and overhead valve engines to 6 hp from 1990-2000. Covers more than 100 models by 15 manufacturers.
優惠價: 1 1798
無庫存
Assessing Adolescents With The Maci Using The Millon Adolescent Clincal Inventory
90 折
出版日:1999/02/22 作者:Mccann  出版社:John Wiley & Sons Inc  裝訂:精裝
Assessing Adolescents with the MACI is an interpretive guide for using the Millon Adolescent Clinical Inventory--the most widely used personality assessment test for adolescents. The first book devote
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1996/05/01 作者:Steve Hurst  出版社:Intermediate Technology  裝訂:平裝
An introduction to small-scale non-ferrous casting. Includes step-by-step instructions on how to make equipment using local materials; and provides information on moulding techniques, pattern making,
優惠價: 1 1798
無庫存
Chilton's Guide to Small Engine Repair-Up to 20 Hp ─ Repair, Maintenance and Service for Gasoline Engines Up to and Including 20 Horsepower.
滿額折
出版日:1994/04/01 作者:Kerry A. Freeman (EDT)  出版社:Chilton Book Co  裝訂:平裝
Covers repair, maintenance and service of gasoline engines up to and service of gasoline engines up to and including 20 horsepower (except OHC). Engines included are Briggs & Stratton, Clinton, Kawas
優惠價: 1 1123
無庫存
Proof Theory:A selection of papers from the Leeds Proof Theory Programme 1990
90 折
出版日:1993/02/11 作者: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.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1990/09/28 作者:Keinosuke Fukunaga  出版社:Academic Pr  裝訂:精裝
This completely revised second edition presents an introduction to statistical pattern recognition. Pattern recognition in general covers a wide range of problems: it is applied to engineering proble
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Stone Spaces
90 折
出版日:1986/08/14 作者:Peter T. Johnstone  出版社:Cambridge Univ Pr  裝訂:平裝
Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern mathematics; but since it lies on the frontiers of algebra, geometry, general topology and functional analysis, the corpus of mathematics which has arisen in this way is seldom seen as a whole. In order to give a unified treatment of this rather diverse body of material, Dr Johnstone begins by developing the theory of locales (a lattice-theoretic approach to 'general topology without points' which has achieved some notable results in the past ten years but which has not previously been treated in book form). This development culminates in the proof of Stone's Representation Theorem.
優惠價: 9 2456
無庫存
How to Rebuild Small-Block Ford Engines
滿額折
出版日:1979/02/01 作者:Tom Monroe  出版社:Hp Books  裝訂:平裝
Provides detailed instructions for the examination, disassembly, maintenance, repair, reassembly, and installation of small-block Ford eight cylinder engines
優惠價: 1 1575
無庫存
出版日:1978/10/01 作者:Bernard Goldstein  出版社:Transaction Pub  裝訂:平裝
What do children know about work, careers, and related topics? What is the pattern of growth in values, attitudes, beliefs, and knowledge? Using quantitative and anecdotal evidence gathered from inter
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2024/11/21 作者:Robert H. Shumway  出版社:Springer Nature  裝訂:精裝
This 5th edition of this popular graduate textbook, presents a balanced and comprehensive treatment of both time and frequency domain methods with accompanying theory. It includes numerous examples using nontrivial data illustrate solutions to problems such as discovering natural and anthropogenic climate change, evaluating pain perception experiments using functional magnetic resonance imaging, and monitoring a nuclear test ban treaty. The R package 'astsa' has had major updates and the text will reflect those updates. In general, the graphics have been improved. New topics include random number generation, modeling and fitting predator-prey interactions, more emphasis on structural models, testing for linearity, discussion of EM algorithm is more extensive, Bayesian analysis of state space models and MCMC is more extensive (including new scripts in astsa), particle methods are introduced, stochastic volatility coverage is expanded, changepoint detection is introduced (new topic).The
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Thomas & Friends Meet the Engines: An Encyclopedia of the Thomas & Friends Characters
滿額折
出版日:2022/09/20 作者:Julia March  出版社:DK US  裝訂:精裝
Learn all about Thomas the Tank Engine, Kana the first electric train on Sodor, Sir Topham Hatt, and many other steam engines, diesels, vehicles, and characters from Sodor.This colorful guide is packed with fun facts about a host of popular characters from the much-loved brand, including the new-look characters from the latest Thomas & Friends: All Engines Go™ TV series. It also features scenes and story lines from the exciting new animations. With stunning full-color images and essential information about favorite characters, Meet the Engines: An Encyclopedia of the Thomas & Friends Characters is a must-have for all young Thomas fans.
優惠價: 79 751
無庫存
Proof and Falsity:A Logical Investigation
90 折
出版日:2021/09/02 作者: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.
優惠價: 9 1673
無庫存
An Introduction to Proof Theory
90 折
出版日:2021/08/17 作者:Paolo Mancosu  出版社:Oxford Univ Pr  裝訂:精裝
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
An Introduction to Proof Theory
90 折
出版日:2021/08/17 作者:Paolo Mancosu  出版社:Oxford Univ Pr  裝訂:平裝
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
優惠價: 9 1592
無庫存
Equivariant Stable Homotopy Theory and the Kervaire Invariant Problem
90 折
出版日:2021/04/30 作者:Michael A. Hill  出版社:Cambridge Univ Pr  裝訂:精裝
The long-standing Kervaire invariant problem in homotopy theory arose from geometric and differential topology in the 1960s and was quickly recognised as one of the most important problems in the field. In 2009 the authors of this book announced a solution to the problem, which was published to wide acclaim in a landmark Annals of Mathematics paper. The proof is long and involved, using many sophisticated tools of modern (equivariant) stable homotopy theory that are unfamiliar to non-experts. This book presents the proof together with a full development of all the background material to make it accessible to a graduate student with an elementary algebraic topology knowledge. There are explicit examples of constructions used in solving the problem. Also featuring a motivating history of the problem and numerous conceptual and expository improvements on the proof, this is the definitive account of the resolution of the Kervaire invariant problem.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Proof and the Art of Mathematics
滿額折
出版日:2021/02/23 作者:Joel David Hamkins  出版社:Mit Pr  裝訂:平裝
How to write mathematical proofs, shown in fully-worked out examples.This is a companion volume Joel Hamkins's Proof and the Art of Mathematics, providing fully worked-out solutions to all of the odd-
優惠價: 79 961
無庫存
Pattern Cutting Second Edition
滿額折
出版日:2021/01/07 作者:Dennic Chunman Lo  出版社:Laurence King Pub  裝訂:平裝
This practical guide explains how to take accurate measurements, introduces key tools and takes the reader from simple pattern-cutting ideas to more advanced creative methods. Step-by-step illustratio
優惠價: 79 1956
無庫存
  • 63303
    1583
  • 1
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 1583

暢銷榜

客服中心

收藏

會員專區