The annual international conference on Database and Expert Systems Applications (DEXA) is now well established as a reference ...
اقرأ المزيد
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
اقرأ المزيد
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
اقرأ المزيدMachine learning and deep learning, as we know, have started ruling over almost every field in the computing industry and ...
اقرأ المزيد
Build your own pipeline based on modern TensorFlow approaches rather than outdated engineering concepts. This book shows ...
اقرأ المزيد
Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based ...
اقرأ المزيدDesign of Systems on a Chip: Design&Test is the second of two volumes addressing the design challenges associated with new ...
اقرأ المزيد
This book presents the latest thinking in adaptive management for forest ecosystems. Based on the ‘multiple path’ principle, ...
اقرأ المزيدIn DevOps for Digital Leaders, deep collective experience on both sides of the dev–ops divide informs the global thought ...
اقرأ المزيد
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
اقرأ المزيد
It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; ...
اقرأ المزيد
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
اقرأ المزيد
Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT 2005, held ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
Digital Noise Monitoring of Defect Origin is for both academics and professionals in the fields of engineering, biological ...
اقرأ المزيد
Digital Self-tuning Controllers presents you with a complete course in self-tuning control, beginning with a survey of adaptive ...
اقرأ المزيد
This book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization ...
اقرأ المزيد
Digital Transformation of the Laboratory: A Practical Guide to the Connected Lab delivers essential and transformative new ...
اقرأ المزيد
Highly automated production and logistics facilities require mechatronic drive solutions. This book describes in which way ...
اقرأ المزيد
Our aim is to introduce, explain, and discuss the fundamental problems, ideas, concepts, results, and methods of the theory ...
اقرأ المزيد