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

DevOps in Python

Infrastructure as Python

af Moshe Zadka ...

Serier serie Professional and Applied Computing (R0)
Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more ... Læs mere

549,70 kr.

Take advantage of Python to automate complex systems with readable code. This new edition will help you move from operations/system administration into easy-to-learn coding.You'll start by writing command-line scripts and automating simple DevOps-style tasks followed by creating reliable and fast unit tests designed to avoid incidents caused by buggy automation. You’ll then move on to more
... Læs mere
Learn API Testing

Norms, Practices, and Guidelines for Building Effective Test Automation

af Jagdeep Jain ...

Serier serie Professional and Applied Computing (R0)
Explore software web application architecture, API testing, coding practices, and the standards for better API test automation development and management. This book focuses on aspiring software testing engineers currently working in API testing, and those starting their journey in the field of software testing.You’ll begin with an introduction to API testing and software web applications involving ... Læs mere

497,32 kr.

Explore software web application architecture, API testing, coding practices, and the standards for better API test automation development and management. This book focuses on aspiring software testing engineers currently working in API testing, and those starting their journey in the field of software testing.You’ll begin with an introduction to API testing and software web applications involving
... Læs mere
Agile Product and Project Management

A Step-by-Step Guide to Building the Right Products Right

af Mariya Breyter ...

Serier serie Professional and Applied Computing (R0)
Use this comprehensive Agile product and project management guide with real-world case studies and examples for self-learning or as a student textbook. Whether you are a CEO or a student, this book will take you from Agile delivery to team topology and product-market fit.Agile delivery is becoming a mainstream project management framework, increasing demand for an understanding of modern related ... Læs mere

497,32 kr.

Use this comprehensive Agile product and project management guide with real-world case studies and examples for self-learning or as a student textbook. Whether you are a CEO or a student, this book will take you from Agile delivery to team topology and product-market fit.Agile delivery is becoming a mainstream project management framework, increasing demand for an understanding of modern related
... Læs mere
Model-Driven Development of Akoma Ntoso Application Profiles

A Conceptual Framework for Model-Based Generation of XML Subschemas

af Amelie Flatt, Arne Langner, Olof Leps ...

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,10 kr.

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
The Evolution of Pervasive Information Systems

Redigeret af Manuele Kirsch Pinheiro, Carine Souveyet, Philippe Roose, Luiz Angelo Steffenel ...

Serier serie Computer Science (R0)
This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine “state-of-the-art” ... Læs mere

1.493,92 kr.

This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine “state-of-the-art”
... Læs mere
Untrapping Product Teams

Simplify the Complexity of Creating Digital Products

af David Pereira ...

Empower Product Teams to Rock the World by Uncovering and Overcoming Dangerous TrapsUntrapping Product Teams guides you to simplify what gets unintentionally complicated and equips you to overcome dangerous traps while steadily driving customer and business value. This isn't just another book about product management. It's a thought-provoking guide filled with simplicity, encouraging you to act ... Læs mere

301,12 kr.

Empower Product Teams to Rock the World by Uncovering and Overcoming Dangerous TrapsUntrapping Product Teams guides you to simplify what gets unintentionally complicated and equips you to overcome dangerous traps while steadily driving customer and business value. This isn't just another book about product management. It's a thought-provoking guide filled with simplicity, encouraging you to act
... Læs mere
Claude Code in Action

Build a Real-World AI App From Start to Finish

af Zenva Academy ...

Build a working AI application with Claude Code from initial setup through debugging and refinement. Practice client-server planning, feature generation, export fixes, provider integration, and interface improvement.Key FeaturesEnd-to-end project work across setup, architecture, generation, debugging, and interface polishReal troubleshooting explains why generated applications need testing, review ... Læs mere

209,99 kr. eller Gratis med Kobo Plus

Build a working AI application with Claude Code from initial setup through debugging and refinement. Practice client-server planning, feature generation, export fixes, provider integration, and interface improvement.Key FeaturesEnd-to-end project work across setup, architecture, generation, debugging, and interface polishReal troubleshooting explains why generated applications need testing, review
... Læs mere
AI and ML for Coders in PyTorch

A Coder's Guide to Generative AI and Machine Learning

af Laurence Moroney ...

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative ... Læs mere

458,11 kr.

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative
... Læs mere
Requirements Engineering: Foundation for Software Quality

23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings

Redigeret af Paul Grünbacher, Anna Perini ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017.The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized in topical sections named: use case models; ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017.The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized in topical sections named: use case models;
... Læs mere
Algorithms and Architectures for Parallel Processing

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

Redigeret af Kenli Li, Albert Zomaya, Guojun Wang, Gregorio Martinez ...

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,79 kr.

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
Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Redigeret af Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and
... Læs mere
Chinese Lexical Semantics

19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers

Redigeret af Jia-Fei Hong, Qi Su, Jiun-Shiung Wu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 19th Chinese Lexical Semantics Workshop, CLSW 2018, held in Chiayi, Taiwan, in May 2018.The 50 full papers and 19 short papers included in this volume were carefully reviewed and selected from 150 submissions. They are organized in the following topical sections: Lexical Semantics; Applications of Natural Language ... Læs mere

840,29 kr.

This book constitutes the thoroughly refereed post-workshop proceedings of the 19th Chinese Lexical Semantics Workshop, CLSW 2018, held in Chiayi, Taiwan, in May 2018.The 50 full papers and 19 short papers included in this volume were carefully reviewed and selected from 150 submissions. They are organized in the following topical sections: Lexical Semantics; Applications of Natural Language
... Læs mere
Parallel Problem Solving from Nature – PPSN XVI

16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II

Redigeret af Thomas Bäck, Mike Preuss, André Deutz, Hao Wang, Carola Doerr, Michael Emmerich, Heike Trautmann ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020.The 99 revised full papers were carefully reviewed and selected from 268 submissions. The topics cover classical subjects such as automated algorithm selection and configuration ... Læs mere

840,29 kr.

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020.The 99 revised full papers were carefully reviewed and selected from 268 submissions. The topics cover classical subjects such as automated algorithm selection and configuration
... Læs mere
Advances in Cryptology – CRYPTO 2020

40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part III

Redigeret af Daniele Micciancio, Thomas Ristenpart ...

Serier Bog 3 - Springer Nature Proceedings Computer Science
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security ... Læs mere

840,29 kr.

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security
... Læs mere
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

Redigeret af Hana Chockler, Georg Weissenbacher ...

Serier Bog 2 - 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

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
Algorithmic Aspects of Cloud Computing

5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Redigeret af Ivona Brandic, Thiago A. L. Genez, Ilia Pietri, Rizos Sakellariou ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019.The 8 revised full papers were carefully reviewed and selected from 16 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and ... Læs mere

513,48 kr.

This book constitutes the refereed post-conference proceedings of the 5th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2019, held in Munich, Germany, in September 2019.The 8 revised full papers were carefully reviewed and selected from 16 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and
... Læs mere
Economics of Grids, Clouds, Systems, and Services

17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers

Redigeret af Karim Djemame, Jörn Altmann, José Ángel Bañares, Orna Agmon Ben-Yehuda, Vlado Stankovski, Bruno Tuffin ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020. Due to COVID-19 pandemic the conference was held virtually by the University of Ljubljana.The 11 full papers and 9 short papers presented in this book were carefully reviewed and selected from 40 ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020. Due to COVID-19 pandemic the conference was held virtually by the University of Ljubljana.The 11 full papers and 9 short papers presented in this book were carefully reviewed and selected from 40
... Læs mere
Hybrid Artificial Intelligent Systems

15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings

Redigeret af Enrique Antonio de la Cal, José Ramón Villar Flecha, Héctor Quintián, Emilio Corchado ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and ... Læs mere

840,29 kr.

This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation: Applications

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

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 3 - 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

466,79 kr.

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
Risks and Security of Internet and Systems

15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers

Redigeret af Joaquin Garcia-Alfaro, Jean Leneutre, Nora Cuppens, Reda Yaich ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took place during November 4-6, 2020. The conference was originally planned to take place in Paris, France, but had to change to an online format due to the COVID-19 pandemic.The 16 full and 7 short papers included in this volume were carefully reviewed and ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took place during November 4-6, 2020. The conference was originally planned to take place in Paris, France, but had to change to an online format due to the COVID-19 pandemic.The 16 full and 7 short papers included in this volume were carefully reviewed and
... Læs mere
Current Trends in Web Engineering

ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9–12, 2020, Revised Selected Papers

Redigeret af In-Young Ko, Juan Manuel Murillo, Petri Vuorimaa ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Conference on Web Engineering, ICWE 2020, held in Helsinki, Finland, in June 2020.*The 4 revised full 4 revised short papers were selected from 10 submissions. The workshops complement the main conference and explore new trends on core topics of Web engineering and provide an open discussion space ... Læs mere

466,79 kr.

This book constitutes the thoroughly refereed post-workshop proceedings of the 20th International Conference on Web Engineering, ICWE 2020, held in Helsinki, Finland, in June 2020.*The 4 revised full 4 revised short papers were selected from 10 submissions. The workshops complement the main conference and explore new trends on core topics of Web engineering and provide an open discussion space
... Læs mere
Parallel Computing Technologies

16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings

Redigeret af Victor Malyshkin ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.The 24 full and 12 short papers included in this book were carefully reviewed and selected from 62 ... Læs mere

840,29 kr.

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, which was held during September 13-18, 2021. The conference was planned to take place in Kaliningrad, Russia, but changed to an online event due to the COVID-19 pandemic.The 24 full and 12 short papers included in this book were carefully reviewed and selected from 62
... Læs mere
Computational Methods in Systems Biology

19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings

Redigeret af Eugenio Cinquemani, Loïc Paulevé ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation, ... Læs mere

513,48 kr.

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation,
... Læs mere
Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Redigeret af Anupam Das, Sara Negri ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based ... Læs mere

466,79 kr.

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.The 23 full papers and 3 system descriptions included in the volume were carefully reviewed and selected from 46 submissions.They present research on all aspects of the mechanization of tableaux-based
... 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

Softwareudvikling e-bøger

DevOps in Python

Learn API Testing

Agile Product and Project Management

Model-Driven Development of Akoma Ntoso Application Profiles

The Evolution of Pervasive Information Systems

Untrapping Product Teams

Claude Code in Action

AI and ML for Coders in PyTorch

Requirements Engineering: Foundation for Software Quality

Algorithms and Architectures for Parallel Processing

Formal Methods. FM 2019 International Workshops

Chinese Lexical Semantics

Parallel Problem Solving from Nature – PPSN XVI

Advances in Cryptology – CRYPTO 2020

Computer Aided Verification

Algorithmic Aspects of Cloud Computing

Economics of Grids, Clouds, Systems, and Services

Hybrid Artificial Intelligent Systems

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Risks and Security of Internet and Systems

Current Trends in Web Engineering

Parallel Computing Technologies

Computational Methods in Systems Biology

Automated Reasoning with Analytic Tableaux and Related Methods