Der er 1 underkategori
for at udvide
kategorilisten.
Matematisk datateori
-
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information Computing and Applications, Part I: International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Constitutes the proceedings of the International Conference on Information Computing and Applications, held in Tangshan, China, in October 2010.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems (Bog, Paperback / softback, Engelsk)
S-Cube’s Foundations for the Internet of Services Today’s Internet is... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Information Systems for Indian Languages: International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra (Bog, Paperback / softback, Engelsk)
The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines geometric, algebraic, homological and combinatorial ideas.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Swarm Intelligence: 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 8th International Conference on Swarm... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Graph Transformation: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Artificial Immune Systems: 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II (Bog, Paperback / softback, Engelsk)
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage)
