Rakuten Kobo

Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Edited by Santiago Escobar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... Read more

$54.62 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of
... Read more
Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Edited by Dimitra Giannakopoulou, Daniel Kroening ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... Read more

$54.62 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully
... Read more
Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Edited by Yvan Labiche, Márcio Barros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software ... Read more

$58.04 CAD

This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software
... Read more
SQL 101 Crash Course

by Emrys Callahan ...

SQL 101 Crash Course is a comprehensive beginner's guide that takes you through the world of SQL, right from understanding databases to mastering complex queries. This book is designed to provide you with a solid foundation in SQL, along with practical examples and real-world scenarios to reinforce your learning. In this book, you'll explore the key concepts of databases and their structure while ... Read more

$33.99 CAD or Free with Kobo Plus

SQL 101 Crash Course is a comprehensive beginner's guide that takes you through the world of SQL, right from understanding databases to mastering complex queries. This book is designed to provide you with a solid foundation in SQL, along with practical examples and real-world scenarios to reinforce your learning. In this book, you'll explore the key concepts of databases and their structure while
... Read more
AGI and the Thin Blue Line: Unleashing the Power of AI in Modern Policing

by Josh Luberisse, Jeffte Luberisse ...

In an era of rapid technological advancements and unprecedented possibilities, Artificial General Intelligence (AGI) promises to redefine the world of law enforcement. From surveillance and monitoring to predictive policing and proactive crime prevention, AGI has the potential to revolutionize the way police agencies operate and address the complex challenges of public safety. "AGI and the Thin ... Read more

$13.99 CAD or Free with Kobo Plus

In an era of rapid technological advancements and unprecedented possibilities, Artificial General Intelligence (AGI) promises to redefine the world of law enforcement. From surveillance and monitoring to predictive policing and proactive crime prevention, AGI has the potential to revolutionize the way police agencies operate and address the complex challenges of public safety. "AGI and the Thin
... Read more
PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

by Scott Markham ...

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first ... Read more

$10.99 CAD or Free with Kobo Plus

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first
... Read more
Chatgpt | Generative AI - The Step-By-Step Guide For OpenAI & Azure OpenAI In 36 Hrs.

by AJIT DASH ...

Dive into the world of OpenAI and Azure OpenAI in 36 hrs with this comprehensive guide. From understanding the fundamentals of AI and machine learning to exploring the power of GPT models and advanced NLP techniques, this book equips you with the knowledge to leverage cutting-edge technologies. Learn how to harness tokens, navigate installations, and master prompt engineering. Whether you're a ... Read more

$13.99 CAD or Free with Kobo Plus

Dive into the world of OpenAI and Azure OpenAI in 36 hrs with this comprehensive guide. From understanding the fundamentals of AI and machine learning to exploring the power of GPT models and advanced NLP techniques, this book equips you with the knowledge to leverage cutting-edge technologies. Learn how to harness tokens, navigate installations, and master prompt engineering. Whether you're a
... Read more
The Student's AI Toolkit

by Vishal Mehra ...

The academic world has fundamentally changed. The Student's AI Toolkit is your essential, responsible guide to navigating the future of learning with artificial intelligence. Stop dedicating hours to tedious tasks like citation management, exhaustive proofreading, and manual summarization. This book teaches you how to master the top AI tools—from prompt engineering Large Language Models (LLMs) ... Read more

$5.99 CAD or Free with Kobo Plus

The academic world has fundamentally changed. The Student's AI Toolkit is your essential, responsible guide to navigating the future of learning with artificial intelligence. Stop dedicating hours to tedious tasks like citation management, exhaustive proofreading, and manual summarization. This book teaches you how to master the top AI tools—from prompt engineering Large Language Models (LLMs)
... Read more
Monetización de ChatGPT: aproveche el poder de AI

Spanish

by Vaskolo ...

Series series Spanish
Este libro electrónico sobre la monetización de ChatGPT te enseñará cómo aprovechar la inteligencia artificial para crear contenido de alta calidad y hacer crecer tu negocio de freelancing. Descubre cómo ahorrar tiempo y aumentar tus ingresos utilizando el poder de la IA para escribir artículos, redactar textos publicitarios, promocionar productos y servicios, y mucho más. Este libro será tu guía ... Read more

$4.99 CAD or Free with Kobo Plus

Este libro electrónico sobre la monetización de ChatGPT te enseñará cómo aprovechar la inteligencia artificial para crear contenido de alta calidad y hacer crecer tu negocio de freelancing. Descubre cómo ahorrar tiempo y aumentar tus ingresos utilizando el poder de la IA para escribir artículos, redactar textos publicitarios, promocionar productos y servicios, y mucho más. Este libro será tu guía
... Read more
Artificial Intelligence for Stock Traders

by Jeffery William Long ...

Artificial Intelligence for Stock Traders: How XGPT is Changing the GameChapter 1. Introduction to XGTP and Stock TradingIn this chapter, we will introduce you to the exciting world of XGPT artificial intelligence stock trading and explore how it is revolutionizing the game. Whether you are a seasoned trader looking to enhance your strategies or a beginner eager to learn more about the power of AI ... Read more

$27.99 CAD or Free with Kobo Plus

Artificial Intelligence for Stock Traders: How XGPT is Changing the GameChapter 1. Introduction to XGTP and Stock TradingIn this chapter, we will introduce you to the exciting world of XGPT artificial intelligence stock trading and explore how it is revolutionizing the game. Whether you are a seasoned trader looking to enhance your strategies or a beginner eager to learn more about the power of AI
... Read more
Kafka Connect

Build and Run Data Pipelines

by Mickael Maison, Kate Stanley ...

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to ... Read more

$61.19 CAD

Used by more than 80% of Fortune 100 companies, Apache Kafka has become the de facto event streaming platform. Kafka Connect is a key component of Kafka that lets you flow data between your existing systems and Kafka to process data in real time.With this practical guide, authors Mickael Maison and Kate Stanley show data engineers, site reliability engineers, and application developers how to
... Read more
Gamer Psychology and Behavior

Edited by Barbaros Bostan ...

Series series Computer Science (R0)
This book provides an introduction and overview of the increasingly important topic of gamer psychology and behavior by presenting a range of theoretic perspectives and empirical evidence casting new light on understanding gamer behavior and designing interactive gaming experiences that maximize fun. This book aims to provide a snapshot on research approaches/advances in player psychology and ... Read more

$104.48 CAD

This book provides an introduction and overview of the increasingly important topic of gamer psychology and behavior by presenting a range of theoretic perspectives and empirical evidence casting new light on understanding gamer behavior and designing interactive gaming experiences that maximize fun. This book aims to provide a snapshot on research approaches/advances in player psychology and
... Read more
Good Habits for Great Coding

Improving Programming Skills with Examples in Python

by Michael Stueben ...

Series series Professional and Applied Computing (R0)
Improve your coding skills and learn how to write readable code. Rather than teach basic programming, this book presumes that readers understand the fundamentals, and offers time-honed best practices for style, design, documenting, testing, refactoring, and more.Taking an informal, conversational tone, author Michael Stueben offers programming stories, anecdotes, observations, advice, tricks, ... Read more

$51.02 CAD

Improve your coding skills and learn how to write readable code. Rather than teach basic programming, this book presumes that readers understand the fundamentals, and offers time-honed best practices for style, design, documenting, testing, refactoring, and more.Taking an informal, conversational tone, author Michael Stueben offers programming stories, anecdotes, observations, advice, tricks,
... Read more
Expert Twisted

Event-Driven and Asynchronous Programming with Python

by Mark Williams, Cory Benfield, Brian Warner, Moshe Zadka, Dustin Mitchell, Kevin Samuel, Pierre Tardy ...

Series series Professional and Applied Computing (R0)
Explore Twisted, the Python-based event-driven networking engine, and review several of its most popular application projects. It is written by community leaders who have contributed to many of the projects covered, and share their hard-won insights and experience.Expert Twisted starts with an introduction to event-driven programming, explaining it in the context of what makes Twisted unique. It ... Read more

$61.91 CAD

Explore Twisted, the Python-based event-driven networking engine, and review several of its most popular application projects. It is written by community leaders who have contributed to many of the projects covered, and share their hard-won insights and experience.Expert Twisted starts with an introduction to event-driven programming, explaining it in the context of what makes Twisted unique. It
... Read more
Functional Interfaces in Java

Fundamentals and Examples

by Ralph Lecessi ...

Series series Professional and Applied Computing (R0)
Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API. You’ll see how complex logical expressions can be reduced to chains of predicates and how chains of comparators can be used ... Read more

$72.71 CAD

Reduce development time by organizing your programs as chains of functional interfaces and see that the advantages of using functional interfaces include the flexibility and power of inlined functional chains and reuse of functional methods utilized throughout the Java API. You’ll see how complex logical expressions can be reduced to chains of predicates and how chains of comparators can be used
... Read more
Human Activity Sensing

Corpus and Applications

Edited by Nobuo Kawaguchi, Nobuhiko Nishio, Daniel Roggen, Sozo Inoue, Susanna Pirttikangas, Kristof Van Laerhoven ...

Series series Computer Science (R0)
Activity recognition has emerged as a challenging and high-impact research field, as over the past years smaller and more powerful sensors have been introduced in wide-spread consumer devices. Validation of techniques and algorithms requires large-scale human activity corpuses and improved methods to recognize activities and the contexts in which they occur.This book deals with the challenges of ... Read more

$104.48 CAD

Activity recognition has emerged as a challenging and high-impact research field, as over the past years smaller and more powerful sensors have been introduced in wide-spread consumer devices. Validation of techniques and algorithms requires large-scale human activity corpuses and improved methods to recognize activities and the contexts in which they occur.This book deals with the challenges of
... Read more
Harley Hahn's Emacs Field Guide

by Harley Hahn ...

Series series Professional and Applied Computing (R0)
In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces, ... Read more

$72.71 CAD

In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces,
... Read more
Interactive Object Oriented Programming in Java

Learn and Test Your Skills

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Discover object oriented programming with Java in this unique tutorial. This book uses Java and Eclipse to write and generate output for examples in topics such as classes, interfaces, overloading, and overriding. Interactive Object Oriented Programming in Java uniquely presents its material in a dialogue with the reader to encourage thinking and experimentation.Later chapters cover further Java ... Read more

$29.33 CAD

Discover object oriented programming with Java in this unique tutorial. This book uses Java and Eclipse to write and generate output for examples in topics such as classes, interfaces, overloading, and overriding. Interactive Object Oriented Programming in Java uniquely presents its material in a dialogue with the reader to encourage thinking and experimentation.Later chapters cover further Java
... Read more
Digital Electronics for Musicians

by Alexandros Drymonitis ...

Series series Professional and Applied Computing (R0)
This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and even new instruments with that knowledge.You’ll learn the basics of the Pure Data and Arduino languages, how to incorporate ... Read more

$72.71 CAD

This is the perfect book for musicians who want to dive into the world of computer music and physical computing. This book is aimed at adventurous musicians who want to learn about music programming with Arduino, sensors, and Pure Data, and how to make new interfaces and even new instruments with that knowledge.You’ll learn the basics of the Pure Data and Arduino languages, how to incorporate
... Read more
Design Patterns in C#

A Hands-on Guide with Real-World Examples

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Get hands-on experience with each Gang of Four design pattern using C#. For each of the patterns, you’ll see at least one real-world scenario, a coding example, and a complete implementation including output.In the first part of Design Patterns in C#, you will cover the 23 Gang of Four (GoF) design patterns, before moving onto some alternative design patterns, including the Simple Factory Pattern, ... Read more

$57.50 CAD

Get hands-on experience with each Gang of Four design pattern using C#. For each of the patterns, you’ll see at least one real-world scenario, a coding example, and a complete implementation including output.In the first part of Design Patterns in C#, you will cover the 23 Gang of Four (GoF) design patterns, before moving onto some alternative design patterns, including the Simple Factory Pattern,
... Read more
DevOps for Azure Applications

Deploy Web Applications on Azure

by Suren Machiraju, Suraj Gaurav ...

Series series Professional and Applied Computing (R0)
Deploy web applications on Azure using DevOps tools. This book gives solutions to real-world Cloud deployment scenarios which will enable you to become adept in DevOps work for Azure.You'll start by seeing an overview of DevOps for Azure deployments where you will also survey the available tools, including Octopus Deploy and TeamCity. Here, you will learn how to use TeamCity as a CI tool and ... Read more

$40.13 CAD

Deploy web applications on Azure using DevOps tools. This book gives solutions to real-world Cloud deployment scenarios which will enable you to become adept in DevOps work for Azure.You'll start by seeing an overview of DevOps for Azure deployments where you will also survey the available tools, including Octopus Deploy and TeamCity. Here, you will learn how to use TeamCity as a CI tool and
... Read more
Clean Python

Elegant Coding in Python

by Sunil Kapil ...

Series series Professional and Applied Computing (R0)
Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects.Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python dictionary for improved maintainability, and working with modules ... Read more

$51.02 CAD

Discover the right way to code in Python. This book provides the tips and techniques you need to produce cleaner, error-free, and eloquent Python projects.Your journey to better code starts with understanding the importance of formatting and documenting your code for maximum readability, utilizing built-in data structures and Python dictionary for improved maintainability, and working with modules
... Read more
Collaboration in Creative Design

Methods and Tools

Edited by Panos Markopoulos, Jean-Bernard Martens, Julian Malins, Karin Coninx, Aggelos Liapis ...

Series series Computer Science (R0)
This book presents a number of new methods, tools, and approaches aimed to assist researchers and designers during the early stages of the design process, focusing on the need to approach the development of new interactive products, systems and related services by closely observing the needs of potential end-users through adopting a design thinking approach.A wide range of design approaches are ... Read more

$104.48 CAD

This book presents a number of new methods, tools, and approaches aimed to assist researchers and designers during the early stages of the design process, focusing on the need to approach the development of new interactive products, systems and related services by closely observing the needs of potential end-users through adopting a design thinking approach.A wide range of design approaches are
... Read more
Design of Experiments for Reinforcement Learning

by Christopher Gatti ...

Series series Engineering (R0)
This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge. The author approaches these entities using design of experiments not commonly employed to study machine learning methods. The results outlined in this work provide insight ... Read more

$104.48 CAD

This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge. The author approaches these entities using design of experiments not commonly employed to study machine learning methods. The results outlined in this work provide insight
... 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

Programming eBooks

Show: