Sökt på: Sökresultat
totalt 242 träffar
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the …
Computational Science and Its Applications – ICCSA 2021
?The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in …
Descriptional Complexity of Formal Systems
This book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was supposed to take place in Seoul South …
Neural Information Processing
The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, …
Applied Reconfigurable Computing. Architectures, Tools, and Applications
This book constitutes the proceedings of the 16th International Symposium on Applied Reconfigurable Computing, ARC 2020, held in Toledo, Spain, in April 2020. The 18 full papers …
Membrane Computing
This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The …
Algorithms and Models for the Web Graph
This book constitutes the proceedings of the 16th International Workshop on Algorithms and Models for the Web Graph, WAW 2019, held in Brisbane, QLD, Australia, in July 2019. The 9 …
Integer Programming and Combinatorial Optimization
This book constitutes the refereed proceedings of the 20th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2019, held in Ann Arbor, MI, USA, in …
Wireless Algorithms, Systems, and Applications
The two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held …
Neural Information Processing
The seven-volume set of LNCS 11301-11307 constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, …
Neural Information Processing
The seven-volume set of LNCS 11301-11307 constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, …
Algorithms and Architectures for Parallel Processing
The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in …