Filter
Matematisk databehandlingsteori
Filter
CAiSE '91, held at the Norwegian Institute of Technology in May 1991, is the third in a series of conferences on advanced information systems engineering. The call for papers for …
This book constitutes the refereed proceedings of the 10th International Conference on Culture and Computing, C&C 2022, held as part of the 23rd International Conference, HCI …
This book constitutes revised selected papers from 7 workshops that were held in conjunction with the ISC High Performance 2016 conference in Frankfurt, Germany, in June 2016. The …
This book constitutes the refereed proceedings of the International Conference on Evolutionary Computation held jointly with the 4th Conference on Parallel Problem Solving from …
The Workshop on Approximation Algorithms for Combinatorial Optimization Problems APPROX 2002 focused on algorithmic and complexity aspects ar- ing in the development of e?cient …
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 …
The ICANNGA series of conferences has been organized since 1993 and has a long history of promoting the principles and understanding of computational intelligence paradigms within …
This book constitutes the refereed proceedings of the 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998.The Euro-Par'98 …
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 …
The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in …