Hakutulokset: Hakutulos
yhteensä 230 hakutulosta
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 …
Computer Vision Systems
This book constitutes the refereed proceedings of the 13th International Conference on Computer Vision Systems, ICVS 2021, held in September 2021. Due to COVID-19 pandemic the …
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, …
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 …
Advances in Swarm Intelligence
The two-volume set of LNCS 11655 and 11656 constitutes the proceedings of the 10th International Conference on Advances in Swarm Intelligence, ICSI 2019, held in Chiang Mai, …
Languages and Compilers for Parallel Computing
This book constitutes the thoroughly refereed post-conference proceedings of the 33rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in …
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The …
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 …
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 …
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 …