Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Bog, Paperback / softback, Engelsk)
He won a number of prestigious science and technology awards, including a 2nd prize of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Bog, Paperback / softback, Engelsk)
This book constitutes revised lectures from the 11th Symposium on Formal... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model-Driven Dependability Assessment of Software Systems (Bog, Paperback / softback, Engelsk)
This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Surface- and Groundwater Quality Changes in Periods of Water Scarcity (Bog, Paperback / softback, Engelsk)
The third section is devoted to a comprehensive regional assessment of hydrological drought on Slovak rivers, followed by evaluation... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Service Engineering: European Research Results (Bog, Paperback / softback, Engelsk)
Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction: 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2013, held in Guanacaste, Costa Rica, in December 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design Thinking Research: Building Innovation Eco-Systems (Bog, Paperback / softback, Engelsk)
This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA, and Hasso Plattner... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering: 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Architecture of Computing Systems -- ARCS 2014: 27th International Conference, Lubeck, Germany, February 25-28, 2014, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 27th International Conference on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Frontiers in Gaming Simulation: 44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013. Revised Selected (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
