Formal Techniques for Distributed Objects, Components, and Systems
EAN: 9783031086786
Alternating Direction Method of Multipliers for Machine Learning
Written by experts in machine learning and optimization, this is the first book providing a...
EAN: 9789811698392
COMPSTAT 2008
18th Symposium Held in Porto, Portugal, 2008
EAN: 9783790820836
Information Computing and Applications, Part I
Constitutes the proceedings of the International Conference on Information Computing and...
EAN: 9783642163357
Euro-Par 2010 - Parallel Processing
Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in...
EAN: 9783642152764
Ad Hoc Networks
Ad hoc networks refer to the wireless networking paradigm that covers a variety of network forms...
EAN: 9783642117220
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 12th International Symposium on Practical...
EAN: 9783642115028
Autonomic Computing and Communications Systems
These proceedings contain the papers presented at the Third International ICST C- ference on...
EAN: 9783642114816
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
This book constitutes the proceedings of the 19th International Conference on the Integration of...
EAN: 9783031080104
Net Benefit
This book explores the possible creation and impact of electronic markets underpinned by...
EAN: 9781349413560
Integration in Finite Terms: Fundamental Sources
This volume gives an up-to-date review of the subject Integration in Finite Terms.
EAN: 9783030987664
Markov Renewal and Piecewise Deterministic Processes
This book is aimed at researchers, graduate students and engineers who would like to be initiated...
EAN: 9783030704490
Integrated Formal Methods
This book constitutes the refereed proceedings of the 17th International Conference on Integrated...
EAN: 9783031077265
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 43rd International Conference on Application and...
EAN: 9783031066528
Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by...
EAN: 9783030738419
High Performance Computing in Science and Engineering '19
Presenting findings of one of Europe’s leading systems, this volume covers a wide variety of...
EAN: 9783030667948
Hajnal Andreka and Istvan Nemeti on Unity of Science
EAN: 9783030641894
Implementation and Application of Automata
This book constitutes the proceedings of the 26th International Conference on Implementation and...
EAN: 9783031074684
Quantum Computing Environments
This book explains the evolution of techniques and strategies in quantum computing, discussing...
EAN: 9783030897451
Recent Advances in Numerical Methods for Hyperbolic PDE Systems
EAN: 9783030728526
GreenEdge: New Perspectives to Energy Management and Supply in Mobile Edge Computing
At the infrastructure and service provider side, the energy cost of edge facilities accounts for...
EAN: 9789811696893
Combinatorial Algorithms
This book constitutes the refereed proceedings of the 33rd International Workshop on...
EAN: 9783031066771
