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

Foundations of Information and Knowledge Systems

13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

Redigeret af Arne Meier, Magdalena Ortiz ...

Serier serie Springer Nature Proceedings Computer Science
This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, ... Læs mere

470,49 kr.

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories,
... Læs mere
Design Science Research for a Resilient Future

19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, Trollhättan, Sweden, June 3–5, 2024, Proceedings

Redigeret af Munir Mandviwalla, Matthias Söllner, Tuure Tuunanen ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, which was held in Trollhättan, Sweden, during June 3–5, 2024.The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The papers are divided into the following topical sections: DSR for a resilient ... Læs mere

806,59 kr.

This book constitutes the proceedings of the 19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, which was held in Trollhättan, Sweden, during June 3–5, 2024.The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The papers are divided into the following topical sections: DSR for a resilient
... Læs mere
Design for Equality and Justice

INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 – September 1, 2023, Revised Selected Papers, Part I

Redigeret af Anna Bramwell-Dicks, Abigail Evans, Marco Winckler, Helen Petrie, José Abdelnour-Nocera ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This volume presents a series of revised papers selected from workshops that took place during the 19th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2023, held August 28th to September 1st 2023 at the University of York, York, UK.The 54 revised full papers and 21 short papers presented were carefully selected from a competitive selection process.INTERACT 2023 presents ... Læs mere

504,09 kr.

This volume presents a series of revised papers selected from workshops that took place during the 19th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2023, held August 28th to September 1st 2023 at the University of York, York, UK.The 54 revised full papers and 21 short papers presented were carefully selected from a competitive selection process.INTERACT 2023 presents
... Læs mere
Confident DevOps

The Essential Skills and Insights for DevOps Success

af Mark Peters ...

Serier serie Confident Series
The global DevOps market is valued at over $8 billion. But this vital sector remains complex and intimidating for many. Unlock your full potential and uncover the key insights with Confident DevOps.DevOps is defined by the practices, methodologies and tools which are necessary for any software development endeavor to succeed. It is a unique and fascinating discipline, which requires technical ... Læs mere

105,19 kr.

The global DevOps market is valued at over $8 billion. But this vital sector remains complex and intimidating for many. Unlock your full potential and uncover the key insights with Confident DevOps.DevOps is defined by the practices, methodologies and tools which are necessary for any software development endeavor to succeed. It is a unique and fascinating discipline, which requires technical
... Læs mere
Artificial Intelligence in HCI

6th International Conference, AI-HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part I

Redigeret af Helmut Degen, Stavroula Ntoa ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The four-volume set LNAI 15819–15822 constitutes the thoroughly refereed proceedings of the 6th International Conference on Artificial Intelligence in HCI, AI-HCI 2025, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, June 22-17, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully ... Læs mere

537,69 kr.

The four-volume set LNAI 15819–15822 constitutes the thoroughly refereed proceedings of the 6th International Conference on Artificial Intelligence in HCI, AI-HCI 2025, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, June 22-17, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully
... Læs mere
Unlocking Data with Generative AI and RAG

Enhance generative AI systems by integrating internal data with large language models using RAG

af Keith Bourne ...

Leverage cutting-edge generative AI techniques such as RAG to realize the potential of your data and drive innovation as well as gain strategic advantage Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesOptimize data retrieval and generation using vector databasesBoost decision-making and automate workflows with AI agentsOvercome common challenges in ... Læs mere

Før 236,24 kr. Nu 212,39 kr. eller Gratis med Kobo Plus

Leverage cutting-edge generative AI techniques such as RAG to realize the potential of your data and drive innovation as well as gain strategic advantage Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesOptimize data retrieval and generation using vector databasesBoost decision-making and automate workflows with AI agentsOvercome common challenges in
... Læs mere
The AI Thought Partner An Operational Framework to Augment Executive Decision-Making

af Dr. Aris Thorne ...

Are you drowning in data but starved for wisdom?In an age of information overload, a perfect strategy with mediocre execution is a failed strategy. The true competitive advantage no longer lies in having more data, but in your ability to reason with it. This book is a practical guide for executive leaders and entrepreneurs who are ready to move beyond the "automation trap" and forge a new path. ... Læs mere

221,94 kr. eller Gratis med Kobo Plus

Are you drowning in data but starved for wisdom?In an age of information overload, a perfect strategy with mediocre execution is a failed strategy. The true competitive advantage no longer lies in having more data, but in your ability to reason with it. This book is a practical guide for executive leaders and entrepreneurs who are ready to move beyond the "automation trap" and forge a new path.
... Læs mere
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Volume III: Musculoskeletal Disorders

Redigeret af Sebastiano Bagnara, Riccardo Tartaglia, Sara Albolino, Thomas Alexander, Yushi Fujita ...

Serier serie Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, ... Læs mere

1.680,74 kr.

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science,
... Læs mere
LangChain Python Complete Guide

af Justin Lu ...

This book provides a comprehensive guide to building AI applications with LangChain.It covers essential concepts including chat models, message systems, tools, memory,RAG architectures, agent development, middleware, streaming, guardrails, and LangGraph.The book also includes practical examples for building customer service systems,research assistants, code assistants, and multi-agent ... Læs mere

37,98 kr. eller Gratis med Kobo Plus

This book provides a comprehensive guide to building AI applications with LangChain.It covers essential concepts including chat models, message systems, tools, memory,RAG architectures, agent development, middleware, streaming, guardrails, and LangGraph.The book also includes practical examples for building customer service systems,research assistants, code assistants, and multi-agent
... Læs mere
The Synaptic Singularity: Synaptic AI Lab’s 10-Year Blueprint for AGI, Humanoids, and the Future of Reality

af ABHIJEET SARKAR ...

The Synaptic Singularity: Synaptic AI Lab's 10-Year Blueprint for AGI, Humanoids, and the Future of RealityBy Abhijeet Sarkar , Founder & Managing Director, Synaptic AI Lab Private LimitedTHE ERA OF "NARROW AI" IS OVER. THE AGE OF THE SYNAPTIC MIND HAS BEGUN."This is not a prediction. This is an engineering roadmap." — Abhijeet SarkarHistory is rarely written by those who wait for the future; it ... Læs mere

25,30 kr. eller Gratis med Kobo Plus

The Synaptic Singularity: Synaptic AI Lab's 10-Year Blueprint for AGI, Humanoids, and the Future of RealityBy Abhijeet Sarkar , Founder & Managing Director, Synaptic AI Lab Private LimitedTHE ERA OF "NARROW AI" IS OVER. THE AGE OF THE SYNAPTIC MIND HAS BEGUN."This is not a prediction. This is an engineering roadmap." — Abhijeet SarkarHistory is rarely written by those who wait for the future; it
... Læs mere
The Hybrid Call Center OS — AI Call-Center Growth Blueprint — From First Ring to Revenue

af Alex Strange ...

Build a call center that scales on purpose—human + AI, one calm week at a time.If your floor swings from "all lines busy" to "where did the leads go?", you don't need another silver-bullet script—you need an operating system. The Hybrid Call Center OS gives leaders, WFM pros, and pathway engineers a complete, battle-tested rhythm for running a mixed team of agents and automation.What you'll ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

Build a call center that scales on purpose—human + AI, one calm week at a time.If your floor swings from "all lines busy" to "where did the leads go?", you don't need another silver-bullet script—you need an operating system. The Hybrid Call Center OS gives leaders, WFM pros, and pathway engineers a complete, battle-tested rhythm for running a mixed team of agents and automation.What you'll
... Læs mere
Microsoft Certified: PL 300 Power BI Data Analyst Associate Mock Tests

af Abound Academy ...

This book has been meticulously crafted to serve as your ultimate companion in mastering Power BI and achieving certification success on your very first attempt. With over 160 realistic mock tests, this book mirrors the structure, difficulty level, and question style of the actual PL-300 exam, giving you the confidence and readiness to excel. This book is designed not only to help you pass the ... Læs mere

126,76 kr. eller Gratis med Kobo Plus

This book has been meticulously crafted to serve as your ultimate companion in mastering Power BI and achieving certification success on your very first attempt. With over 160 realistic mock tests, this book mirrors the structure, difficulty level, and question style of the actual PL-300 exam, giving you the confidence and readiness to excel. This book is designed not only to help you pass the
... Læs mere
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier Bog 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Læs mere

223,74 kr.

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... Læs mere
Human Centred Intelligent Systems

Proceedings of KES-HCIS 2021 Conference

Redigeret af Alfred Zimmermann, Robert J. Howlett, Lakhmi C. Jain, Rainer Schmidt ...

Serier serie Springer Nature Proceedings excluding Computer Science
This book highlights new trends and challenges in intelligent systems, which play an essential part in the digital transformation of many areas of science and practice. It includes papers offering a deeper understanding of the human-centred perspective on artificial intelligence, of intelligent value co-creation, ethics, value-oriented digital models, transparency, and intelligent digital ... Læs mere

2.260,74 kr.

This book highlights new trends and challenges in intelligent systems, which play an essential part in the digital transformation of many areas of science and practice. It includes papers offering a deeper understanding of the human-centred perspective on artificial intelligence, of intelligent value co-creation, ethics, value-oriented digital models, transparency, and intelligent digital
... Læs mere
Speech and Audio Processing for Coding, Enhancement and Recognition

Redigeret af Tokunbo Ogunfunmi, Roberto Togneri, Madihally (Sim) Narasimha ...

Serier serie Engineering (R0)
This book describes the basic principles underlying the generation, coding, transmission and enhancement of speech and audio signals, including advanced statistical and machine learning techniques for speech and speaker recognition with an overview of the key innovations in these areas. Key research undertaken in speech coding, speech enhancement, speech recognition, emotion recognition and ... Læs mere

756,36 kr.

This book describes the basic principles underlying the generation, coding, transmission and enhancement of speech and audio signals, including advanced statistical and machine learning techniques for speech and speaker recognition with an overview of the key innovations in these areas. Key research undertaken in speech coding, speech enhancement, speech recognition, emotion recognition and
... Læs mere
Nuero-Symbolism

af Larry Lee matthews ...

In a world where technological advancement is rapidly escalating, the race to understand the complexities of the human brain takes center stage. "Neuro-Symbolism: Mathematical Formulas for Decoding Brain Functions and Advancing AI" is a crucial cornerstone for scholars and practitioners at the intersection of neuroscience, cognitive psychology, and artificial intelligence. This book delves into a ... Læs mere

63,35 kr.

In a world where technological advancement is rapidly escalating, the race to understand the complexities of the human brain takes center stage. "Neuro-Symbolism: Mathematical Formulas for Decoding Brain Functions and Advancing AI" is a crucial cornerstone for scholars and practitioners at the intersection of neuroscience, cognitive psychology, and artificial intelligence. This book delves into a
... Læs mere
200 Tips for Mastering Generative AI

af Rick Spair ...

In the rapidly evolving landscape of artificial intelligence, Generative AI stands out as a transformative force with the potential to revolutionize industries and reshape our understanding of creativity and automation. From its inception, Generative AI has captured the imagination of researchers, developers, and entrepreneurs, offering unprecedented capabilities in generating new data, simulating ... Læs mere

126,51 kr. eller Gratis med Kobo Plus

In the rapidly evolving landscape of artificial intelligence, Generative AI stands out as a transformative force with the potential to revolutionize industries and reshape our understanding of creativity and automation. From its inception, Generative AI has captured the imagination of researchers, developers, and entrepreneurs, offering unprecedented capabilities in generating new data, simulating
... Læs mere
The DevOps Journey: Navigating the Path to Seamless Software Delivery

af Kameron Hussain ...

"The DevOps Journey: Navigating the Path to Seamless Software Delivery" is an essential guide for IT professionals, software developers, and operations teams striving to enhance their DevOps practices. This comprehensive resource delves into the core principles of DevOps, including automation, continuous integration (CI), continuous deployment (CD), and collaboration, to streamline and optimize ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

"The DevOps Journey: Navigating the Path to Seamless Software Delivery" is an essential guide for IT professionals, software developers, and operations teams striving to enhance their DevOps practices. This comprehensive resource delves into the core principles of DevOps, including automation, continuous integration (CI), continuous deployment (CD), and collaboration, to streamline and optimize
... Læs mere
Beyond Boundaries: Unveiling the Latest Advances in Chat GPT-4

ChatGPT Essentials, #1

af J. Franklyn Burnside ...

Serier Bog 1 - ChatGPT Essentials
This book, takes you beyond common boundaries and unveils exciting improvements in Chat GPT-4, OpenAI's latest marvel in artificial intelligence. In these pages, readers will uncover an in-depth exploration of GPT-4's advanced features, including its enhanced language understanding, superior contextual awareness, and its remarkable ability to generate creative and complex content. You will ... Læs mere

88,71 kr. eller Gratis med Kobo Plus

This book, takes you beyond common boundaries and unveils exciting improvements in Chat GPT-4, OpenAI's latest marvel in artificial intelligence. In these pages, readers will uncover an in-depth exploration of GPT-4's advanced features, including its enhanced language understanding, superior contextual awareness, and its remarkable ability to generate creative and complex content. You will
... Læs mere
Mastering React Bootstrap: Building Responsive UIs with Ease

af Kameron Hussain, Frahaan Hussain ...

"Mastering React Bootstrap: Building Responsive UIs with Ease" is a comprehensive guide that delves into the intricacies of creating responsive and dynamic user interfaces using the powerful combination of React.js and Bootstrap. This book is an indispensable resource for both novice and experienced web developers who seek to enhance their skills in front-end development.The journey begins with an ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

"Mastering React Bootstrap: Building Responsive UIs with Ease" is a comprehensive guide that delves into the intricacies of creating responsive and dynamic user interfaces using the powerful combination of React.js and Bootstrap. This book is an indispensable resource for both novice and experienced web developers who seek to enhance their skills in front-end development.The journey begins with an
... Læs mere
Azure Ascension: From Cloud Novice to Enterprise Architect

af Scott Markham ...

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough ... Læs mere

50,67 kr. eller Gratis med Kobo Plus

Azure Ascension: From Cloud Novice to Enterprise Architect is your all-access boarding pass to the cloud kingdom—minus the turbulence, tech jargon headaches, and endless Googling. Whether you're still wondering if "Azure" is a color or a service, or you're already juggling virtual machines like flaming swords, this book lifts you from clueless to cloud-conquering with wit, clarity, and just enough
... Læs mere
Learnability Isn’t Enough: How to Design Apps That Are Easy to Use in the Long Run, Not Just the First Run

af Hans van de Bruggen ...

Some UX problems are temporary**. Others are** permanent**.**This book provides a unique framework to proactively find and fix permanent sources of UI effort. This helps you create apps that are both easy to learn and efficient in long-term use.Whether you're a seasoned product & UX professional or just starting out, this book is your guide to elevating the everyday user experience, with practical ... Læs mere

152,19 kr. eller Gratis med Kobo Plus

Some UX problems are temporary**. Others are** permanent**.**This book provides a unique framework to proactively find and fix permanent sources of UI effort. This helps you create apps that are both easy to learn and efficient in long-term use.Whether you're a seasoned product & UX professional or just starting out, this book is your guide to elevating the everyday user experience, with practical
... Læs mere
Agent Environments for Multi-Agent Systems IV

4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

Redigeret af Danny Weyns, Fabien Michel ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7 ... Læs mere

394,99 kr.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7
... Læs mere
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Redigeret af Arie Gurfinkel, Sanjit A. Seshia ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Læs mere

420,11 kr.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... 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

Programmering e-bøger

Foundations of Information and Knowledge Systems

Design Science Research for a Resilient Future

Design for Equality and Justice

Confident DevOps

Artificial Intelligence in HCI

Unlocking Data with Generative AI and RAG

The AI Thought Partner An Operational Framework to Augment Executive Decision-Making

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

LangChain Python Complete Guide

The Synaptic Singularity: Synaptic AI Lab’s 10-Year Blueprint for AGI, Humanoids, and the Future of Reality

The Hybrid Call Center OS — AI Call-Center Growth Blueprint — From First Ring to Revenue

Microsoft Certified: PL 300 Power BI Data Analyst Associate Mock Tests

C# 7 Quick Syntax Reference

Human Centred Intelligent Systems

Speech and Audio Processing for Coding, Enhancement and Recognition

Nuero-Symbolism

200 Tips for Mastering Generative AI

The DevOps Journey: Navigating the Path to Seamless Software Delivery

Beyond Boundaries: Unveiling the Latest Advances in Chat GPT-4

Mastering React Bootstrap: Building Responsive UIs with Ease

Azure Ascension: From Cloud Novice to Enterprise Architect

Learnability Isn’t Enough: How to Design Apps That Are Easy to Use in the Long Run, Not Just the First Run

Agent Environments for Multi-Agent Systems IV

Verified Software: Theories, Tools, and Experiments