for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
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 10th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 34th International... Læs mere
This book constitutes the refereed proceedings of the Fourth International Symposium on... Læs mere
This book constitutes the refereed proceedings of the 25th International... Læs mere
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 refereed proceedings of the 5th International Conference on Reversible... Læs mere
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
The papers cover a wide spectrum of topics, such as, among others: web mining and knowledge extraction,... Læs mere