Foundations of Software Technology and Theoretical Computer Science

InhaltsangabeSystem specification and refinement in temporal logic.- Fixed points of Büchi automa...

Information Systems Security

This book constitutes the refereed proceedings of the 10th International Conference on Informatio...

Foundations of Software Technology and Theoretical Computer Science

InhaltsangabeSome observations about the nature of computer science.- Essential intersection type...

Access Control for a Collaborative, Distributed Business Environment

Access control for a collaborative business environment not only needs to manage resources of ind...

Information Systems Security

This book constitutes the refereed proceedings of the 13th International Conference on Informatio...

Information Systems Security

Machine Learning and Big Data Analytics (Proceedings of International Conference on Machine Learning and Big Data Analytics (ICMLBDA) 2021)

This edited volume on machine learning and big data analytics (Proceedings of ICMLBDA 2021) is in...

Information Systems Security

This book constitutes the proceedings of the 17th International Conference on Information Systems...

Blockchain - ICBC 2022

This book constitutes the proceedings of the 5th International Conference on Blockchain, ICBC 202...

Information Systems Security

This book constitutes the refereed proceedings of the18th International Conference on Information...

Information Systems Security

This book constitutes the refereed proceedings of the19th International Conference on Information...

Information Systems Security

This book constitutes the refereed proceedings of the 20th International Conference on Informatio...