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 121 - 144 af 9926 resultater
Skip side bar filters
  • Science of Cyber Security

    Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers

    Redigeret af Feng Liu, Jia Xu, Shouhuai Xu, Moti Yung ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Second International Conference on Science of Cyber Security, SciSec 2019, held in Nanjing, China, in August 2019.The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 62 submissions.These papers cover the following subjects: Artificial Intelligence for Cybersecurity, Machine Learning for Cybersecurity, ... Læs mere

    420,11 kr.

  • Unifying Theories of Programming

    6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

    Redigeret af Jonathan P. Bowen, Huibiao Zhu ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Læs mere

    420,11 kr.

  • Static Analysis

    24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

    Redigeret af Francesco Ranzato ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Læs mere

    420,11 kr.

  • Membrane Computing

    18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017.The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure ... Læs mere

    420,11 kr.

  • Internet of Things – ICIOT 2018

    Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2018, held in Seattle, WA, USA, in June 2018.The 13 full papers and 1 short paper presented in this volume was carefully reviewed and selected for inclusion in this book. The contributions are organized in topical sections named: Research Track – Architecture; Research Track – Smart IoT; Application ... Læs mere

    420,11 kr.

  • Services Computing – SCC 2018

    15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the International Conference on Services Computing, SCC 2018, as part of SCF 2018, held in Seattle, WA, USA, in June 2018. The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions. The papers cover the science and technology of leveraging computing and information technology to model, create, operate, and manage ... Læs mere

    420,11 kr.

  • Algorithms and Architectures for Parallel Processing

    18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

    Redigeret af Jaideep Vaidya, Jin Li ...
    Serier Bog 4 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... Læs mere

    420,11 kr.

  • Security Standardisation Research

    4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

    Redigeret af Cas Cremers, Anja Lehmann ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Læs mere

    420,11 kr.

  • Human-Computer Interaction. Design Practice in Contemporary Societies

    Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

    Redigeret af Masaaki Kurosu ...
    Serier Bog 3 - Springer Nature Proceedings Computer Science
    The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions ... Læs mere

    672,24 kr.

  • Computational Science and Its Applications – ICCSA 2019

    19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

    Serier Bog 2 - Springer Nature Proceedings Computer Science
    The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Læs mere

    756,36 kr.

  • Structured Object-Oriented Formal Language and Method

    10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model ... Læs mere

    420,11 kr.

  • Cloud Computing and Big Data

    Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Conference on Cloud Computing and Big Data, CloudCom-Asia 2015, held in Huangshan, China, in June 2015.The 29 full papers and two keynote speeches were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on cloud architecture; applications; big data and social network; security ... Læs mere

    420,11 kr.

  • SOFSEM 2016: Theory and Practice of Computer Science

    42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.The 43 full papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections named: foundations of computer science; software ... Læs mere

    420,11 kr.

  • Functional and Logic Programming

    13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

    Redigeret af Andy King, Oleg Kiselyov ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of ... Læs mere

    394,99 kr.

  • Distributed Applications and Interoperable Systems

    16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 16th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2016, held in Heraklion, Crete, Greece, in June 2016.The 13 papers presented together with 3 short papers in this volume were carefully reviewed and selected from 34 submissions. They represent a compelling sample of the state-of-the-art in the area of ... Læs mere

    420,11 kr.

  • Analytical and Stochastic Modelling Techniques and Applications

    23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016.The 21 full papers presented in this book were carefully reviewed and selected from 30 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for ... Læs mere

    420,11 kr.

  • Runtime Verification

    16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

    Redigeret af Yliès Falcone, César Sánchez ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of ... Læs mere

    420,11 kr.

  • Business Modeling and Software Design

    9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

    Redigeret af Boris Shishkov ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Symposium on Business Modeling and Software Design, BMSD 2019, held in Lisbon, Portugal, in July 2019. It contains 12 full and 11 short papers.BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of ... Læs mere

    420,11 kr.

  • Advanced Information Systems Engineering Workshops

    CAiSE 2024 International Workshops, Limassol, Cyprus, June 3–7, 2024, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024.The total of 25 full and 5 short papers included in these proceedings were carefully reviewed and selected from 60 submissions. They stem from the ... Læs mere

    924,36 kr.

  • Business Information Systems

    22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNBIP 353 and 354 constitutes the proceedings of the 22nd International Conference on Business Information Systems, BIS 2019, held in Seville, Spain, in June 2019.The theme of the BIS 2019 was "Data Science for Business Information Systems", inspiring researchers to share theoretical and practical knowledge of the different aspects related to Data Science in enterprises. The 67 ... Læs mere

    672,24 kr.

  • Nordic Contributions in IS Research

    7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings

    Redigeret af Ulrika Lundh Snis ...
    Serier serie Springer Nature Proceedings excluding Computer Science
    This book contains the refereed proceedings of the 7th Scandinavian Conference on Information Systems, SCIS 2016, as well as of the IFIP Working Group 8.6 Conference, both held together in Ljungskile, Sweden, August 2016.The 7th SCIS conference had the theme “Living in the cloud” and highlighted the digitalization of society, that has proceeded and entered almost all aspects of our lives. The ... Læs mere

    420,11 kr.

  • Information Systems: Development, Research, Applications, Education

    9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings

    Redigeret af Stanislaw Wrycza ...
    Serier serie Springer Nature Proceedings excluding Computer Science
    This book constitutes the refereed proceedings of the SIGSAND/PLAIS EuroSymposium 2016 titled Information Systems: Development, Research, Applications, Education, held in Gdansk and Sopot, Poland, on September 29, 2016.The objective of this symposium is to promote and develop high-quality research on all issues related to systems analysis and design (SAND). It provides a forum for SAND researchers ... Læs mere

    420,11 kr.

  • Software Quality as a Foundation for Security

    16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23–25, 2024, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th Software Quality Days Conference, SWQD 2024, held in Vienna, Austria, during April 23-25, 2024.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 ... Læs mere

    840,36 kr.

  • Enterprise, Business-Process and Information Systems Modeling

    25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3–4, 2024, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling:- the 25th International Conference on Business Process Modeling, Development and Support, BPMDS 2024, and- the 29th International Conference on Exploring Modeling Methods for Systems Analysis and ... Læs mere

    840,36 kr.