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

Test Pattern Generation Using Boolean Proof Engines

799
1 / 20
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
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]。
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]。
出版日: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]。
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
無庫存
出版日: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
無庫存
出版日:2022/04/30 作者:Rolf Drechsler(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2020/10/28 作者:E. S. Gopi  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
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
無庫存
A Fresh View on the Outer Space Treaty
90 折
出版日: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
無庫存
Elements of Copula Modeling With R
90 折
出版日: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
無庫存
Introduction to Bioinformatics in Microbiology
90 折
出版日: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]。
Finite Mixture of Skewed Distributions
90 折
出版日:2018/11/20 作者:V獳tor Hugo Lachos D嫛ila; Celso R獽ulo Barbosa Cabral; Camila Borelli Zeller  出版社:Springer Nature  裝訂:平裝
This book presents recent results in finite mixtures of skewed distributions to prepare readers to undertake mixture models using scale mixtures of skew normal distributions (SMSN). For this purpose,
優惠價: 9 2835
無庫存
出版日:2018/11/13 作者:Gar簜r 臆nason  出版社:Springer Nature  裝訂:平裝
?This book offers a clear analysis of Foucault’s work on scientific knowledge and its relationship to individuals and society. It suggests a way of using Foucault’s tools for science criticism and res
優惠價: 1 3499
無庫存
Geospatial Technologies for Agriculture ― Case Studies from India
90 折
出版日:2018/10/20 作者:K. V. Raju; V. R. Hegde; Satish A. Hegde  出版社:Springer Nature  裝訂:平裝
This book uniquely presents accurate and up-to-date information related to crops in small and fragmented agricultural lands with mixed cropping patterns. The book involves research using remote sensing (RS), Global Positioning Systems (GPS) and Geographic Information Systems (GIS) to develop crop inventories in three growing seasons in three villages across India to inform decision makers and planners on best practices for agricultural management. The data analysis of crop details using various geospatial technologies fills in gaps in statistical agriculture research, and provides reliable, replicable and efficient methods for generating agricultural statistics. The book will be of interest to statisticians, planners and decision makers in crop management and production.
優惠價: 9 2835
無庫存
Nulla ?Come Appare. Dialoghi Sulle Verit?Sommerse Della Crisi Economica ― Dialogues on Disputed Issues and Conflicting Theories
90 折
出版日:2018/09/26 作者:Mario Morroni  出版社:Springer Nature  裝訂:平裝
Have you ever puzzled over the causes of the 2007–8 financial crisis and wondered how it will affect all our futures? If so, this book is for you. Using imagined dialogue between three economists with
優惠價: 9 1134
無庫存
On Graph Approaches to Contextuality and Their Role in Quantum Theory
90 折
出版日:2018/08/08 作者:Barbara Amaral; Marcelo Terra Cunha  出版社:Springer Nature  裝訂:平裝
This book explores two of the most striking features of quantum theory – contextuality and nonlocality – using a formulation based on graph theory. Quantum theory provides a set of rules to predict pr
優惠價: 9 2835
無庫存
Fundamentals of Biomechanics ― Equilibrium, Motion, and Deformation
90 折
出版日:2018/07/07 作者:Nihat 畤kaya; Dawn Leger; David Goldsheyder; Margareta Nordin  出版社:Springer Nature  裝訂:平裝
This textbook integrates the classic fields of mechanics—statics, dynamics, and strength of materials—using examples from biology and medicine. The book is excellent for teaching either undergraduates
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
High Field Brain MRI ― Use in Clinical Practice
90 折
出版日:2018/06/09 作者:Tommaso Scarabino (EDT); Saverio Pollice (EDT); Teresa Popolizio (EDT)  出版社:Springer Nature  裝訂:平裝
This book describes the development of systems of magnetic resonance imaging using the higher magnetic field strength of 3 tesla, in comparison to the current gold standard of 1.5 tesla. These new sys
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Asymmetric Kernel Smoothing ― Theory and Applications in Economics and Finance
滿額折
出版日:2018/05/12 作者:Masayuki Hirukawa; Mari Sakudo  出版社:Springer Nature  裝訂:平裝
This is the first book to provide an accessible and comprehensive introduction to a newly developed smoothing technique using asymmetric kernel functions. Further, it discusses the statistical propert
優惠價: 1 2750
無庫存
出版日:2025/12/05 作者:Mattia Petrolo(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2025/10/30 作者:Ken Akiba  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Natural Language Generation
滿額折
出版日:2025/10/17 作者:Ehud Reiter  出版社:Springer Nature  裝訂:平裝
優惠價: 1 3479
無庫存
出版日:2025/04/17 作者:Eugene Wallingford(EDI)  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2025/03/20 作者:Khouloud Jlassi(EDI)  出版社:Springer Nature  裝訂:平裝
Wie Die Generation Z Das Gesundheitswesen Verändert: Zukunftspositive Geschichten Der Neuen Generation
滿額折
出版日:2025/03/14 作者:Inga Bergen(EDI)  出版社:Springer Nature  裝訂:平裝
優惠價: 1 950
無庫存
出版日:2025/02/07 作者:Tushar Kanti Saha  出版社:Springer Nature  裝訂:平裝
The Forcing Method in Set Theory: An Introduction Via Boolean Valued Logic
滿額折
出版日:2024/11/13 作者:Matteo Viale  出版社:Springer Nature  裝訂:平裝
優惠價: 1 3189
無庫存
Wie Die Generation Z Das Gesundheitswesen Verändert: Zukunftspositive Geschichten Der Neuen Generation
滿額折
出版日:2024/08/25 作者:Inga Bergen(EDI)  出版社:Springer Nature  裝訂:平裝
優惠價: 1 2319
無庫存
The Code of Mathematics: Proof and Truth
滿額折
出版日:2024/08/20 作者:Stefan Müller-Stach  出版社:Springer Nature  裝訂:平裝
優惠價: 1 3479
無庫存
出版日:2024/07/26 作者:Arvind Kumar Singh  出版社:Springer Nature  裝訂:平裝
出版日:2024/07/15 作者:Efstathios-Al Tingas(EDI)  出版社:Springer Nature  裝訂:平裝
出版日:2024/05/20 作者:Siqi Ding  出版社:Springer Nature  裝訂:平裝
Metrics for Test Reporting: Analysis and Reporting for Effective Test Management
滿額折
出版日:2024/04/04 作者:Frank Witte  出版社:Springer Nature  裝訂:平裝
優惠價: 1 3189
無庫存
  • 799
    20
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 20

暢銷榜

客服中心

收藏

會員專區