Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Bemærk: Kan ikke leveres før jul.
Logic of Computation (Bog, Hardback, Engelsk)The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan leveres før jul.
Security Software Development: Assessing and Managing Security Risks (Bog, Hardback, Engelsk)Outlines and compares various techniques to assess, identify, and manage security risks and vulnerabilities, with step-by-step... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Specification of Software Systems (Bog, Hardback, Engelsk)Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Information Systems Development: Reflections, Challenges and New Directions (Bog, Hardback, Engelsk)Information Systems Development: Reflections, Challenges and New Directions, is the collected proceedings of the 20th International Conference on Information Systems Development held in Edinburgh, Scotland, August 24 - 26, 2011.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Finite Difference Computing with Exponential Decay Models (Bog, Hardback, Engelsk)This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computational Sustainability (Bog, Hardback, Engelsk)Thiscovers topics such as renewable energy supply, energy storage and e-mobility, efficiencyin data centers and networks, sustainable food and water supply, sustainablehealth, industrial production and quality, etc.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mastering Software Variability with FeatureIDE (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
String Analysis for Software Verification and Security (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Enabling Things to Talk: Designing IoT solutions with the IoT Architectural Reference Model (Bog, Hardback, Engelsk)Furthermore, best practices and tips on how system engineers can use the ARM to develop specific IoT architectures for dedicated IoT solutions are illustrated and exemplified in reverse mapping exercises of existing standards and platforms.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Situational Method Engineering (Bog, Hardback, Engelsk)While previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recommendation Systems in Software Engineering (Bog, Hardback, Engelsk)Recommendation Systems in Software Engineering
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Lean Software Development in Action (Bog, Hardback, Engelsk)Lean Software Development in Action
Levering: Skaffevare (forvent 14 - 30 hverdage)
