Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 34th International... Læs mere
This book constitutes the refereed proceedings of the 5th International Conference on Reversible... Læs mere
This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The papers cover various topics such as complexity of automata;
This book constitutes the refereed proceedings of the 15th International... Læs mere
This book constitutes the refereed proceedings of the 4th International Conference on... Læs mere
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed... Læs mere
This book constitutes the refereed proceedings of the 21st Annual European Symposium on Algorithms, ESA 2013, held in Sophia Antipolis, France, in September 2013 in the context of the combined conference ALGO 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.