TOP
月月讀書金,登入即領,滿600現折50!!
搜尋結果 /

Test Pattern Generation Using Boolean Proof Engines

195
1 / 5
出版日:2019/04/30 作者:Andreas J. Stylianides (EDT); Guershon Harel (EDT)  出版社:Springer Nature  裝訂:平裝
This book explores new trends and developments in mathematics education research related to proof and proving, the implications of these trends and developments for theory and practice, and directions
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/01/15 作者:James Lam (EDT); Yun Chen (EDT); Xingwen Liu (EDT); Xudong Zhao (EDT); Junfeng Zhang (EDT)  出版社:Springer Nature  裝訂:平裝
This book presents high-quality original contributions on positive systems, including those with positivity in compartmental switched systems, Markovian jump systems, Boolean networks, interval observ
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/12/22 作者:Giuliano Donzellini; Luca Oneto; Domenico Ponta; Davide Anguita  出版社:Springer Nature  裝訂:平裝
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and bi
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
This book covers the various advanced reciprocating combustion engine technologies that utilize natural gas and alternative fuels for transportation and power generation applications. It is divided in
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/08 作者:Rakesh Kumar Maurya  出版社:Springer Nature  裝訂:精裝
This book deals with in-cylinder pressure measurement and its post-processing for combustion quality analysis of conventional and advanced reciprocating engines. It offers insight into knocking and co
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/22 作者:Qian Xu; Jun Liu  出版社:Springer Nature  裝訂:精裝
This book adopts a multi-method and multi-phase approach to investigate the washback effects of Test for English Majors (TEM) on program administrators, teachers and students, shedding new light on TE
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
A Brief Introduction to Berezin-toeplitz Operators on Compact K鄣ler Manifolds
90 折
出版日:2018/10/02 作者:Yohann Le Floch  出版社:Springer Nature  裝訂:精裝
This text provides a comprehensive introduction to Berezin–Toeplitz operators on compact Kähler manifolds. The heart of the book is devoted to a proof of the main properties of these operators which h
優惠價: 9 3240
無庫存
出版日:2018/09/28 作者:Wolfgang Hauschild; Eberhard Lemke  出版社:Springer Nature  裝訂:精裝
The new edition of this book incorporates the recent remarkable changes in electric power generation, transmission and distribution. The consequences of the latest development to High Voltage (HV) tes
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/26 作者:Martin Hinsch  出版社:Springer Nature  裝訂:精裝
This book outlines the structure and activities of companies in the European aviation industry. The focus is on the design, production and maintenance of components, assemblies, engines and the aircra
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/13 作者:Wenjuan Du; Haifeng Wang; Siqi Bu  出版社:Springer Nature  裝訂:精裝
This book reviews and examines how power system low-frequency power oscillations and sub-synchronous oscillations may be affected by grid connection of wind power generation. Grid connection of wind p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/08/03 作者:Akihiro Morita  出版社:Springer Nature  裝訂:精裝
This book describes fundamental theory and recent advances of sum frequency generation (SFG) spectroscopy. SFG spectroscopy is widely used as a powerful tool of surface characterization, although theo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/01/22 作者:Nilanjan Ray Chaudhuri  出版社:Springer Nature  裝訂:精裝
This book is the first of its kind to provide a comprehensive framework for connecting wind farms to weak power grids using High Voltage DC technology. Most onshore wind energy potential is located in
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/11/20 作者:Jo緌 Andrade Neto  出版社:Springer Nature  裝訂:精裝
The proportionality test, as proposed in Robert Alexy’s principles theory, is becoming commonplace in comparative constitutional studies. And yet, the question “are courts justified in borrowing propo
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/10/02 作者:Patricia A. Prelock; Tiffany L. Hutchins  出版社:Springer Nature  裝訂:精裝
This book examines the typical pattern of communication development in children and adolescents to enable primary care physicians as well as other clinicians, therapists, and practitioners to assist p
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/09/11 作者:Yushu Zhang; Yong Xiang; Leo Yu Zhang  出版社:Springer Nature  裝訂:平裝
This book gives a comprehensive and systematic review of secure compressive sensing (CS) for applications in various fields such as image processing, pattern recognition, Internet of things (IoT), and
優惠價: 1 3499
無庫存
出版日:2018/08/22 作者:Niladri Sekhar Dash; L. Ramamoorthy  出版社:Springer Nature  裝訂:精裝
This book discusses some of the basic issues relating to corpus generation and the methods normally used to generate a corpus. Since corpus-related research goes beyond corpus generation, the book als
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/07/17 作者:Luigi Cominelli  出版社:Springer Nature  裝訂:精裝
This book’s basic hypothesis – which it proposes to test with a cognitive-sociological approach – is that legal behavior, like every form of human behavior, is directed and framed by biosocial constra
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/07/10 作者:Shaowen Wang (EDT); Michael F. Goodchild (EDT)  出版社:Springer Nature  裝訂:精裝
This book elucidates how cyberGIS (that is, new-generation geographic information science and systems (GIS) based on advanced computing and cyberinfrastructure) transforms computation- and data-intens
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Socioeconomic Inequality and Educational Outcomes ― Evidence from Twenty Years of Timss
滿額折
出版日:2019/05/18 作者:Markus Broer; Yifan Bai; Frank Fonseca  出版社:Springer Nature  裝訂:精裝
This open access book focuses on trends in educational inequality using twenty years of grade 8 student data collected from 13 education systems by the IEA’s Trends in Mathematics and Science Study (T
優惠價: 1 3000
無庫存
From Cave Man to Cave Martian ― Living in Caves on the Earth, Moon and Mars
滿額折
出版日:2019/04/14 作者:Manfred Von Ehrenfried  出版社:Springer Nature  裝訂:平裝
This book explores the practicality of using the existing subsurface geology on the Moon and Mars for protection against radiation, thermal extremes, micrometeorites and dust storms rather t
優惠價: 1 1444
無庫存
出版日:2019/04/03 作者:Miki Seko  出版社:Springer Nature  裝訂:精裝
This book addresses essential questions about housing by building theoretical models based on various real world problems in Japan and testing these models using econometric methods. Almost all relate
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Introduction to Light Microscopy ― Tips and Tricks for Beginners
滿額折
出版日:2019/03/20 作者:Dee Lawlor  出版社:Springer Nature  裝訂:精裝
This book offers a beginner’s guide to using light microscopes. It begins with a brief introduction to the physics of optics, which will give the reader a basic grasp of the behaviors of light. I
優惠價: 1 1710
無庫存
出版日:2019/03/20 作者:Jung-sup Um  出版社:Springer Nature  裝訂:精裝
This book introduces the concept of using drones as a teaching tool to explore the fundamental principles, technology and applications of Cyber-Physical Systems (CPS).A short introduction sets CPS in
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/10 作者:Vivek Kumar (EDT); Manoj Kumar (EDT); Ram Prasad (EDT)  出版社:Springer Nature  裝訂:精裝
The book discusses ways to overcome the side effects of using hydrocarbon-based products as energy sources. Hydrocarbons produce raw crude oil waste of around 600,000 metric tons per annum, with a ran
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/09 作者:Daniel L. Segal (EDT)  出版社:Springer Nature  裝訂:精裝
This book is a trusted resource for all psychologists, psychiatrists, and other practitioners using the interviewing process in diagnosing clients.It is a practical guide for beginning clinicians and
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/08 作者:Marcelo Corrales (EDT); Mark Fenwick (EDT); Helena Haapio (EDT)  出版社:Springer Nature  裝訂:精裝
There is a broad consensus amongst law firms and in-house legal departments that next generation “Legal Tech” – particularly in the form of Blockchain-based technologies and Smart Contracts – will hav
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/03/06 作者:Nereo Markulic; Kuba Raczkowski; Jan Craninckx; Piet Wambacq  出版社:Springer Nature  裝訂:精裝
This book explains concepts behind fractional subsampling-based frequency synthesis that is re-shaping today’s art in the field of low-noise LO generation. It covers advanced material, giving clear gu
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/02/23 作者:Benjamin F. Cravatt (EDT); Ku-lung Hsu (EDT); Eranthie Weerapana (EDT)  出版社:Springer Nature  裝訂:精裝
This volume provides a collection of contemporary perspectives on using activity-based protein profiling (ABPP) for biological discoveries in protein science, microbiology, and immunology. A common th
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/02/18 作者:Katashi Nagao  出版社:Springer Nature  裝訂:精裝
Focusing on students’ presentations and discussions in laboratory seminars, this book presents case studies on evidence-based education using artificial intelligence (AI) technologies. It proposes a s
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/02/18 作者:George P. Moschis  出版社:Springer Nature  裝訂:精裝
This book examines consumer behavior using the “life course” paradigm, a multidisciplinary framework for studying people's lives, structural contexts, and social change. It contributes to marketing re
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2019/02/07 作者:Annette Froehlich (EDT)  出版社:Springer Nature  裝訂:平裝
On the occasion of the 50th anniversary of the Outer Space Treaty this book gives a first insight into where the next generation considers room for further improvement of the Outer Space Treaty in ord
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Laser Odyssey ― Memoirs of Theodore H. Maiman
90 折
出版日:2019/02/06 作者:Theodore H. Maiman  出版社:Springer Nature  裝訂:平裝
In these engaging memoirs of a maverick, Theodore H. Maiman describes the life events leading to his invention of the laser in 1960. Maiman succeeded using his expertise in physics and engineering alo
優惠價: 9 2430
無庫存
出版日:2019/02/04 作者:Marius Hofert; Ivan Kojadinovic; Martin M踄hler; Jun Yan  出版社:Springer Nature  裝訂:平裝
This book introduces the main theoretical findings related to copulas and shows how statistical modeling of multivariate continuous distributions using copulas can be carried out in the R statistical
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Memristive Nonlinear Electronic Circuits ― Dynamics, Synchronization and Applications
滿額折
出版日:2019/01/28 作者:Fadhil Rahma; Saif Muneam  出版社:Springer Nature  裝訂:平裝
Memristive Nonlinear Electronic Circuits deals with nonlinear systems in the design and implementation of circuits for generating complex dynamics. The brief proposes a new memristor model using an in
優惠價: 1 3000
無庫存
出版日:2019/01/23 作者:Hiroyuki Fujiwara (EDT); Robert Collins (EDT)  出版社:Springer Nature  裝訂:精裝
Spectroscopic ellipsometry has been applied to a wide variety of material and device characterizations in solar cell research fields. In particular, device performance analyses using exact optical con
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/12/20 作者:Henrik Christensen (EDT)  出版社:Springer Nature  裝訂:平裝
This textbook introduces to the basic concepts of bioinformatics and enhances students’ skills in using software and tools relevant for investigations in microbiology. The most relevant methods to ana
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2018/12/18 作者:Ram Prasad (EDT); Elisabet Aranda (EDT)  出版社:Springer Nature  裝訂:精裝
Bioremediation refers to the clean-up of pollution in soil, groundwater, surface water, and air using typically microbiological processes. It uses naturally occurring bacteria and fungi or plants to d
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Participatory Research for Health and Social Well-being
90 折
出版日:2018/12/03 作者:Tineke Abma; Sarah Banks; Tina Cook; S鏮ia Dias; Wendy Madsen  出版社:Springer Nature  裝訂:精裝
This textbook is a comprehensive guide for students interested in using participatory research to improve people’s health and well-being. It is especially designed for those working in the fields of h
優惠價: 9 3443
無庫存
出版日:2018/11/22 作者:Yosio Edemir Shimabukuro; Fl嫛io Jorge Ponzoni  出版社:Springer Nature  裝訂:精裝
This book explains in a didactic way the basic concepts of spectral mixing, digital numbers and orbital sensors, and then presents the linear modelling technique of spectral mixing and the generation
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
  • 195
    5
  • 1
  • 2
  • 3
  • 4
  • 5

暢銷榜

客服中心

收藏

會員專區