Tietotekniikan matemaattinen teoria

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 …

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 …

Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important …

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 …

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 two-volume set LNCS 13344 and 13345 constitutes the proceedings of the 13th International Conference on Advances in Swarm Intelligence, ICSI 2022, which took place in Xi'an, …

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 …

Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware and software industries. This …

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 …

This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last …