出版社: Springer International Publishing
発売日: 2020年01月07日
This book presents selected peer-reviewed contributions from the International Conference on Time Series and Forecasting, ITISE 2018, held in Granada, Spain, on September 19-21, 2018. The first thre……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月21日
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.
The 15 revised full pa……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月21日
This book constitutes the proceedings of the 22nd International Conference on Discovery Science, DS 2019, held in Split, Coratia, in October 2019.
The 21 full and 19 short papers presented together ……続きを見る
This book is dedicated to Jinhua Cao on the occasion of his 80th birthday. Jinhua Cao is one of the most famous reliability theorists. His main contributions include: published over 100 influential ……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月25日
This book constitutes the proceedings of the 18th International Conference on Information Technologies and Mathematical Modelling, ITMM 2019, named after A.F. Terpugov, held in Saratov, Russia, in J……続きを見る
On the one side, Industrial competitiveness today means shorter product lifecycles, increased product variety, and shorter times to market and customized tangible products and services. To face thes……続きを見る
著者:Christina Giarmatzi
出版社: Springer International Publishing
発売日: 2019年10月26日
Causality is central to understanding the mechanisms of nature: some event "A" is the cause of another event “B”. Surprisingly, causality does not follow this simple rule in quantum physics: due to ……続きを見る
Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein. Es stellt gru……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月18日
This book constitutes the proceedings of the 41st DAGM German Conference on Pattern Recognition, DAGM GCPR 2019, held in Dortmund, Germany, in September 2019.
The 43 revised full papers presented we……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月20日
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […]shall deliver the method through which things that are conceivable can be exactly determined”; in a……続きを見る
This book offers an introduction to the theory of groupoids and their representations encompassing the standard theory of groups. Using a categorical language, developed from simple examples, the th……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月21日
This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019. The 34 pa……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月21日
This volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019.
The 59 full papers presented in this ……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月18日
This book constitutes the refereed proceedings of the 38th International Conference on Conceptual Modeling, ER 2019, held in Salvador, Brazil, in November 2019.
The 22 full and 22 short papers prese……続きを見る
出版社: Springer International Publishing
発売日: 2019年12月04日
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
The 28 full and 8 short papers presen……続きを見る
出版社: Springer International Publishing
発売日: 2019年08月24日
This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019.
The 19……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月29日
This book constitutes the refereed joint proceedings of the Second International Workshop on Interpretability of Machine Intelligence in Medical Image Computing, iMIMIC 2019, and the 9th Internation……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月29日
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revis……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月29日
This book constitutes revised and selected papers from the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in Jul……続きを見る
出版社: Springer International Publishing
発売日: 2019年10月30日
This book focuses on the theoretical side of temporal network research and gives an overview of the state of the art in the field. Curated by two pioneers in the field who have helped to shape it, t……続きを見る
Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics. This pragmatic book shows you how to solve your programming problems, starting with a brief p……続きを見る
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as performance optimization in IoT,……続きを見る
著者:Jan Treur
出版社: Springer International Publishing
発売日: 2019年11月03日
This book addresses the challenging topic of modeling adaptive networks, which often manifest inherently complex behavior. Networks by themselves can usually be modeled using a neat, declarative, an……続きを見る
This book provides a comprehensive overview of signal filtering, including an introduction, definitions of the terms and algorithms for numerical calculation of the properties of the transfer functi……続きを見る
著者:D. C. Makinson
出版社: Taylor & Francis
発売日: 2019年11月04日
Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strikes a balance between material of a philosophical and……続きを見る
Linear Differential Equations and Oscillators is the first book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the fourth……続きを見る
Higher-Order Differential Equations and Elasticity is the third book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set, they are the f……続きを見る
Simultaneous Differential Equations and Multi-Dimensional Vibrations is the fourth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a ……続きを見る
Singular Differential Equations and Special Functions is the fifth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set. As a set they are the……続きを見る
Classification and Examples of Differential Equations and their Applications is the sixth book within Ordinary Differential Equations with Applications to Trajectories and Vibrations, Six-volume Set……続きを見る