Filter
Nettverksmaskiner
Filter
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. …
The21stEuropeanConferenceonObject-OrientedProgramming,ECOOP2007, was held in Berlin, Germany, on July 30 to August 3, 2007. ECOOP is the most importantand inspiring forumin …
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented …
Welcome to ICSOC-ServiceWave 2009. This volume contains the research and demopapersselectedforpresentationattheSeventhInternationalConferenceon Service-Oriented Computing, which …
Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical …
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November …
This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, …
This book constitutes the refereed post-proceedings of the 9th European Performance Engineering Workshop, EPEW 2012, held in Munich, Germany, and the 28th UK Performance …
This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January …
This volume contains the reports from the workshopsheld at the 21st European Conference on Object-Oriented Programming - ECOOP 2007 - at Technische Universit. …