parallel  (73.606 Angebote unter 27.908.876 Artikeln)

This book constitutes the refereed proceedings of the 4th International Workshop, PMBS 2013 in Denver, CO, USA in November 2013. The 14 papers presented in this volume were carefully reviewed and s...

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers

The book constitutes the proceedings of the 24th International Conference on Artificial Neural Networks, ICANN 2014, held in Hamburg, Germany, in September 2014. The 107 papers included in the proc...

This book constitutes the refereed proceedings of the 7th International Conference on High-Performance Computing and Networking, HPCN Europe 1999, held in Amsterdam, The Netherlands in April 1999. ...

This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus...

6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers

Join Tim and Sam on an unforgettable school trip to Transylvania, a land steeped in mystery and legends. Little did they know that their journey would lead them to the infamous Count Dracula's cast...

Join Tim and Sam on an unforgettable school trip to Transylvania, a land steeped in mystery and legends. Little did they know that their journey would lead them to the infamous Count Dracula's cast...

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented...

Mathematical Modeling of Biosensors

Mathematical Modeling of Biosensors

This book provides an overview of the resources and research projects that are bringing Big Data and High Performance Computing (HPC) on converging tracks. It demystifies Big Data and HPC for the r...

Bringing Mathematics to Life

International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

30th International Symposium on Computer and Information Sciences (ISCIS 2015)