Rakuten Kobo

Indkøbskurv

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

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Transactions on Modularity and Composition I

Redigeret af Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens ...

Serier serie Computer Science (R0)
The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, ... Læs mere

718,90 kr.

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches,
... Læs mere
Foundational and Practical Aspects of Resource Analysis

Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Redigeret af Ugo Dal Lago, Ricardo Peña ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of ... Læs mere

373,41 kr.

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of
... Læs mere
Numeric Computation and Statistical Data Analysis on the Java Platform

af Sergei V. Chekanov ...

Serier serie Computer Science (R0)
Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics for visualization are the key topics of this book. The Python code examples powered by the Java platform can easily be transformed to other programming languages, such as Java, Groovy, Ruby and BeanShell. This book equips the reader with a computational platform which, unlike other ... Læs mere

840,29 kr.

Numerical computation, knowledge discovery and statistical data analysis integrated with powerful 2D and 3D graphics for visualization are the key topics of this book. The Python code examples powered by the Java platform can easily be transformed to other programming languages, such as Java, Groovy, Ruby and BeanShell. This book equips the reader with a computational platform which, unlike other
... Læs mere
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI ... Læs mere

532,15 kr.

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI
... Læs mere
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Redigeret af Federica Sarro, Kalyanmoy Deb ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... Læs mere
Model and Data Engineering

7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

Redigeret af Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software
... Læs mere
Pro TypeScript

Application-Scale JavaScript Development

af Steve Fenton ...

Serier serie Professional and Applied Computing (R0)
Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New ... Læs mere

698,08 kr.

Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New
... Læs mere
Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Redigeret af Jyotirmoy Deshmukh, Dejan Ničković ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial
... Læs mere
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Redigeret af Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... Læs mere
Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

Redigeret af Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling
... Læs mere
Explainable and Transparent AI and Multi-Agent Systems

4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Michael Winikoff, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022.The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 4th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2022, held virtually during May 9–10, 2022.The 14 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: explainable machine learning; explainable neuro-symbolic
... Læs mere
Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Redigeret af Aleksander Byrski, John Hughes ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; ... Læs mere

466,79 kr.

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020.The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing;
... Læs mere
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Redigeret af Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... Læs mere
Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Redigeret af Alberto Lluch Lafuente, Anastasia Mavridou ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from
... Læs mere
Testing Software and Systems

28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Redigeret af Natalia Kushik, Mihai Nica, Franz Wotawa ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in
... Læs mere
Rust for the IoT

Building Internet of Things Apps with Rust and Raspberry Pi

af Joseph Faisal Nusairat ...

Serier serie Professional and Applied Computing (R0)
Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the ... Læs mere

584,63 kr.

Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the
... Læs mere
C++20 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template ... Læs mere

549,70 kr.

This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template
... Læs mere
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

af Yan Lin ...

Serier serie Computer Science (R0)
There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually ... Læs mere

840,29 kr.

There are three fundamental components in Control-Flow Integrity (CFI) enforcement. The first component is accurately recovering the policy (CFG). Usually, the more precise the policy is, the more security CFI improves, but precise CFG generation was considered hard without the support of source code. The second component is embedding the CFI policy securely. Current CFI enforcement usually
... Læs mere
Understanding Control Flow

Concurrent Programming Using μC++

af Peter A. Buhr ...

Serier serie Computer Science (R0)
The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both ... Læs mere

466,79 kr.

The control-flow issues presented in this textbook are extremely relevant in modern computer languages and programming styles. In addition to the basic control-flow mechanisms, virtually all new computer languages provide some form of exceptional control flow to support robust programming introduced in this textbook. Also, concurrency capabilities are appearing with increasing frequency in both
... Læs mere
Raku Recipes

A Problem-Solution Approach

af J.J. Merelo ...

Serier serie Professional and Applied Computing (R0)
Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all, ... Læs mere

549,70 kr.

Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all,
... Læs mere
Options and Derivatives Programming in C++20

Algorithms and Programming Techniques for the Financial Industry

af Carlos Oliveira ...

Serier serie Professional and Applied Computing (R0)
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools ... Læs mere

549,70 kr.

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools
... Læs mere
OpenCode 擴展開發

從自訂工具到生態發布的建造者指南

af Happy eBook Authors ...

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema ... Læs mere

47,48 kr. eller Gratis med Kobo Plus

用完了、看懂了，現在輪到你動手造。《OpenCode 擴展開發》是「OpenCode 技術叢書」第四冊，帶你從使用者變成建造者。八個擴充點一次攤開：自訂指令、Agent Skills、代理工程、主題設計、MCP、自訂工具、外掛鉤子、SDK 整合——從改一句提示，到把 OpenCode 裝進你的自動化管線。延續系列鐵律「只寫能驗證的事」：十七支外掛鉤子逐一對照官方型別定義、SDK 方法對照 OpenAPI 生成碼、快取目錄實機解剖。書中範例可直接放進專案的 .opencode/ 目錄運行。五篇二十章：・工坊地圖——擴充點選型決策、載入時序、除錯三管道・提示層——指令插值、Skills 發現機制、代理權限工程・程式碼層——第一支外掛、攔截改寫、事件驅動、npm 發布・介面層——theme.json 主題、TUI 外掛、注意力與音效系統・整合層——SDK 自動化、json_schema
... Læs mere
Pro Spring MVC with WebFlux

Web Development in Spring Framework 5 and Spring Boot 2

af Marten Deinum, Iuliana Cosmina ...

Serier serie Professional and Applied Computing (R0)
Explore the designs of the Spring MVC and WebFlux frameworks, and apply similar designs and techniques to your own code. Along with detailed analysis of the code and functionality, this book includes numerous tips and tricks to help you get the most out of Spring MVC, WebFlux, and Java-based web application development in general using Spring. You’ll see how Spring MVC is a modern web application ... Læs mere

497,32 kr.

Explore the designs of the Spring MVC and WebFlux frameworks, and apply similar designs and techniques to your own code. Along with detailed analysis of the code and functionality, this book includes numerous tips and tricks to help you get the most out of Spring MVC, WebFlux, and Java-based web application development in general using Spring. You’ll see how Spring MVC is a modern web application
... Læs mere
High Performance Computing

ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Redigeret af Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: ... Læs mere

466,79 kr.

This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale:
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

Transactions on Modularity and Composition I

Foundational and Practical Aspects of Resource Analysis

Numeric Computation and Statistical Data Analysis on the Java Platform

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

Search Based Software Engineering

Model and Data Engineering

Pro TypeScript

Runtime Verification

Formal Methods and Software Engineering

Reuse in Emerging Software Engineering Practices

Explainable and Transparent AI and Multi-Agent Systems

Trends in Functional Programming

Provenance and Annotation of Data and Processes

Formal Methods for Industrial Critical Systems

Testing Software and Systems

Rust for the IoT

C++20 Quick Syntax Reference

Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity

Understanding Control Flow

Raku Recipes

Options and Derivatives Programming in C++20

OpenCode 擴展開發

Pro Spring MVC with WebFlux

High Performance Computing