Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 19th International... Læs mere
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal... Læs mere
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. They are organized in topical sections on multi-core and distributed systems;
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.
This book constitutes the proceedings of the 9th European Conference on Modelling... Læs mere
This book constitutes the proceedings of the 27th European Conference on Object-Oriented... Læs mere
This book constitutes the thoroughly refereed proceedings of the 8th... Læs mere
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.
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013.
This book constitutes the refereed proceedings of the 4th International Conference on Runtime... Læs mere