Rakuten Kobo

Advances in Artificial Intelligence: From Theory to Practice

30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

Edited by Salem Benferhat, Karim Tabia, Moonis Ali ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 ... Read more

$49.49 USD

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180
... Read more
Formal Methods

27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I

Edited by Augusto Sampaio, Marielle Stoelinga ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026.The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the ... Read more

Free

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026.The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the
... Read more
Design and Safety Assessment of Critical Systems

by Marco Bozzano, Adolfo Villafiorita ...

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone ... Read more

$145.99 USD

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still largely done manually, a time-consuming and error-prone
... Read more
Principles of Verification: Cycling the Probabilistic Landscape

Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...

Series Book 1 - Computer Science (R0)
This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Read more

$80.99 USD

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research,
... Read more
Toward Solving Complex Human Problems

Techniques for Increasing Our Understanding of What Matters in Doing So

by Brian E. White ...

Series series Complex and Enterprise Systems Engineering
This book serves three basic purposes: (1) a tutorial-type reference for complex systems engineering (CSE) concepts and associated terminology, (2) a recommendation of a proposed methodology showing how the evolving practice of CSE can lead to a more unified theory, and (3) a complex systems (CSs) initiative for organizations to invest some of their resources toward helping to make the world a ... Read more

$27.99 USD

This book serves three basic purposes: (1) a tutorial-type reference for complex systems engineering (CSE) concepts and associated terminology, (2) a recommendation of a proposed methodology showing how the evolving practice of CSE can lead to a more unified theory, and (3) a complex systems (CSs) initiative for organizations to invest some of their resources toward helping to make the world a
... Read more
Intelligent Data Engineering and Automated Learning – IDEAL 2024

25th International Conference, Valencia, Spain, November 20–22, 2024, Proceedings, Part I

Edited by Vicente Julian, David Camacho, Hujun Yin, Juan M. Alberola, Vitor Beires Nogueira, Paulo Novais, Antonio Tallón-Ballesteros ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20–22, 2024.The 86 full papers and 6 short papers presented in this book were carefully reviewed and selected from 130 submissions. IDEAL 2024 is focusing on Big Data Analytics ... Read more

$89.09 USD

This two-volume set, LNCS 15346 and LNCS 15347, constitutes the proceedings of the 25th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2024, held in Valencia, Spain, during November 20–22, 2024.The 86 full papers and 6 short papers presented in this book were carefully reviewed and selected from 130 submissions. IDEAL 2024 is focusing on Big Data Analytics
... Read more
Intelligent Circuits and Systems for SDG 3 – Good Health and well-being

International Conference on Intelligent Circuits and Systems (ICICS 2023)

Edited by Bhaveshkumar Choithram Dharman, Suman Lata Tripathi ...

ICICS is a series of conferences initiated by School of Electronics and Electrical Engineering at Lovely Professional University. Looking at the response to the conference, the bi-annual conference now onwards will be annual. The 5th International Conference on Intelligent Circuits and Systems (ICICS 2023) will be focusing on intelligent circuits and systems for achieving the targets in ... Read more

$70.99 USD

ICICS is a series of conferences initiated by School of Electronics and Electrical Engineering at Lovely Professional University. Looking at the response to the conference, the bi-annual conference now onwards will be annual. The 5th International Conference on Intelligent Circuits and Systems (ICICS 2023) will be focusing on intelligent circuits and systems for achieving the targets in
... Read more
Software Architecture. ECSA 2024 Tracks and Workshops

Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings

Edited by Apostolos Ampatzoglou, Jennifer Pérez, Barbora Buhnova, Valentina Lenarduzzi, Colin C. Venters, Uwe Zdun, Khalil Drira, Luciana Rebelo, Daniele Di Pompeo, Michele Tucci, Elisa Yumi Nakagawa, Elena Navarro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture. ECSA 2024 Tracks and Workshops, ECSA 2024, held in Luxembourg City, Luxembourg, during September 3–6, 2024.The 6 full papers and 9 short papers presented here were carefully reviewed and selected from 26 submissions. They were organized in topical ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture. ECSA 2024 Tracks and Workshops, ECSA 2024, held in Luxembourg City, Luxembourg, during September 3–6, 2024.The 6 full papers and 9 short papers presented here were carefully reviewed and selected from 26 submissions. They were organized in topical
... Read more
Composing Software

An Exploration of Functional Programming and Object Composition in JavaScript

by Eric Elliott ...

Unlock the power of functional programming in JavaScript with this detailed guide. Master essential techniques like function composition, immutability, and higher-order functions to create modular, maintainable code that's easy to understand and reuse.Key FeaturesAn exploration of functional programming in JavaScript, from basics to advanced conceptsAn extensive focus on real-world applications & ... Read more

$31.99 USD or Free with Kobo Plus

Unlock the power of functional programming in JavaScript with this detailed guide. Master essential techniques like function composition, immutability, and higher-order functions to create modular, maintainable code that's easy to understand and reuse.Key FeaturesAn exploration of functional programming in JavaScript, from basics to advanced conceptsAn extensive focus on real-world applications &
... Read more
The Successful Software Manager

The definitive guide to growing from developer to manager

by Herman Fung, Tarry Singh ...

A developer\\'s guide to successfully managing teams, customers, and software projectsKey FeaturesA complete guide to managing developer teams, software projects, customers, and usersTransition successfully from a technical role to managementDevelop crucial skills to enhance your performance and advance your careerBook DescriptionThe Successful Software Manager is a comprehensive and practical ... Read more

$26.99 USD or Free with Kobo Plus

A developer\\'s guide to successfully managing teams, customers, and software projectsKey FeaturesA complete guide to managing developer teams, software projects, customers, and usersTransition successfully from a technical role to managementDevelop crucial skills to enhance your performance and advance your careerBook DescriptionThe Successful Software Manager is a comprehensive and practical
... Read more
Web前端性能优化

by 田佳奇 ...

本书以Web前端性能优化为关注点，不但给出了一套性能分析的思路与评价标准，而且针对影响网站性能的诸多方面分章节进行了详细介绍。本书内容包括图像方面的优化，资源加载方面的优化，如何编写高性能的代码，打包构建方面的优化，客户端渲染的优化、服务器端渲染，浏览器本地数据存储，以及缓存技术所带来的性能优化等，通过对这些内容的讲述与分析，逐渐帮助读者构建起相对完善的前端性能知识体系。本书同时结合性能检测与优化实践，让读者在面对实际的性能优化问题时，能够将理论知识转化为实践能力。本书理论与实践并重，既可以作为前端工程师进阶性能优化领域的参考资料，又可以作为前端求职面试人员复习性能相关知识的工具手册。 ... Read more

$5.99 USD or Free with Kobo Plus

本书以Web前端性能优化为关注点，不但给出了一套性能分析的思路与评价标准，而且针对影响网站性能的诸多方面分章节进行了详细介绍。本书内容包括图像方面的优化，资源加载方面的优化，如何编写高性能的代码，打包构建方面的优化，客户端渲染的优化、服务器端渲染，浏览器本地数据存储，以及缓存技术所带来的性能优化等，通过对这些内容的讲述与分析，逐渐帮助读者构建起相对完善的前端性能知识体系。本书同时结合性能检测与优化实践，让读者在面对实际的性能优化问题时，能够将理论知识转化为实践能力。本书理论与实践并重，既可以作为前端工程师进阶性能优化领域的参考资料，又可以作为前端求职面试人员复习性能相关知识的工具手册。
... Read more
Hands-On Infrastructure Monitoring with Prometheus

Implement and scale queries, dashboards, and alerting across machines and containers

by Joel Bastos, Pedro Araújo ...

Build Prometheus ecosystems with metric-centric visualization, alerting, and queryingKey FeaturesIntegrate Prometheus with Alertmanager and Grafana for building a complete monitoring systemExplore PromQL, Prometheus' functional query language, with easy-to-follow examplesLearn how to deploy Prometheus components using Kubernetes and traditional instancesBook DescriptionPrometheus is an open source ... Read more

$26.99 USD or Free with Kobo Plus

Build Prometheus ecosystems with metric-centric visualization, alerting, and queryingKey FeaturesIntegrate Prometheus with Alertmanager and Grafana for building a complete monitoring systemExplore PromQL, Prometheus' functional query language, with easy-to-follow examplesLearn how to deploy Prometheus components using Kubernetes and traditional instancesBook DescriptionPrometheus is an open source
... Read more
Validating Corporate Computer Systems

Good IT Practice for Pharmaceutical Manufacturers

Edited by Guy Wingate ...

One of the biggest computer validation challenges facing pharmaceutical manufacturers is the large corporate system. This book provides practical information and advice on good IT practice and validation principles. Written by experts, it includes case studies on EDMSs, EAM systems, LIMSs, and MRP II systems. ... Read more

$94.99 USD

One of the biggest computer validation challenges facing pharmaceutical manufacturers is the large corporate system. This book provides practical information and advice on good IT practice and validation principles. Written by experts, it includes case studies on EDMSs, EAM systems, LIMSs, and MRP II systems.
... Read more
Learning Java Through Games

by Lubomir Stanchev ...

Learning Java Through Games teaches students how to use the different features of the Java language as well as how to program. Suitable for self-study or as part of a two-course introduction to programming, the book covers as much material as possible from the latest Java standard while requiring no previous programming experience. Taking an applic ... Read more

$132.99 USD

Learning Java Through Games teaches students how to use the different features of the Java language as well as how to program. Suitable for self-study or as part of a two-course introduction to programming, the book covers as much material as possible from the latest Java standard while requiring no previous programming experience. Taking an applic
... Read more
C# and .NET Core Test-Driven Development

Dive into TDD to create flexible, maintainable, and production-ready .NET Core applications

by Ayobami Adewole ...

Learn how to apply a test-driven development process by building ready C\# 7 and .NET Core applications.Key FeaturesCreate tests to quickly detect and resolve issues when writing portable codeUncover code integration issues that improve code quality using continuous integrationSet up and use data-driven unit testing to verify your codeBook DescriptionThis book guides developers to create robust, ... Read more

$34.99 USD or Free with Kobo Plus

Learn how to apply a test-driven development process by building ready C\# 7 and .NET Core applications.Key FeaturesCreate tests to quickly detect and resolve issues when writing portable codeUncover code integration issues that improve code quality using continuous integrationSet up and use data-driven unit testing to verify your codeBook DescriptionThis book guides developers to create robust,
... Read more
Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Edited by Arie Gurfinkel, Vijay Ganesh ...

Series Book 2 - Springer Nature Proceedings Computer Science
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. ... Read more

Free

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
... Read more
Computational Science – ICCS 2024

24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V

Edited by Leonardo Franco, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot ...

Series Book 5 - Springer Nature Proceedings Computer Science
The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions.They were organized in topical sections as follows:Part I: ICCS 2024 Main ... Read more

$143.99 USD

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024.The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions.They were organized in topical sections as follows:Part I: ICCS 2024 Main
... Read more
Pro Linux High Availability Clustering

by Sander van Vugt ...

Series series Professional and Applied Computing (R0)
Pro Linux High Availability Clustering teaches you how to implement this fundamental Linux add-on into your business. Linux High Availability Clustering is needed to ensure the availability of mission critical resources. The technique is applied more and more in corporate datacenters around the world. While lots of documentation about the subject is available on the internet, it isn't always easy ... Read more

$80.99 USD

Pro Linux High Availability Clustering teaches you how to implement this fundamental Linux add-on into your business. Linux High Availability Clustering is needed to ensure the availability of mission critical resources. The technique is applied more and more in corporate datacenters around the world. While lots of documentation about the subject is available on the internet, it isn't always easy
... Read more
Futuristic Trends in Network and Communication Technologies

First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

Edited by Pradeep Kumar Singh, Marcin Paprzycki, Bharat Bhargava, Jitender Kumar Chhabra, Narottam Chand Kaushal, Yugal Kumar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2018, held in Solan, India, in February 2018.The 37 revised full papers presented were carefully reviewed and selected from 239 submissions. The prime aim of the conference is to invite researchers from different domains of network and ... Read more

$89.99 USD

This book constitutes the refereed proceedings of the First International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2018, held in Solan, India, in February 2018.The 37 revised full papers presented were carefully reviewed and selected from 239 submissions. The prime aim of the conference is to invite researchers from different domains of network and
... Read more
The Once-Only Principle

The TOOP Project

Edited by Robert Krimmer, Andriana Prentza, Szymon Mamrot ...

Series Book 12621 - Lecture Notes in Computer Science
This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP).The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard ... Read more

Free

This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP).The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard
... Read more
Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part X

Edited by Albert Bifet, Tomas Krilavičius, Ioanna Miliou, Slawomir Nowaczyk ...

Series Book 10 - Springer Nature Proceedings Computer Science
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were ... Read more

Was $152.99 USD Now $80.99 USD

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were
... Read more
Ultimate AWS Data Engineering

Design, Implement and Optimize Scalable Data Solutions on AWS with Practical Workflows and Visual Aids for Unmatched Impact (English Edition)

by Rathish Mohan, Shekhar Agrawal, Srinivasa Chippada ...

Unlock the Power of AWS Data Engineering and Build Smarter Pipelines for Data-Driven Success.Book DescriptionIn today’s data-driven era, mastering AWS data engineering is key to building scalable, secure pipelines that drive innovation and decision-making. Ultimate AWS Data Engineering is your comprehensive guide to mastering the art of building robust, cost-effective, and fault-tolerant data ... Read more

$24.95 USD or Free with Kobo Plus

Unlock the Power of AWS Data Engineering and Build Smarter Pipelines for Data-Driven Success.Book DescriptionIn today’s data-driven era, mastering AWS data engineering is key to building scalable, secure pipelines that drive innovation and decision-making. Ultimate AWS Data Engineering is your comprehensive guide to mastering the art of building robust, cost-effective, and fault-tolerant data
... Read more
Software Engineering Education Going Agile

11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015)

Edited by Stephan Kassel, Bing Wu ...

Series series Business and Management (R0)
This book presents and discusses the state of the art and future trends in software engineering education, with a focus on agile methods and their budgetary implications. It introduces new and innovative methods, models and frameworks to focus the training towards the industry’s requirements. The range of topics covered includes education models for software engineering, development of the ... Read more

$49.99 USD

This book presents and discusses the state of the art and future trends in software engineering education, with a focus on agile methods and their budgetary implications. It introduces new and innovative methods, models and frameworks to focus the training towards the industry’s requirements. The range of topics covered includes education models for software engineering, development of the
... Read more
Software Engineering Perspectives in Intelligent Systems

Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.2

Edited by Radek Silhavy, Petr Silhavy, Zdenka Prokopova ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an ... Read more

$143.99 USD

This book constitutes the refereed proceedings of the 4th Computational Methods in Systems and Software 2020 (CoMeSySo 2020) proceedings. Software engineering, computer science and artificial intelligence are crucial topics for the research within an intelligent systems problem domain. The CoMeSySo 2020 conference is breaking the barriers, being held online. CoMeSySo 2020 intends to provide an
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Software Development eBooks

Show: