for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
The 34 revised full papers (22 technical papers, 9 application... Læs mere
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
The focus of the papers is on following topics: neurofinance graphical... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 4th International Conference on Runtime... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013, held in Singapore in October 2013, and co-located with the 16th International Conference on Discovery Science, DS 2013.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 8th International Conference on Haptic and Audio Interaction Design, HAID 2013, held in Daejeon, Korea, in April 2013. The 14 full papers presented were carefully reviewed and selected from numerous submissions.