Filteren
1
Sorteren
Pagina 2 van
128 resultaten
Serie: Theoretical computer science and general issues
paperbackEngels9783030588137
3-10-2020
The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Meer
paperbackEngels9783030602475
30-9-2020
This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020. Meer
paperbackEngels9783030927011
23-12-2021
This book constitutes the thoroughly refereed workshop post-proceedings of the 19th International Workshop on Approximation and Online Algorithms, WAOA 2021, held in September 2021. Meer
paperbackEngels9783030921842
6-12-2021
The four-volume proceedings LNCS 13108, 13109, 13110, and 13111 constitutes the proceedings of the 28th International Conference on Neural Information Processing, ICONIP 2021, which was held during December 8-12, 2021. Meer
paperbackEngels9783030588168
30-9-2020
The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Meer
paperbackEngels9783030590154
10-9-2020
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 during September 13-15, 2020. Meer
paperbackEngels9783030791209
23-6-2021
This book constitutes the proceedings of the 25th International Conference on Implementation and Application of Automata, CIAA 2021, held in July 2021. Meer
paperbackEngels9783030856649
29-8-2021
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. Meer
paperbackEngels9783030532871
16-7-2020
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020. Meer
paperbackEngels9783319558486
25-3-2017
The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. Meer
paperbackEngels9783319107615
24-9-2014
This book constitutes the refereed proceedings of the 13th International Conference on Parallel Problem Solving from Nature, PPSN 2013, held in Ljubljana, Slovenia, in September 2014. Meer
paperbackEngels9783319341286
14-5-2016
The 47 revised full papers presented together with three invited talks were carefully reviewed and selected from 204 submissions. This program was completed by a demonstration and poster session, in which researchers had the chance to present their latest results and advances in the form of live demos. Meer
paperbackEngels9783319088662
4-8-2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. Meer
paperbackEngels9783319091433
6-8-2014
The six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14th International Conference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 2014. Meer
paperbackEngels9783319271187
16-12-2015
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015. Meer
paperbackEngels9783319271606
29-12-2015
This book constitutes the refereed proceedings of the
Workshops and Symposiums of the 15th International Conference on Algorithms and
Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China,
in November 2015. Meer
paperbackEngels9783319471655
6-10-2016
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. Meer
paperbackEngels9783319925363
26-5-2018
This book constitutes the refereed proceedings of the 15th International Symposium on Neural Networks, ISNN 2018, held in Minsk, Belarus in June 2018. Meer
paperbackEngels9783319458229
31-8-2016
This book constitutes the refereed proceedings of the 14th International Conference on Parallel Problem Solving from Nature, PPSN 2016, held in Edinburgh, UK, in September 2016. Meer
paperbackEngels9783319937007
12-6-2018
The three-volume set LNCS 10860, 10861 and 10862 constitutes the proceedings of the 18th International Conference on Computational Science, ICCS 2018, held in Wuxi, China, in June 2018. Meer