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

Test Pattern Generation Using Boolean Proof Engines

63306
11 / 1583
Wiley Ciaexcel Exam Review 2014 Test Bank ─ Internal Audit Basics
90 折
出版日:2014/06/16 作者:S. Rao Vallabhaneni  出版社:John Wiley & Sons Inc  裝訂:精裝
The Wiley CIAexcel Exam Review Test Bank provides multiple choice questions for Part 1 of the e Certified Internal Auditor (CIA) exam sponsored by the Institute of Internal Auditors (IIA). By using th
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Cellular Automata in Image Processing and Geometry
90 折
出版日:2014/06/13 作者:Paul Rosin (EDT); Andrew Adamatzky (EDT); Xianfang Sun (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
The book presents findings, views and ideas on what exact problems of image processing, pattern recognition and generation can be efficiently solved by cellular automata architectures. This volume pro
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Murach's Java Servlets and JSP ─ Training & Reference
滿額折
出版日:2014/06/09 作者:Joel Murach; Michael Urban  出版社:Mike Murach & Associates Inc  裝訂:平裝
Provides information on using servlets and JavaServer Pages to create Web applications that use the MVC pattern.
優惠價: 1 2588
無庫存
Logical Foundations of Proof Complexity
滿額折
出版日:2014/06/05 作者: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.
優惠價: 9 3392
無庫存
Recent Advances on Hybrid Approaches for Designing Intelligent Systems
90 折
出版日:2014/04/30 作者:Oscar Castillo (EDT); Patricia Melin (EDT); Witold Pedrycz (EDT); Janusz Kacprzyk (EDT)  出版社:Springer Verlag  裝訂:精裝
This book describes recent advances on hybrid intelligent systems using soft computing techniques for diverse areas of application, such as intelligent control and robotics, pattern recognition, time
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/04/15 作者:Sun Yaodong  出版社:Intl Specialized Book Service Inc  裝訂:精裝
Using stories and interesting examples, this book depicts the process of the internationalization of the main global currencies. After that, it systematically analyzes the future pattern of the intern
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
HTML5 Game Engines ─ App Development and Distribution
90 折
出版日:2014/04/10 作者:Dan Nagle  出版社:Taylor & Francis  裝訂:平裝
Despite the rise of HTML5-based game engines, there is no comprehensive book that compares these engines to help developers decide which one is best for their project. This how-to guide covers game de
優惠價: 9 3347
無庫存
Symbol, Pattern & Symmetry ─ The Cultural Significance of Structure
90 折
出版日:2014/01/16 作者:Michael Hann  出版社:Bloomsbury USA Academic  裝訂:平裝
Symbol, Pattern and Symmetry: The Cultural Significance of Structure investigates the cultural significance of pattern and symbol in decorative arts throughout history, demonstrating how connections a
優惠價: 9 1708
無庫存
Contain It! ─ English Paper-Pieced Style Accessories
滿額折
出版日:2014/01/07 作者:Linda Chaney; Laura Gerth  出版社:Collector Books  裝訂:平裝
This mother-daughter duo makes English paper piecing 3-D and ready for gift giving. Create structurally sturdy fabric containers using English paper-piecing methods. This mixed-technique and pattern b
優惠價: 1 1123
無庫存
Modern Diesel Technology ― Diesel Engines
90 折
出版日:2014/01/01 作者:Sean Bennett  出版社:Cengage Learning  裝訂:平裝
MODERN DIESEL TECHNOLOGY: DIESEL ENGINES, Second Edition, provides a thorough, reader-friendly introduction to diesel engine theory, construction, operation, and service. Combining a simple, straightf
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Modern Diesel Technology ─ Diesel Engines
90 折
出版日:2014/01/01 作者:Sean Bennett  出版社:Cengage Learning  裝訂:精裝
MODERN DIESEL TECHNOLOGY: DIESEL ENGINES, Second Edition, provides a thorough, reader-friendly introduction to diesel engine theory, construction, operation, and service. Combining a simple, straightf
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
What Is a Website and How Do I Use It?
滿額折
出版日:2014/01/01 作者:Matt Anniss  出版社:Rosen Pub Group  裝訂:平裝
Introduces websites, presents information on the history of the internet, explains the computer programming language known as HTML, and describes how to explore websites using search engines and mobil
優惠價: 1 873
無庫存
出版日:2013/10/28 作者:Breda Kegl; Marko Kegl; Stanislav Pehan  出版社:Springer Verlag  裝訂:精裝
With a focus on ecology, economy and engine performance, diesel engines are explored in relation to current research and developments. The prevalent trends in this development are outlined with partic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Enterprise Information Systems: A Pattern-Based Approach
90 折
出版日:2013/09/09 作者:Dunn; Cherrington; Hollander  出版社:Mcgraw-Hill; Inc.  裝訂:平裝
Enterprise Information Systems: A Pattern Based Approach, 3e, by Dunn/Cherrington/Hollander presents a pattern-based approach to designing enterprise information systems with a particular emphasis on
優惠價: 9 945
無庫存
Quick & Easy Baby Knits ─ 21 Cute, Comfy Projects
滿額折
出版日:2013/08/01 作者:Sarah E. White  出版社:Stackpole Books  裝訂:平裝
21 projects for blankets, socks, legwarmers, hats, tops, bottoms, and accessoriesDesigns for newborns to 1-year-olds, with advice on colorsFast knitting using heavier-weight yarnsSimple stitch pattern
優惠價: 1 898
無庫存
Working-Class Life in Northern England, 1945-2010 ― The Pre-History and After-Life of the Inbetweener Generation
90 折
出版日:2013/07/31 作者:Tony Blackshaw  出版社:Palgrave Macmillan  裝訂:精裝
Taking a fresh look the history of northern working-class life in the second half of the twentieth century, this book turns to the concept of generation and generational change. Using life history res
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Professional Education, Capabilities and Contributions to the Public Good
90 折
出版日:2013/07/27 作者:Melanie Walker; Monica McLean  出版社:Taylor & Francis  裝訂:精裝
This book innovatively explores how universities might be engines of reform and be directed towards social change. Using rich case studies drawn from South African research, the book comprehensively p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nanoimprint Technology - Nanotransfer For Thermoplastic And Photocurable Polymer
90 折
出版日:2013/07/04 作者:Taniguchi  出版社:John Wiley & Sons Inc  裝訂:精裝
Nanoscale pattern transfer technology using molds is a rapidly advancing area and one that has seen much recent attention due to its potential for use in nanotechnology industries and applications. Ho
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/06/11 作者:James Noble (EDT); Ralph Johnson (EDT); Uwe Zdun (EDT); Eugene Wallingford (EDT)  出版社:Springer Verlag  裝訂:平裝
The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the
優惠價: 1 3600
無庫存
Proof Theory
滿額折
出版日:2013/02/20 作者:Gaisi Takeuti  出版社:Dover Pubns  裝訂:平裝
"This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by t
優惠價: 9 853
無庫存
The Pattern Cutting Primer
90 折
出版日:2012/11/15 作者:Andrew Richards; Jo Barnfield  出版社:Bloomsbury USA Academic  裝訂:平裝
The Pattern Cutting Primer is the ultimate resource for keen sewers and aspiring fashion designers looking to get to grips with every aspect of pattern design and customization. This practical and acc
優惠價: 9 1366
無庫存
出版日:2012/11/07 作者:Juni Daalmans  出版社:Butterworth-Heinemann  裝訂:平裝
Human Behavior in Hazardous Situations introduces a new generation within safety management, fully developed with neuropsychological insights, developed in collaboration with, and put to test by, the
優惠價: 1 2097
無庫存
The Logician and the Engineer ─ How George Boole and Claude Shannon Created the Information Age
90 折
出版日:2012/10/08 作者:Paul J. Nahin  出版社:Princeton Univ Pr  裝訂:精裝
Boolean algebra, also called Boolean logic, is at the heart of the electronic circuitry in everything we use--from our computers and cars, to our kitchen gadgets and home appliances. How did a system
優惠價: 9 853
無庫存
Philip's Night Sky Atlas
滿額折
出版日:2012/10/01 作者:WIL TIRION  出版社:Octopus Pub Group UK  裝訂:平裝
Philip's Night Sky Atlas can be used anywhere in the world and at any time of the year. With a sturdy, damp-proof binding, it is the ideal choice for the backyard astronomer using binoculars or a smal
優惠價: 79 651
無庫存
出版日:2012/09/14 作者:Oscar Castillo (EDT); Patricia Melin (EDT); Janusz Kacprzyk (EDT)  出版社:Springer-Verlag New York Inc  裝訂:精裝
This book presents recent advances on hybrid intelligent systems using soft computing techniques for intelligent control and robotics, pattern recognition, time series prediction and optimization of c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/07/26 作者:Steven D. West  出版社:Wipf & Stock Pub  裝訂:平裝
Apologetic methodology has been the subject of intense debate in Reformed circles. This book argues that we can test Reformed apologetic methods for consistency using two linchpin theological topics:
優惠價: 1 1600
無庫存
出版日:2012/07/13 作者:Lionel A. Galway; Rachel Rue; James M. Masters; Ben D. Van Roo; Manuel Carrillo  出版社:Natl Book Network  裝訂:平裝
Nearly all Air Force electronics are tested and repaired using automatic test systems, most of which were designed and built for specific aging weapon systems and are beset by increasing hardware ands
優惠價: 1 1125
無庫存
This pattern book features step-by-step instructions on fitting and sewing pants for women of all body types using the twin techniques of tissue fitting and fabric fitting. Important sewing choices ar
優惠價: 1 1062
無庫存
出版日: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
無庫存
出版日: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
無庫存
出版日: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
無庫存
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
無庫存
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]。
  • 63306
    1583
  • 1
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 1583

暢銷榜

客服中心

收藏

會員專區