Matematisk databehandlingsteori

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October …

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine …

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose …

Dieses Buch ist aus verschiedenen Vorlesungen der Autoren an den Universitäten Hamburg und Trier entstanden. Es bietet eine umfassende und aktuelle Darstellung des Themenbereichs …

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October …

Beginning with an informal introduction to language equations, this book presents a framework for a general theory for solving systems of equations and relations between languages. …

This book constitutes the thoroughly refereedpost-conference proceedings of the 7th International Conference on TrustedSystems, INTRUST 2015, held in Beijing, China, in December …

This book constitutes the refereed proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC 2013, held in Hong Kong, China in December 2013. The 67 …

This book explains the theory and application of evolutionary computer vision, a new paradigm where challenging vision problems can be approached using the techniques of …

Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. …