for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
This book constitutes the proceedings of the 11th European Workshop on Performance... Læs mere
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP... Læs mere
This book constitutes the refereed proceedings of workshops, held at the 33rd International Conference on Conceptual Modeling, ER 2014, in Atlanta, GA, USA in October 2014.
This book contains 15 thoroughly refereed research papers selected from... Læs mere
This book constitutes the thoroughly refereed proceedings of the 4th... Læs mere
This bookconstitutes the revised selected papers of the Third International Conferenceon... Læs mere