This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
WeiterlesenThis is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...
Weiterlesen
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
Weiterlesen
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Weiterlesen
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
Weiterlesen
This book series looks at each of the main coastal habitats - salt marshes, sand dunes and sand/shingle shores, modified ...
Weiterlesen
The book tackles the problems that must be addressed before sensors are deployed for surveillance, tracking, and other monitoring ...
Weiterlesen
Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space ...
Weiterlesen
This book constitutes the refereed proceedings of the Third International Conference on Scale-Space and Morphology in Computer ...
Weiterlesen
This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...
Weiterlesen
This book presents the Scaling Management Framework, a model based on collected experiences from companies that have already ...
Weiterlesen
The book draws together a series of important case studies to provide a comprehensive review and synthesis of the most recent ...
Weiterlesen
This book constitutes the refereed proceedings of the 5th Annual Smart City 360° Summit, held in Braga, Portugal, in December ...
Weiterlesen
This book details the mathematical fundamentals of the lifting transform and illustrates the latest applications of the transform ...
WeiterlesenThis book trains the next generation of scientists representing different disciplines to leverage the data generated during ...
Weiterlesen
Biometrics is becoming increasingly common in establishments that require high security such as state security and financial ...
Weiterlesen
This book constitutes the proceedings of the 12th International Conference on Security and Cryptography for Networks, SCN ...
Weiterlesen
This two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on ...
Weiterlesen
This two-volume set LNICST 335 and 336 constitutes the post-conference proceedings of the 16th International Conference on ...
Weiterlesen
This book constitutes the refereed proceedings of the First International Conference on Security and Privacy in Digital Economy, ...
Weiterlesen