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 745 - 768 af 9877 resultater
Skip side bar filters
  • SOFSEM 2021: Theory and Practice of Computer Science

    47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book contains the invited and contributed papers selected for presentation at SOFSEM 2021, the 47th International Conference on Current Trends in Theory and Practice of Computer Science, which was held online during January 25–28, 2021, hosted by the Free University of Bozen-Bolzano, Italy.The 33 full and 7 short papers included in the volume were carefully reviewed and selected from 100 ... Læs mere

    840,29 kr.

  • Frontiers of Combining Systems

    13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings

    Redigeret af Boris Konev, Giles Reger ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021. ... Læs mere

    700,23 kr.

  • Advances in Conceptual Modeling

    ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of three workshops symposia, held at the 40th International Conference on Conceptual Modeling, ER 2021, which were held virtually and in St. John’s, NL, Canada, in October 2021.The 11 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, ... Læs mere

    513,48 kr.

  • Theory and Practice of Natural Computing

    10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held virtually, in December 2021.The 9 full papers presented together with 3 invited talks, in this book were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections named Applications of Natural Computing, Deep ... Læs mere

    513,48 kr.

  • Cloud Computing – CLOUD 2021

    14th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

    Redigeret af Kejiang Ye, Liang-Jie Zhang ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Cloud Computing, CLOUD 2021, held online as part of SCF 2021, during December 10-14, 2021.The 6 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. They deal with the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging ... Læs mere

    513,48 kr.

  • Interactive Storytelling

    14th International Conference on Interactive Digital Storytelling, ICIDS 2021, Tallinn, Estonia, December 7–10, 2021, Proceedings

    Redigeret af Alex Mitchell, Mirjam Vosmeer ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Interactive Digital Storytelling, ICIDS 2021, held in Tallinn, Estonia, in December 2021.The 18 full papers and 17 short papers, presented together with 17 posters and demos, were carefully reviewed and selected from 99 submissions. The papers are categorized into the following topical sub-headings: Narrative ... Læs mere

    840,29 kr.

  • Artificial Intelligence in Music, Sound, Art and Design

    11th International Conference, EvoMUSART 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP.The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover ... Læs mere

    1.120,42 kr.

  • Network and Parallel Computing

    18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3–5, 2021, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021.The 20 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: algorithms and applications; system software and resource ... Læs mere

    653,54 kr.

  • Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities

    10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two-volume set, LNCS 13325 and 13326, are conference proceedings that constitutes the refereed proceedings of the 10th International Conference on Distributed, Ambient and Pervasive Interactions, DAPI 2022, held as part of the 24th International Conference, HCI International 2022, which took place during June-July 2022. The conference was held virtually due to the COVID-19 pandemic.The 58 ... Læs mere

    746,92 kr.

  • Progress in Cryptology – INDOCRYPT 2021

    22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology in India, INDOCRYPT 2021, which was held in Jaipur, India, during December 12-15, 2021.The 27 full papers included in these proceedings were carefully reviewed and selected from 65 submissions. They were organized in topical sections as follows: authenticated encryption; symmetric cryptography; ... Læs mere

    840,29 kr.

  • Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

    Redigeret af Sharon Shoham, Yakir Vizel ...
    Serier Bog 2 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022.The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following ... Læs mere

    Gratis

  • HCI for Cybersecurity, Privacy and Trust

    4th International Conference, HCI-CPT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

    Redigeret af Abbas Moallem ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 4th International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The ... Læs mere

    840,29 kr.

  • Machine Learning and Knowledge Extraction

    6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23–26, 2022, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, held in Vienna, Austria during August 2022.The 23 full papers presented were carefully reviewed and selected from 45 submissions. The papers are covering a wide range from integrative machine learning approach, considering the importance of data ... Læs mere

    840,29 kr.

  • Embedded Computer Systems: Architectures, Modeling, and Simulation

    22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece.The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; ... Læs mere

    793,60 kr.

  • Lesion Segmentation in Surgical and Diagnostic Applications

    MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18–22, 2022, Proceedings

    Redigeret af Yiming Xiao, Guanyu Yang, Shuang Song ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022.The peer-reviewed 10 papers included in this volume stem from the following three challenges:Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal ... Læs mere

    513,48 kr.

  • Formal Methods: Foundations and Applications

    25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

    Redigeret af Lucas Lima, Vince Molnár ...
    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, ... Læs mere

    513,48 kr.

  • NASA Formal Methods

    15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ... Læs mere

    840,29 kr.

  • Chinese Lexical Semantics

    23rd Workshop, CLSW 2022, Virtual Event, May 14–15, 2022, Revised Selected Papers, Part I

    Redigeret af Qi Su, Ge Xu, Xiaoyan Yang ...
    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.In total the two-volume set includes 39 full papers and 19 short papers which were carefully reviewed and selected from 214 submissions. They are organized in the following topical sections: ... Læs mere

    840,29 kr.

  • End-User Development

    9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Artificial Intelligence for End-Users; Internet ... Læs mere

    606,85 kr.

  • Applied Reconfigurable Computing. Architectures, Tools, and Applications

    19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design ... Læs mere

    700,23 kr.

  • Computational Science – ICCS 2023

    23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II

    Serier Bog 2 - Springer Nature Proceedings Computer Science
    The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full ... Læs mere

    1.027,04 kr.

  • Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

    Redigeret af Étienne André, Jun Sun ...
    Serier Bog 1 - Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research ... Læs mere

    746,92 kr.

  • Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I

    Serier Bog 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical ... Læs mere

    700,23 kr.

  • Finite Difference Methods,Theory and Applications

    6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

    Serier serie Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods ... Læs mere

    466,79 kr.