Rakuten Kobo

Java 8 Recipes

by John OConner, Carl Dea, Josh Juneau, Mark Beaty, Freddy Guime ...

Series series Professional and Applied Computing (R0)
Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional interfaces, and much more. Especial emphasis is given to features such as ... Read more

$53.99 USD

Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional interfaces, and much more. Especial emphasis is given to features such as
... Read more
Smart: Guide for Product Managers

by Alden Globe ...

Brief, high-level checklists for product managers who seek to understand knowledge in a single revenue-generating business process and utilize it.Locate tacit knowledge, the tribal knowledge, and the knowledge that lies between the documents that make the process work. Capture it and put it to work in new ways. You may be building a software or information product (Section One: Build), or you ... Read more

$0.99 USD

Brief, high-level checklists for product managers who seek to understand knowledge in a single revenue-generating business process and utilize it.Locate tacit knowledge, the tribal knowledge, and the knowledge that lies between the documents that make the process work. Capture it and put it to work in new ways. You may be building a software or information product (Section One: Build), or you
... Read more
Advances in Computational Intelligence. MICAI 2023 International Workshops

WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings

Edited by Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes ...

Series series Springer Nature Proceedings Computer Science
This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections:– WILE 2023: 16th Workshop on ... Read more

$80.99 USD

This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections:– WILE 2023: 16th Workshop on
... Read more
Transactions on Petri Nets and Other Models of Concurrency X

Edited by Maciej Koutny, Jörg Desel, Serge Haddad ...

Series series Computer Science (R0)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC ... Read more

$49.99 USD

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC
... Read more
Information Systems: Research, Development, Applications, Education

11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

Edited by Stanisław Wrycza, Jacek Maślankowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th SIGSAND/PLAIS EuroSymposium 2018 held in Gdansk, Poland, on September 20, 2018.The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to information systems (IS) and in particular in systems analysis and design (SAND).The 14 papers presented in this volume ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 11th SIGSAND/PLAIS EuroSymposium 2018 held in Gdansk, Poland, on September 20, 2018.The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to information systems (IS) and in particular in systems analysis and design (SAND).The 14 papers presented in this volume
... Read more
Software Fault Prediction

A Road Map

by Sandeep Kumar, Santosh Singh Rathore ...

Series series Computer Science (R0)
This book focuses on exploring the use of software fault prediction in building reliable and robust software systems. It is divided into the following chapters: Chapter 1 presents an introduction to the study and also introduces basic concepts of software fault prediction. Chapter 2 explains the generalized architecture of the software fault prediction process and discusses its various components. ... Read more

$49.99 USD

This book focuses on exploring the use of software fault prediction in building reliable and robust software systems. It is divided into the following chapters: Chapter 1 presents an introduction to the study and also introduces basic concepts of software fault prediction. Chapter 2 explains the generalized architecture of the software fault prediction process and discusses its various components.
... Read more
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Edited by Alessandro Cimatti, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software
... Read more
Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Edited by Martin Fränzle, Nicolas Markey ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid
... Read more
Programma-Algebra, een inleiding tot de programmatuur

by Inge Bethke ...

In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van ... Read more

Free

In dit boek wordt Programma-Algebra (PGA) geïntroduceerd als een algebra die een (extreem) eenvoudige vorm van programmeren karakteriseert. Vervolgens wordt PGA voorzien van een semantiek in termen van gedragsexpressies. PGA heeft één parameter, namelijk een verzameling basisinstructies (of 'acties' in termen van gedrag). Deze simpele aanpak geeft aanleiding tot een kleine hiërarchie van
... Read more
Containers for Developers Handbook

A practical guide to developing and delivering applications using software containers

by Francisco Javier Ramírez Urea ...

Effortlessly create and manage complex multi-component applications based on Docker containersKey FeaturesGain a clear understanding of software containers from the SecDevOps perspectiveMaster the construction of application pieces within containers to achieve a seamless life cyclePrepare your applications to run smoothly and with ease in complex container orchestratorsPurchase of the print or ... Read more

$34.99 USD or Free with Kobo Plus

Effortlessly create and manage complex multi-component applications based on Docker containersKey FeaturesGain a clear understanding of software containers from the SecDevOps perspectiveMaster the construction of application pieces within containers to achieve a seamless life cyclePrepare your applications to run smoothly and with ease in complex container orchestratorsPurchase of the print or
... Read more
Design Patterns in .NET 6

Reusable Approaches in C# and F# for Object-Oriented Software Design

by Dmitri Nesteruk ...

Series series Professional and Applied Computing (R0)
Implement design patterns in .NET 6 using the latest versions of the C# and F# languages. This book provides a comprehensive overview of the field of design patterns as they are used in today’s developer toolbox. In addition to the functional builder, asynchronous factory method, generic value adapter, and composite proxies, this new edition introduces topics such as Decorator Cycle Policies ... Read more

$62.99 USD

Implement design patterns in .NET 6 using the latest versions of the C# and F# languages. This book provides a comprehensive overview of the field of design patterns as they are used in today’s developer toolbox. In addition to the functional builder, asynchronous factory method, generic value adapter, and composite proxies, this new edition introduces topics such as Decorator Cycle Policies
... Read more
Prompting Java for Backend Development

Build Enterprise Java Applications, Microservices, AI Agents, RAG Systems, and Production Backends Faster with Prompt Engineering (English Edition)

by Dorival Querino ...

Code Less. Build More. Scale Faster with Java and AI.Book DescriptionJava powers the enterprise — and the developers who know how to direct AI with precision are the ones building and shipping production systems faster than anyone else. Prompting Java for Backend Development shows you how to translate natural-language intent directly into production-ready Java code using AI, accelerating every ... Read more

$19.95 USD or Free with Kobo Plus

Code Less. Build More. Scale Faster with Java and AI.Book DescriptionJava powers the enterprise — and the developers who know how to direct AI with precision are the ones building and shipping production systems faster than anyone else. Prompting Java for Backend Development shows you how to translate natural-language intent directly into production-ready Java code using AI, accelerating every
... Read more
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Edited by Roger Lee ...

Series series Intelligent Technologies and Robotics (R0)
This book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, ... Read more

$152.99 USD

This book presents scientific results of the 23rd ACIS International Summer Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on July 4-6, 2022, at Kyoto City, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,
... Read more
Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings

Edited by Yu-Fang Chen, Thomas Jensen, Ondřej Lengál ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, ... Read more

$71.99 USD

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation,
... Read more
On the Pursuit of Insight and Elegance

Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday

Edited by Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies ...

Series series Computer Science (R0)
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the ... Read more

$49.99 USD

Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the
... Read more
Advanced Research in Technologies, Information, Innovation and Sustainability

Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings, Part III

Edited by Teresa Guarda, Filipe Portela, Jose Maria Diaz-Nafria ...

Series Book 3 - Springer Nature Proceedings Computer Science
The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings. The 98 revised full papers presented in these proceedings were carefully reviewed and selected from 297 submissions. The papers are organized in the following topical sections:Part I:Computing ... Read more

$89.99 USD

The three-volume set CCIS 1935, 1936 and 1937 constitutes the refereed post-conference proceedings of the Third International Conference, ARTIIS 2023, Madrid, Spain, October 18–20, 2023, Proceedings. The 98 revised full papers presented in these proceedings were carefully reviewed and selected from 297 submissions. The papers are organized in the following topical sections:Part I:Computing
... Read more
MOJO Programming for LLM Developers

The Comprehensive Guide to Building Powerful Next-Generation Language Models, Chatbots & Virtual Assistants

by Edward R. Deforest ...

Series series Mojo Programming mastery
Master Large Language Models with MOJO Programming: Build Powerful AI for the FutureAbout the Technology:Large Language Models (LLMs) are revolutionizing the way we interact with machines. These AI models, trained on massive datasets of text and code, can generate human-quality text, translate languages, write different kinds of creative content, and answer your questions in an informative way. ... Read more

$8.04 USD

Master Large Language Models with MOJO Programming: Build Powerful AI for the FutureAbout the Technology:Large Language Models (LLMs) are revolutionizing the way we interact with machines. These AI models, trained on massive datasets of text and code, can generate human-quality text, translate languages, write different kinds of creative content, and answer your questions in an informative way.
... Read more
Foundations for Software Project Management in Classic and Agile Environments

by Andreas Johannsen, Anne Kramer, Daniela Stokar von Neuforn ...

Series series Professional and Applied Computing (R0)
This book provides the necessary foundational knowledge in the increasingly critical field of software project management. It follows the curriculum of the ASQF® Certified Professional for Project Management (CPPM) certification scheme. It is, however, suitable for any introductory academic or professional course in the field.Different project management frameworks exist. Some of them still ... Read more

$49.99 USD

This book provides the necessary foundational knowledge in the increasingly critical field of software project management. It follows the curriculum of the ASQF® Certified Professional for Project Management (CPPM) certification scheme. It is, however, suitable for any introductory academic or professional course in the field.Different project management frameworks exist. Some of them still
... Read more
Machine Learning and Knowledge Discovery in Databases. Research Track

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

Edited by Albert Bifet, Jesse Davis, Tomas Krilavičius, Meelis Kull, Eirini Ntoutsi, Indrė Žliobaitė ...

Series Book 2 - 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
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Edited by Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and
... Read more
Integrating Business Process Models and Rules

Empirical Evidence and Decision Framework

by Wei Wang ...

Series series Computer Science (R0)
This book combines multiple research methods, experiment, survey, and design science, as well as traditional measurements and neurophysiological techniques that can capture a variety of cognitive behaviors in human information processing, providing more solid and comprehended research findings. While the focus of the book is the modelling of process models and rules, the methods and techniques ... Read more

$49.99 USD

This book combines multiple research methods, experiment, survey, and design science, as well as traditional measurements and neurophysiological techniques that can capture a variety of cognitive behaviors in human information processing, providing more solid and comprehended research findings. While the focus of the book is the modelling of process models and rules, the methods and techniques
... Read more
Ruby Best Practices

Increase Your Productivity - Write Better Code

by Gregory T Brown ...

How do you write truly elegant code with Ruby? Ruby Best Practices is for programmers who want to use Ruby as experienced Rubyists do. Written by the developer of the Ruby project Prawn, this concise book explains how to design beautiful APIs and domain-specific languages with Ruby, as well as how to work with functional programming ideas and techniques that can simplify your code and make you ... Read more

$20.99 USD

How do you write truly elegant code with Ruby? Ruby Best Practices is for programmers who want to use Ruby as experienced Rubyists do. Written by the developer of the Ruby project Prawn, this concise book explains how to design beautiful APIs and domain-specific languages with Ruby, as well as how to work with functional programming ideas and techniques that can simplify your code and make you
... Read more
Advances in Computing

13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

Edited by Jairo E. Serrano C., Juan Carlos Martínez-Santos ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th Colombian Conference on Computing, CCC 2018, held in Cartagena, Colombia, in September 2018.The 46 revised full papers presented were carefully reviewed and selected from 194 submissions. The papers deal with the following topics: information and knowledge management, software engineering and IT architectures, educational informatics, ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th Colombian Conference on Computing, CCC 2018, held in Cartagena, Colombia, in September 2018.The 46 revised full papers presented were carefully reviewed and selected from 194 submissions. The papers deal with the following topics: information and knowledge management, software engineering and IT architectures, educational informatics,
... Read more
Networked Systems

Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

Edited by Ahmed Bouajjani, Hugues Fauconnier ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorithms; ... Read more

$49.99 USD

This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorithms;
... 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: