Der er 3 underkategorier
for at udvide
kategorilisten.
Softwareudvikling
-
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings (Bog, Paperback / softback, Engelsk)
Areas of interest include mathematical and philosophical logic, computer science logic, foundations... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Smart Ships (Bog, Hardback, Engelsk)
The purpose of this edited book is to provide state-of-the-art approaches and novel technologies for smart ships coving a range of topics in the areas so that it will be an excellent reference book for the researchers, students and professionals in these areas.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Evolutionary Optimization Algorithms (Bog, Hardback, Engelsk)
The text covers evolutionary optimizing algorithms with the help of MATLAB and Python programming in a comprehensive manner. It will be an ideal reference text for... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Securing Systems: Applied Security Architecture and Threat Models (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Core Software Security: Security at the Source (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
C Programming: Learn to Code (Bog, Hardback, Engelsk)
C programming is taught as the primary computer language in almost every university and its affiliated colleges. as it acts as a building block to learn other high-level... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Essentials of Microservices Architecture: Paradigms, Applications, and Techniques (Bog, Paperback / softback, Engelsk)
The book explains the concepts behind microservices, discovery of microservices and how individual services can be combined to yield composite service(i.e., service composition) and techniques of service composition.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Engineering for Variability Intensive Systems: Foundations and Applications (Bog, Paperback / softback, Engelsk)
This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
