Skip to main content

Indkøbskurv

Du får VIP-behandling!

Vare(r) ikke tilgængelig til køb
Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.
varervare
varervare

Anbefalet til dig

Loading...

Softwareudvikling e-bøger

Hvis du kan lide Softwareudvikling e-bøger, så vil du elske disse fremragende valg.
Viser 1801 - 1824 af 9590 resultater
Skip side bar filters
  • Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV

    Serier Bog 4 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... Læs mere

    466,97 kr.

  • 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

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Læs mere

    Gratis

  • Language, Logic, and Computation

    13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers

    Redigeret af Aybüke Özgün, Yulia Zinova ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019.The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.The symposium offered ... Læs mere

    700,49 kr.

  • Architekturen Verteilter Softwaresysteme

    SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration

    Serier serie Computer Science and Engineering (German Language)
    Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B. ... Læs mere

    349,08 kr.

  • Agile objektorientierte Software-Entwicklung

    Schritt für Schritt vom Geschäftsprozess zum Java-Programm

    Serier serie Computer Science and Engineering (German Language)
    Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells werden Geschäftsprozesse modelliert, Anwendungsfälle und User Stories abgeleitet sowie in iterativer Weise die Softwarelösung methodisch entworfen und auf der Jakarta EE Plattform beispielhaft ... Læs mere

    261,83 kr.

  • Rules and Reasoning

    4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together ... Læs mere

    466,97 kr.

  • Search-Based Software Engineering

    13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

    Redigeret af Una-May O'Reilly, Xavier Devroey ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on ... Læs mere

    513,67 kr.

  • Functional and Logic Programming

    15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... Læs mere

    466,97 kr.

  • Algorithms and Architectures for Parallel Processing

    15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

    Serier Bog 2 - Springer Nature Proceedings Computer Science
    This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602 ... Læs mere

    466,97 kr.

  • Computer Security – ESORICS 2020

    25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

    Serier Bog 2 - Springer Nature Proceedings Computer Science
    The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... Læs mere

    466,97 kr.

  • Digital Health Transformation, Smart Ageing, and Managing Disability

    20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions ... Læs mere

    Gratis

  • Model-Driven Organizational and Business Agility

    Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Third International Workshop on Model-Driven Organizational and Business Agility, MOBA 2023, which took place in Zaragoza, Spain, in June 2023.MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling.The 9 papers presented in this volume ... Læs mere

    513,67 kr.

  • SAP S/4HANA Financial Accounting Configuration

    Learn Configuration and Development on an S/4 System

    Serier serie Professional and Applied Computing (R0)
    Upgrade your knowledge to learn S/4HANA, the latest version of the SAP ERP system, with its built-in intelligent technologies, including AI, machine learning, and advanced analytics.Since the first edition of this book published as SAP ERP Financial and Controlling: Configuration and Use Management, the perspective has changed significantly as S/4HANA now comes with new features, such as FIORI ... Læs mere

    549,92 kr.

  • Requirements Engineering for Digital Health

    Serier serie Engineering (R0)
    Healthcare and well-being have captured the attention of established software companies, start-ups, and investors. Software is starting to play a central role for addressing the problems of the aging society and the escalating cost of healthcare services. Enablers of such digital health are a growing number of sensors for sensing the human body and communication infrastructure for remote meetings, ... Læs mere

    840,61 kr.

  • Computer Security – ESORICS 2020

    25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... Læs mere

    466,97 kr.

  • Enterprise Information Systems

    23rd International Conference, ICEIS 2021, Virtual Event, April 26–28, 2021, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book contains extended, revised and selected papers from the 23rd International Conference on Enterprise Information Systems, ICEIS 2021, held online during April 2021.The 26 papers presented in this volume were carefully reviewed and selected for inclusion from a total of 241 submissions. They are grouped in sections on databases and information systems integration, artificial intelligence ... Læs mere

    747,20 kr.

  • Model-Driven Development of Akoma Ntoso Application Profiles

    A Conceptual Framework for Model-Based Generation of XML Subschemas

    Serier serie Computer Science (R0)
    This book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes.The described model-driven development approach ensures consistent and error-proof application of ... Læs mere

    420,26 kr.

  • Deployment and Operation of Complex Software in Heterogeneous Execution Environments

    The SODALITE Approach

    Serier serie Computer Science (R0)
    This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and ... Læs mere

    Gratis

  • Enterprise Architecture Function

    A Pattern Language for Planning, Design and Execution

    af Ingo Arnold ...
    Serier serie Computer Science (R0)
    This book provides a method to plan, develop, validate, or evolve the design of an enterprise architecture function so that it fully meets the organization’s needs. The reader will benefit from this book in two ways. First, it provides a structured overview and orientation to the subject of architecture from an architecture function perspective. Second, it guides through the process of planning, ... Læs mere

    840,61 kr.

  • Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... Læs mere

    793,91 kr.

  • Software Quality: The Next Big Thing in Software Engineering and Quality

    14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17–19, 2022, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new ... Læs mere

    560,38 kr.

  • Frontiers of Algorithmics

    International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings

    Redigeret af Jing Chen, Minming Li, Guochuan Zhang ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021.The conference IJTCS-FAW 2021 was held in hybrid mode due to the COVID-19 pandemic. The 5 full papers presented in this ... Læs mere

    513,67 kr.

  • Machine Learning and Knowledge Discovery in Databases: Research Track

    European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part V

    Serier Bog 5 - Springer Nature Proceedings Computer Science
    The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track ... Læs mere

    653,79 kr.

  • Cloud Computing and Services Science

    10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format.The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses ... Læs mere

    466,97 kr.