TOP
GOGO開學趣,參考書應有盡有
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

2191
4 / 55
Classification and Learning Using Genetic Algorithms ― Applications in Bioinformatics and Web Intelligence
90 折
出版日:2007/06/03 作者:Sanghamitra Bandyopadhyay; Sankar K. Pal  出版社:Springer Verlag  裝訂:精裝
"This book provides a unified framework that describes how genetic learning can be used to design pattern recognition and learning systems. The book is unique in the sense of describing how a search t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2007/05/04 作者:Abraham Kandel (EDT); Horst Bunke (EDT); Mark Last (EDT)  出版社:Springer Verlag  裝訂:精裝
This book presents novel graph-theoretic methods for complex computer vision and pattern recognition tasks. It presents the application of graph theory to low-level processing of digital images, prese
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2007/04/23 作者:Sanghamitra Bandyopadhyay; Sankar Kumar Pal  出版社:Springer Verlag  裝訂:平裝
This book provides a unified framework that describes how genetic learning can be used to design pattern recognition and learning systems. It examines how a search technique, the genetic algorithm, ca
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2006/12/30 作者:Glen D. Johnson; Ganapati P. Patil  出版社:Springer Verlag  裝訂:精裝
This book presents a new method for assessing spatial pattern in raster land cover maps based on satellite imagery in a way that incorporates multiple pixel resolutions. This is combined with more co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/08/15 作者:Petra Perner (EDT); Atsushi Imiya (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 4th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2005, held in Leipzig, Germany, in July 2005.The 68
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/08/15 作者:Alberto Apostolico (EDT); Maxime Crochemore (EDT); Kunsoo Park (EDT)  出版社:Springer Verlag  裝訂:平裝
The 16th Annual Symposium on Combinatorial Pattern Matching was held on Jeju Island, Korea on June 19–22, 2005. Previous meetings were held in Paris, London, Tucson, Padova, Asilomar, Helsinki, Laguna
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2005/08/01 作者:Rudiger Ebendt; Gorschwin Fey; Rolf Drechsler  出版社:Springer Verlag  裝訂:精裝
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/03/19 作者:Leszek Rutkowski  出版社:Springer Verlag  裝訂:精裝
This book presents new soft computing techniques for system modeling, pattern classification and image processing. The book consists of three parts, the first of which is devoted to probabilistic neur
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The papers collected in this volume address all aspects related to thermofluiddynamic processes in diesel engines, from basic studies aiming to obtain a better understanding of the physical processes
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/03/01 作者:Luc T. Wille (EDT)  出版社:Springer Verlag  裝訂:精裝
New Directions in Statistical Physics provides a unique insight into the application of statistical physics to finance, biology and pattern recognition. This exciting field is becoming of increasing i
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1997/12/01 作者:Steven J. Osterlind  出版社:Springer Verlag  裝訂:精裝
Constructing test items for standardized tests of achievement, ability, and aptitude is a task of enormous importance. The interpretability of a test's scores flows directly from the quality of its
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Propulsion and Power ― An Exploration of Gas Turbine Performance Modeling
90 折
出版日:2018/07/02 作者:Joachim Kurzke; Ian Halliwell  出版社:Springer Verlag  裝訂:精裝
The book is written for engineers and students who wish to address the preliminary design of gas turbine engines, as well as the associated performance calculations, in a practical manner. A basic kno
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Wind Energy Meteorology ― Atmospheric Physics for Wind Power Generation
90 折
出版日:2018/04/17 作者:Stefan Emeis  出版社:Springer Verlag  裝訂:精裝
This book offers an introduction to the meteorological boundary conditions for power generation from wind – both onshore and offshore, and provides meteorological information for the planning and runn
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Academic Theories of Generation in the Renaissance ― The Contemporaries and Successors of Jean Fernel
90 折
出版日:2018/01/25 作者:Linda Deer Richardson; Benjamin Goldberg  出版社:Springer Verlag  裝訂:精裝
This volume deals with philosophically grounded theories of animal generation as found in two different traditions: one, deriving primarily from Aristotelian natural philosophy and specifically from h
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ergodic Theory and Negative Curvature ― Cirm Jean-morlet Chair, Fall 2013
90 折
出版日:2017/12/20 作者:Boris Hasselblatt (EDT)  出版社:Springer Verlag  裝訂:平裝
Focussing on the mathematics related to the recent proof of ergodicity of the (Weil–Petersson) geodesic flow on a nonpositively curved space whose points are negatively curved metrics on surfaces, thi
優惠價: 9 3443
無庫存
Goldbach's Problem ─ Selected Topics
90 折
出版日:2017/07/07 作者:Michael Th. Rassias  出版社:Springer Verlag  裝訂:平裝
Important results surrounding the proof of Goldbach's ternary conjecture are presented in this book. Beginning with an historical perspective along with an overview of essential lemmas and theorems, t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Spatial Modeling and Assessment of Urban Form ― Analysis of Urban Growth: from Sprawl to Compact Using Geospatial Data
90 折
出版日:2017/05/18 作者:Biswajeet Pradhan (EDT)  出版社:Springer Verlag  裝訂:精裝
This book discusses the application of Geospatial data, Geographic Information System (GIS) and Remote Sensing (RS) technologies in analysis and modeling of urban growth process, and its pattern,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Metamaterial Inspired Electromagnetic Applications ─ Role of Intelligent Systems
90 折
出版日:2017/05/12 作者:Balamati Choudhury  出版社:Springer Verlag  裝訂:精裝
This book focuses on the role of soft-computing-based electromagnetic computational engines in design and optimization of a wide range of electromagnetic applications. In addition to the theoretical b
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Advances of Basic Science for Second Generation Bioethanol from Sugarcane ― Bioethanol from Sugarcane and Their Impact on Technology
90 折
出版日:2017/05/04 作者:Marcos S. Buckeridge (EDT); Amanda P. De Souza (EDT)  出版社:Springer Verlag  裝訂:精裝
This book focuses on the basic science recently produced in Brazil for the improvement of sugarcane as a bioenergy crop and as a raw material for 2nd generation bioethanol production.It reports achiev
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Small Modular Reactors for Electricity Generation ─ An Economic and Technologically Sound Alternative
90 折
出版日:2017/03/22 作者:Jorge Morales Pedraza (EDT)  出版社:Springer Verlag  裝訂:精裝
As a flexible, cost-effective energy alternative to large scale nuclear power reactors, this book examines the potential future use of small modular reactors for the generation of electricity in diffe
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Urban Development in Asia: Pathways, Opportunities and Challenges ― Pathways, Opportunities, and Challenges
90 折
出版日:2017/01/13 作者:Qian Zhang; Xiangzheng Deng  出版社:Springer Verlag  裝訂:平裝
This book aims to present implications for China’s urban development through international comparison of urbanization process from the perspective of spatio-temporal pattern, driving factors, rural-ur
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Intelligent Network Integration of Distributed Renewable Generation
90 折
出版日:2016/12/16 作者:Nadarajah Mithulananthan; Duong Quoc Hung; Kwang Y. Lee  出版社:Springer Verlag  裝訂:精裝
This book introduces several simple analytical approaches to aid the seamless integration of renewable distributed generation. It focuses on the idea of intelligent integration, which involves locatin
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Ministering Spiritually to Families
90 折
出版日:2016/09/24 作者:William Jeynes (EDT); Enedina Martinez (EDT)  出版社:Springer Verlag  裝訂:平裝
?This book combines the research on spiritual ministering with the practice of counseling families. It examines such topics as how to prepare for marriage, how to keep a marriage divorce proof, and ho
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2016/08/30 作者:Baxter E. Vieux  出版社:Springer Verlag  裝訂:精裝
This book presents a unified approach for modeling hydrologic processes distributed in space and time using geographic information systems (GIS). This Third Edition focuses on the principles of implem
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Access to Medicine Versus Test Data Exclusivity ― Safeguarding Flexibilities Under International Law
90 折
出版日:2016/08/03 作者:Owais H. Shaikh  出版社:Springer Verlag  裝訂:精裝
This book explores the concept of test data exclusivity protection for pharmaceuticals. Focusing on Art 39(3) of the WTO Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS Agree
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Nuclear Energy for Hydrogen Generation Through Intermediate Heat Exchangers ― A Renewable Source of Energy
90 折
出版日:2016/07/26 作者:Bahman Zohuri  出版社:Springer Verlag  裝訂:精裝
This book describes recent technological developments in next generation nuclear reactors that have created renewed interest in nuclear process heat for industrial applications. The author’s discussio
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Callias Index Formula Revisited
90 折
出版日:2016/06/29 作者:Fritz Gesztesy; Marcus Waurick  出版社:Springer Verlag  裝訂:平裝
These lecture notes aim at providing a purely analytical and accessible proof of the Callias index formula. In various branches of mathematics (particularly, linear and nonlinear partial differential
優惠價: 9 2025
無庫存
Investment in Electricity Generation and Transmission ― Decision Making Under Uncertainty
90 折
出版日:2016/06/22 作者:Antonio J. Conejo Navarro; Luis Baringo Morales; S. Jalal Kazempour; Afzal S. Siddiqui  出版社:Springer Verlag  裝訂:精裝
This book presents a detailed description of tools for making informed decisions regarding investment in both transmission and generation facilities in the face of an aging electricity industry infras
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Applied Survival Analysis Using R
90 折
出版日:2016/05/20 作者:Dirk F. Moore  出版社:Springer Verlag  裝訂:平裝
Applied Survival Analysis Using R covers the main principles of survival analysis, gives examples of how it is applied, and teaches how to put those principles to use to analyze data using R as a vehi
優惠價: 9 3131
無庫存
出版日:2016/04/15 作者:Ekkehard Holzbecher  出版社:Springer Verlag  裝訂:平裝
The book has two aims: to introduce basic concepts of environmental modelling and to facilitate the application of the concepts using modern numerical tools such as MATLAB. It is targeted at all natur
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Externally Heated Valve Engine ― A New Approach to Piston Engines
90 折
出版日:2016/01/13 作者:Zbyszko Kazimierski; Jerzy Wojewoda  出版社:Springer Verlag  裝訂:精裝
This book reports on a novel approach for generating mechanical energy from different, external heat sources using the body of a typical piston engine with valves. By presenting simple yet effective n
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Technical Analysis for Algorithmic Pattern Recognition
90 折
出版日:2015/12/09 作者:Prodromos E. Tsinaslanidis; Achilleas D. Zapranis  出版社:Springer Verlag  裝訂:精裝
The main purpose of this book is to resolve deficiencies and limitations that currently exist when using Technical Analysis (TA). Particularly, TA is being used either by academics as an “economic tes
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Essays on the History of Mechanical Engineering
90 折
出版日:2015/12/04 作者:Francesco Sorge (EDT); Giuseppe Genchi (EDT)  出版社:Springer Verlag  裝訂:精裝
This book treats several subjects from the History of Mechanism and Machine Science, and also contains an illustrative presentation of the Museum of Engines and Mechanisms of the University of Palermo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Magnetically Activated and Guided Isotope Separation
90 折
出版日:2015/11/30 作者:Thomas R. Mazur  出版社:Springer Verlag  裝訂:精裝
This thesis describes a proof-of-principle experiment demonstrating a technique for stable isotope enrichment called Magnetically Activated and Guided Isotope Separation (MAGIS). Over the past century
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Lineare Algebra
90 折
出版日:2015/11/28 作者:Volker Mehrmann; J憿土 Liesen  出版社:Springer Verlag  裝訂:平裝
This self-contained textbook takes a matrix-oriented approach to linear algebra and presents a complete theory, including all details and proofs, culminating in the Jordan canonical form and its proof
優惠價: 9 2025
無庫存
The Automated Design of Materials Far from Equilibrium
90 折
出版日:2015/11/23 作者:Marc Z. Miskin  出版社:Springer Verlag  裝訂:精裝
This thesis conceptualizes and implements a new framework for designing materials that are far from equilibrium. Starting with state-of-the-art optimization engines, it describes an automated system t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Gentzen's Centenary ― The Quest for Consistency
90 折
出版日:2015/11/09 作者:Reinhard Kahle (EDT); Michael Rathjen (EDT)  出版社:Springer Verlag  裝訂:平裝
Gerhard Gentzen has been described as logic’s lost genius, whom Godel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring le
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Enriched Methane ― The First Step Towards the Hydrogen Economy
90 折
出版日:2015/11/05 作者:Marcello De Falco (EDT); Angelo Basile (EDT)  出版社:Springer Verlag  裝訂:精裝
This book brings together recent research from across the world on enriched methane, and examines the production, distribution and use of this resource in internal combustion engines and gas turbines.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2015/11/05 作者:Sharada Avadhanam (EDT); G. Jyothsna (EDT); Amita Kashyap (EDT)  出版社:Springer Verlag  裝訂:平裝
This brief highlights advances in DNA technologies and their wider applications. DNA is the source of life and has been studied since a generation, but very little is known as yet. Several sophisticat
優惠價: 1 3749
無庫存
Internet of Things, Smart Spaces, and Next Generation Networks and Systems ― 15th International Conference, New2an 2015
90 折
出版日:2015/08/19 作者:Sergey Balandin (EDT); Sergey Andreev (EDT); Yevgeni Koucheryavy (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the joint refereed proceedings of the 15th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2015, and the 8th Conference on Intern
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 2191
    55
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 55

暢銷榜

客服中心

收藏

會員專區