Related Books

Transactions on Petri Nets and Other Models of Concurrency VI
Language: en
Pages: 382
Authors: Wil M. P. van der Aalst
Categories: Computers
Type: BOOK - Published: 2012-11-14 - Publisher: Springer

DOWNLOAD EBOOK

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and in
Transactions on Petri Nets and Other Models of Concurrency VI
Language: en
Pages: 388
Authors: Springer
Categories:
Type: BOOK - Published: 2012-11-15 - Publisher:

DOWNLOAD EBOOK

A Mosaic of Computational Topics: from Classical to Novel
Language: en
Pages: 362
Authors: M.H. ter Beek
Categories: Computers
Type: BOOK - Published: 2020-11-20 - Publisher: IOS Press

DOWNLOAD EBOOK

This book, A Mosaic of Computational Topics: from Classical to Novel, is a collection of papers published to honor Professor Jetty Kleijn on the occasion of her
Theoretical Aspects of Computing – ICTAC 2021
Language: en
Pages: 405
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2021-08-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev Universi
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 280
Authors: Dirk Beyer
Categories: Computers
Type: BOOK - Published: 2019-04-03 - Publisher: Springer

DOWNLOAD EBOOK

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorith