Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings (Bog, Paperback / softback, Engelsk)
The 34 revised full papers (22 technical papers, 9 application... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Principles and Practice of Constraint Programing-CP 2013: 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Artificial Neural Networks and Machine Learning -- ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
The focus of the papers is on following topics: neurofinance graphical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 4th International Conference on Runtime... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Algorithmic Learning Theory: 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Haptic and Audio Interaction Design: 8th International Workshop, HAID 2013, Daejeon, Korea, April 18-19, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage)
