for at udvide
kategorilisten.
Softwareudvikling
-
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) -
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 -
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) -
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) -
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) -
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) -
Mastering Software Variability with FeatureIDE (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
String Analysis for Software Verification and Security (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
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) -
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) -
Recommendation Systems in Software Engineering (Bog, Hardback, Engelsk)
Recommendation Systems in Software Engineering
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Lean Software Development in Action (Bog, Hardback, Engelsk)
Lean Software Development in Action
Levering: Skaffevare (forvent 14 - 30 hverdage)
