TOP
紅利積點抵現金,消費購書更貼心
搜尋結果 /

test pattern generation using boolean proof engines

1448
1 / 37
The Resilience of Cultural Landscapes: Perspectives from UNESCO World Heritage Sites
90 折
出版日:2024/05/03 作者:Fabrizio Aimar  出版社:Springer Nature  裝訂:精裝
This book explores the possibility of building the resilience of the UNESCO cultural landscapes, both using theoretical conceptions and practical strategies and actions. Two case studies have been selected, one in Italy and one in China, which have then been explored for the first time in such a comparative way. Different notions of landscape, as well as the driving force of changes affecting these landscapes, are examined and compared.Moreover, the perceptions of the local communities regarding these landscapes are examined, using online questionnaires with over 400 participants. This research highlights the need for an integrated management system, building stronger rural communities able to manage change and continuity. Five pillars to build the resilience of these landscapes have been provided, with schemes and figures, requiring a people-centered approach in their management.This book demonstrates strong connections between identity and landscape resilience, especially in inlandar
優惠價: 9 6299
庫存:1
The Modern Business Data Analyst: A Case Study Introduction Into Business Data Analytics with Crisp-DM and R
滿額折
出版日:2024/06/17 作者:Dominik Jung  出版社:Springer Nature  裝訂:平裝
This book illustrates and explains the key concepts of business data analytics from scratch, tackling the day-to-day challenges of a business data analyst. It provides you with all the professional tools you need to predict online shop sales, to conduct A/B tests on marketing campaigns, to generate automated reports with PowerPoint, to extract datasets from Wikipedia, and to create interactive analytics Web apps. Alongside these practical projects, this book provides hands-on coding exercises, case studies, the essential programming tools and the CRISP-DM framework which you'll need to kickstart your career in business data analytics.The different chapters prioritize practical understanding over mathematical theory, using realistic business data and challenges of the Junglivet Whisky Company to intuitively grasp key concepts and ideas. Designed for beginners and intermediates, this book guides you from business data analytics fundamentals to advanced techniques, covering a large number
優惠價: 1 3479
庫存:1
出版日: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]。
Advances in Mathematics Education Research on Proof and Proving ― An International Perspective
90 折
出版日: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]。
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]。
Introduction to Digital Systems Design
90 折
出版日: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]。
出版日: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
無庫存
High-voltage Test and Measuring Techniques
90 折
出版日: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]。
Small-signal Stability Analysis of Power Transmission Systems With Large-scale Wind Power Generation
90 折
出版日: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]。
出版日:2000/04/01 作者:Wladyslaw Narkiewicz  出版社:Springer Nature  裝訂:平裝
1. People were already interested in prime numbers in ancient times, and the first result concerning the distribution of primes appears in Euclid's Elemen­ ta, where we find a proof of their infinitud
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2025/11/14 作者:Barbara Omylska  出版社:Springer Nature  裝訂:精裝
This book describes in detail a research project dedicated to liquid-particle flow using ultrasound techniques. The project consists of theoretical, experimental, data science, finite element modeling, mechanical design and project management components. The objective of the project was to develop the ultrasonic methodology for measurement and characterization of liquid flow containing solid particles, in online (real-time) measurement conditions. The project consists of primary and complementary studies. The primary studies comprise development of the ultrasonic methodology for the simultaneous measurement of the average particle concentration and flow speed parameters. The developed methodology is based on the ultrasonic attenuation spectroscopy and the sound speed measurement methods, supported by data science programs. The complementary studies include acoustic streaming, designing a small-scale rotational test cell with an annular flow channel, testing it for various applications
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Qualitative Methods & Data Analysis Using Atlas.Ti: A Comprehensive Researchers' Manual
90 折
出版日:2024/02/11 作者:Ajay Gupta  出版社:Springer Nature  裝訂:平裝
This book provides an in-depth roadmap for qualitative research methods and data analysis across disciplines using ATLAS.ti. It encompasses and rationalizes key qualitative research concepts and methods with innovative frameworks to enrich the reader’s understanding of qualitative research methods and data analysis. The book contains multiple real-world projects that assist readers in developing conceptual and theoretical knowledge, as well as gaining insights from fieldwork, visualizing data collection, analysis, and methodological interpretations.This easy to use book provides a pragmatic approach to qualitative methods, proficiency in capturing field observations, user-friendly steps to data analysis starting from transcription, preparation of data, reading and identification of quotations, coding, memoing, commenting, code groups, creating smart codes and groups using set, semantic, and proximity operators resulting in generating numerous insightful thematic reports in avariety of
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Biogas Combustion Engines for Green Energy Generation
滿額折
出版日:2022/04/01 作者:Eiji Tomita  出版社:Springer Nature  裝訂:平裝
優惠價: 1 3189
無庫存
出版日: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]。
Clinical Guide to Assessment and Treatment of Communication Disorders
90 折
出版日: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/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]。
出版日:2023/06/08 作者:Rolf Drechsler(EDI)  出版社:Springer Nature  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2022/04/30 作者:Rolf Drechsler(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/10/28 作者:E. S. Gopi  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 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]。
  • 1448
    37
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 37

暢銷榜

客服中心

收藏

會員專區