Rakuten Kobo

Specification of Software Systems

by V.S. Alagar, K. Periyasamy ...

Series series Computer Science (R0)
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... Read more

$49.99 USD

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal
... Read more
Instant jQuery Boilerplate for Plugins

by Jonathan Fielding ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. This book is a how-to manual complete with recipes that range from writing a simple plug-in to adding enhancements/features to your plug-in. This book is for JavaScript enthusiasts who are looking for hands on recipes to help them develop their own plug-ins. ... Read more

$15.99 USD or Free with Kobo Plus

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. This book is a how-to manual complete with recipes that range from writing a simple plug-in to adding enhancements/features to your plug-in. This book is for JavaScript enthusiasts who are looking for hands on recipes to help them develop their own plug-ins.
... Read more
Formal Methods. FM 2019 International Workshops

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

Edited by 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 ...

Series Book 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 ... Read more

$49.99 USD

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
... Read more
High Performance Parallelism Pearls Volume One

Multicore and Many-core Programming Approaches

by James Reinders, James Jeffers ...

High Performance Parallelism Pearls shows how to leverage parallelism on processors and coprocessors with the same programming – illustrating the most effective ways to better tap the computational potential of systems with Intel Xeon Phi coprocessors and Intel Xeon processors or other multicore processors. The book includes examples of successful programming efforts, drawn from across industries ... Read more

$71.99 USD

High Performance Parallelism Pearls shows how to leverage parallelism on processors and coprocessors with the same programming – illustrating the most effective ways to better tap the computational potential of systems with Intel Xeon Phi coprocessors and Intel Xeon processors or other multicore processors. The book includes examples of successful programming efforts, drawn from across industries
... Read more
Adopting .NET 5

Understand modern architectures, migration best practices, and the new features in .NET 5

by Hammad Arif, Habib Qureshi ...

A practical guide to building and upgrading new and legacy applications on cloud-native platforms using architectural best practices with .NET 5, C\# 9, microservices, and ML.NETKey FeaturesGet up to speed with .NET 5's new improvements and featuresDiscover how to improve existing code design and enhance software maintainabilityExplore explanations and techniques for making programs easier to ... Read more

$27.99 USD or Free with Kobo Plus

A practical guide to building and upgrading new and legacy applications on cloud-native platforms using architectural best practices with .NET 5, C\# 9, microservices, and ML.NETKey FeaturesGet up to speed with .NET 5's new improvements and featuresDiscover how to improve existing code design and enhance software maintainabilityExplore explanations and techniques for making programs easier to
... Read more
The Scrum Guide Unfolds

Agile Software Development, #2

by Maik Seyfert ...

Series Book 2 - Agile Software Development
Unlock the full potential of Scrum with The Scrum Guide Unfolds. This comprehensive guide goes beyond the basics, diving deeper into the practical applications, challenges, and evolving nature of Scrum. Whether you're just starting your Scrum journey or looking to refine your approach, this book offers valuable insights into mastering the framework.Explore key Scrum elements, including roles, ... Read more

$5.99 USD or Free with Kobo Plus

Unlock the full potential of Scrum with The Scrum Guide Unfolds. This comprehensive guide goes beyond the basics, diving deeper into the practical applications, challenges, and evolving nature of Scrum. Whether you're just starting your Scrum journey or looking to refine your approach, this book offers valuable insights into mastering the framework.Explore key Scrum elements, including roles,
... Read more
ServiceNow for IT Service Management: Manage, Transform, and Deliver IT Operations and Services with Incident, Problem and Change Management Using ServiceNow and ITSM Framework

by Mohammad Khaleelullah ...

Master IT Service Management with Real-World ServiceNow Expertise.Key Features● Comprehensive ITSM concepts explained with real-world context and use cases.● In-depth ServiceNow guidance to implement and optimize IT workflows.● Practical process coverage: Incident, Problem, Change and Request Fulfilment.● Step-by-step guidance to align IT services with business goals.Book DescriptionServiceNow has ... Read more

$19.95 USD or Free with Kobo Plus

Master IT Service Management with Real-World ServiceNow Expertise.Key Features● Comprehensive ITSM concepts explained with real-world context and use cases.● In-depth ServiceNow guidance to implement and optimize IT workflows.● Practical process coverage: Incident, Problem, Change and Request Fulfilment.● Step-by-step guidance to align IT services with business goals.Book DescriptionServiceNow has
... Read more
Advances in Computers

by Suyel Namasudra, Veljko Milutinovic ...

Series Book 116 - Advances in Computers
Advances in Computers, Volume 116, presents innovations in computer hardware, software, theory, design, and applications, with this updated volume including new chapters on Teaching Graduate Students How to Review Research Articles and How to Respond to Reviewer Comments, ALGATOR - An Automatic Algorithm Evaluation System, Graph Grammar Induction, Asymmetric Windows in Digital Signal Processing, ... Read more

$163.99 USD

Advances in Computers, Volume 116, presents innovations in computer hardware, software, theory, design, and applications, with this updated volume including new chapters on Teaching Graduate Students How to Review Research Articles and How to Respond to Reviewer Comments, ALGATOR - An Automatic Algorithm Evaluation System, Graph Grammar Induction, Asymmetric Windows in Digital Signal Processing,
... Read more
Intuitive Python

Productive Development for Projects that Last

by David Muller ...

Developers power their projects with Python because it emphasizes readability, ease of use, and access to a meticulously maintained set of packages and tools. The language itself continues to improve with every release: writing in Python is full of possibility. But to maintain a successful Python project, you need to know more than just the language. You need tooling and instincts to help you make ... Read more

$16.99 USD

Developers power their projects with Python because it emphasizes readability, ease of use, and access to a meticulously maintained set of packages and tools. The language itself continues to improve with every release: writing in Python is full of possibility. But to maintain a successful Python project, you need to know more than just the language. You need tooling and instincts to help you make
... Read more
Logic and Its Applications

11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings

Edited by C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. The topics included are Mathematics, Computer Science, ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. The topics included are Mathematics, Computer Science,
... Read more
React Native in Action

Developing iOS and Android apps with JavaScript

by nader dabit ...

SummaryReact Native in Action gives iOS, Android, and web developers the knowledge and confidence they need to begin building high-quality iOS and Android apps using the React Native framework.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyReact Native gives mobile and web developers the power of "and." Write your app ... Read more

$49.99 USD

SummaryReact Native in Action gives iOS, Android, and web developers the knowledge and confidence they need to begin building high-quality iOS and Android apps using the React Native framework.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyReact Native gives mobile and web developers the power of "and." Write your app
... Read more
LLM Observability with LangSmith

Tracing, Evaluating, and Monitoring Production LLM and Agent Applications

by Caelan Wexford ...

"LLM Observability with LangSmith: Tracing, Evaluating, and Monitoring Production LLM and Agent Applications"Modern LLM and agent systems rarely fail in obvious ways; they drift, regress, over-spend, misroute tools, and disappoint users long before dashboards make the problem visible. This book is written for experienced AI engineers, platform teams, and senior developers who need a disciplined ... Read more

$9.99 USD or Free with Kobo Plus

"LLM Observability with LangSmith: Tracing, Evaluating, and Monitoring Production LLM and Agent Applications"Modern LLM and agent systems rarely fail in obvious ways; they drift, regress, over-spend, misroute tools, and disappoint users long before dashboards make the problem visible. This book is written for experienced AI engineers, platform teams, and senior developers who need a disciplined
... Read more
Software Engineering: Emerging Trends and Practices in System Development

Proceedings of 14th Computer Science On-line Conference 2025, Volume 5

Edited by Radek Silhavy, Petr Silhavy ...

Series series Springer Nature Proceedings excluding Computer Science
This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This book presents cutting-edge methods, practical case studies, and foundational advances that address real-world challenges across the computational spectrum.Whether you seek rigorous theory, proven ... Read more

$197.99 USD

This book discovers peer-reviewed research from an international research conference that unites experts in software engineering, data science, artificial intelligence, cybernetics, and informatics.This book presents cutting-edge methods, practical case studies, and foundational advances that address real-world challenges across the computational spectrum.Whether you seek rigorous theory, proven
... Read more
Foundations of Probabilistic Logic Programming

by Fabrizio Riguzzi ...

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning.This book aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, ... Read more

$119.99 USD

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning.This book aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference,
... Read more
Building Apps with Bolt.new

From Prompt to Deployed Web App in Your Browser

by Marlo Quint ...

"Building Apps with Bolt.new: From Prompt to Deployed Web App in Your Browser"Building software is changing fast, but turning AI-generated ideas into reliable, deployed applications still requires judgment, structure, and technical discipline. This book is written for experienced builders, technical operators, product-minded founders, and advanced no-code or AI automation practitioners who want to ... Read more

$6.99 USD or Free with Kobo Plus

"Building Apps with Bolt.new: From Prompt to Deployed Web App in Your Browser"Building software is changing fast, but turning AI-generated ideas into reliable, deployed applications still requires judgment, structure, and technical discipline. This book is written for experienced builders, technical operators, product-minded founders, and advanced no-code or AI automation practitioners who want to
... Read more
Information Security and Cryptology

12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers

Edited by Kefei Chen, Dongdai Lin, Moti Yung ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Information Security and Cryptology, Inscrypt 2016, held in Beijing, China, in November 2016.The 32 revised full papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on symmetric ciphers; public-key cryptosystems; ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Information Security and Cryptology, Inscrypt 2016, held in Beijing, China, in November 2016.The 32 revised full papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on symmetric ciphers; public-key cryptosystems;
... Read more
Demystifying Portfolio Management

The ABCs of Portfolio Management

by Phill Akinwale ...

Welcome to the world of portfolio management, where strategic thinking meets innovation, and business acumen drives success. "Demystifying Portfolio Management" is not your average book; it's an immersive journey led by a seasoned expert with over a decade of experience in the art of portfolio management. Drawing inspiration from the brilliance of Warren Buffet, the visionary insight of Steve Jobs ... Read more

$27.99 USD

Welcome to the world of portfolio management, where strategic thinking meets innovation, and business acumen drives success. "Demystifying Portfolio Management" is not your average book; it's an immersive journey led by a seasoned expert with over a decade of experience in the art of portfolio management. Drawing inspiration from the brilliance of Warren Buffet, the visionary insight of Steve Jobs
... Read more
Programming in Visual Basic 2010

The Very Beginner's Guide

by Jim McKeown ...

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and ... Read more

$81.99 USD

This is an introduction to programming using Microsoft's Visual Basic.NET 2010, intended for novice programmers with little or no programming experience or no experience with Visual Basic. The text emphasizes programming logic and good programming techniques with generous explanations of programming concepts written from a non-technical point of view. It stresses input, processing, and output and
... Read more
Embedded Systems Architecture for Agile Development

A Layers-Based Model

by Mohsen Mirtalebi ...

Series series Professional and Applied Computing (R0)
Utilize a new layers-based development model for embedded systems using Agile techniques for software architecture and management. Firmware is comprised of both hardware and software, but the applicability of Agile in embedded systems development is new. This book provides a step-by-step process showing how this is possible.The book details how the moving parts in embedded systems development ... Read more

$40.99 USD

Utilize a new layers-based development model for embedded systems using Agile techniques for software architecture and management. Firmware is comprised of both hardware and software, but the applicability of Agile in embedded systems development is new. This book provides a step-by-step process showing how this is possible.The book details how the moving parts in embedded systems development
... Read more
Moderne C++ Programmierung

Klassen, Templates, Design Patterns

by Ralf Schneeweiß ...

Series series Computer Science and Engineering (German Language)
C++ ist eine objektorientierte Programmiersprache, neben der Objektorientierung gewinnt aber die generische Programmierung mittels parametrisierbaren Klassen oder Templates zunehmend an Bedeutung, da diese Methode große Vorteile gegenüber der objektorientierten aufweist, wenn es darum geht, wiederverwendbaren Code zu schreiben.Dieses Buch liefert eine fundierte Darstellung des modernen ... Read more

$53.99 USD

C++ ist eine objektorientierte Programmiersprache, neben der Objektorientierung gewinnt aber die generische Programmierung mittels parametrisierbaren Klassen oder Templates zunehmend an Bedeutung, da diese Methode große Vorteile gegenüber der objektorientierten aufweist, wenn es darum geht, wiederverwendbaren Code zu schreiben.Dieses Buch liefert eine fundierte Darstellung des modernen
... Read more
The Agile Consultant

Guiding Clients to Enterprise Agility

by Rick Freedman ...

Series series Business and Management (R0)
Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning to bring speed, creativity, empowerment and increased productivity to product development. This book is your guide to becoming the go-to advisor for the enterprise agile transition.Many organizations have brought in agile coaches and achieved great ... Read more

$58.99 USD

Learn the agile philosophy of lean processes, incremental delivery, deep client participation, decentralized authority, and just-in-time planning to bring speed, creativity, empowerment and increased productivity to product development. This book is your guide to becoming the go-to advisor for the enterprise agile transition.Many organizations have brought in agile coaches and achieved great
... Read more
Applied Computer Science for GGOS Observatories

Communication, Coordination and Automation of Future Geodetic Infrastructures

by Alexander N.J. Neidhardt ...

Series series Earth and Environmental Science (R0)
This book combines elementary theory from computer science with real-world challenges in global geodetic observation, based on examples from the Geodetic Observatory Wettzell, Germany. It starts with a step-by-step introduction to developing stable and safe scientific software to run successful software projects. The use of software toolboxes is another essential aspect that leads to the ... Read more

$49.99 USD

This book combines elementary theory from computer science with real-world challenges in global geodetic observation, based on examples from the Geodetic Observatory Wettzell, Germany. It starts with a step-by-step introduction to developing stable and safe scientific software to run successful software projects. The use of software toolboxes is another essential aspect that leads to the
... Read more
Grundlagen der Anforderungsanalyse

Standardkonformes Requirements Engineering

by Andrea Herrmann ...

Series series Computer Science and Engineering (German Language)
Dieses Buch zeigt ein systematisches, mit aktuellen Standards konformes Vorgehen für die gesamte Anforderungsanalyse bzw. das Requirements Engineering. Dieses Vorgehen wird durch konkrete Beispiele und zwei durchgängige, nicht zu einfache Fallstudien illustriert: das Buchportal und das Fitness-Armband. Die verwendeten Vorlagen sowie agilen und nichtagilen Techniken haben sich in der Praxis bewährt ... Read more

$31.99 USD

Dieses Buch zeigt ein systematisches, mit aktuellen Standards konformes Vorgehen für die gesamte Anforderungsanalyse bzw. das Requirements Engineering. Dieses Vorgehen wird durch konkrete Beispiele und zwei durchgängige, nicht zu einfache Fallstudien illustriert: das Buchportal und das Fitness-Armband. Die verwendeten Vorlagen sowie agilen und nichtagilen Techniken haben sich in der Praxis bewährt
... Read more
Proceedings of 4th International Conference in Software Engineering for Defence Applications

SEDA 2015

Edited by Angelo Messina, Paolo Ciancarini, Alberto Sillitti, Giancarlo Succi ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The ... Read more

$143.99 USD

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The
... 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: