for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 27th International Conference on... Læs mere
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.
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