Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
Visning: Type : Alle | Sprog : Engelsk | Format : Paperback / softback Der vises kun varer på engelsk
-
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Artificial Intelligence for Communications and Networks: 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings (Bog, Paperback / softback, Engelsk)
This book, AICON 2022, constitutes the post-conference proceedings of the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed workshop proceedings of the 11th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Requirements Engineering: Foundation for Software Quality: 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Information Technologies and Intelligent Decision Making Systems: Second International Conference, ITIDMS 2022, Virtual Event, December 12–14, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th Software... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 29th International Symposium on Model... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Advances in Theory and Practice of Computational Mechanics: Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021) (Bog, Paperback / softback, Engelsk)
This book is a collection of peer-reviewed best selected research papers... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Sustainability (Bog, Paperback / softback, Engelsk)
This book focuses on software sustainability, regarded in terms of how software is or can be developed while taking into consideration environmental, social, and economic dimensions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Domain Science and Engineering: A Foundation for Software Development (Bog, Paperback / softback, Engelsk)
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Design Thinking for Software Engineering: Creating Human-oriented Software-intensive Products and Services (Bog, Paperback / softback, Engelsk)
Despite the popularity of design thinking in research and practice, this area is still too often... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Requirements Engineering: Laying a Firm Foundation (Bog, Paperback / softback, Engelsk)
This textbook lays the foundations for System-of-Systems Requirements Engineering and Requirements Management practices, principles, technique, and... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
