Rakuten Kobo

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Book 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Read more

Free

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Read more
Java 17 Quick Syntax Reference

A Pocket Guide to the Java SE Language, APIs, and Library

by Mikael Olsson ...

Series series Professional and Applied Computing (R0)
Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and ... Read more

$40.99 USD

Quickly gain the insight necessary to address a multitude of Java coding challenges using this succinct reference guide, Java 17 Quick Syntax Reference, Third Edition. Short, focused code examples will help you learn and master various existing and new Java source code elements.This edition includes the following additions to Java SE and OpenJDK, through Java 17: Pattern matching for switch and
... Read more
Visual Basic in easy steps, 6th edition

Updated for Visual Basic 2019

by Mike McGrath ...

Series series In Easy Steps
Learn to create Windows applications using Visual Basic 2019. Code examples, screenshots, and step-by-step instructions illustrate each aspect of Visual Basic, so you'll be creating your own interactive applications in no time!Visual Basic in easy steps, 6th edition gives you code examples, screenshots, and step-by-step instructions that illustrate each aspect of Visual Basic.You need have no ... Read more

$16.10 USD

Learn to create Windows applications using Visual Basic 2019. Code examples, screenshots, and step-by-step instructions illustrate each aspect of Visual Basic, so you'll be creating your own interactive applications in no time!Visual Basic in easy steps, 6th edition gives you code examples, screenshots, and step-by-step instructions that illustrate each aspect of Visual Basic.You need have no
... Read more
Automating System Administration with Perl

Tools to Make You More Efficient

by David N. Blank-Edelman ...

If you do systems administration work of any kind, you have to deal with the growing complexity of your environment and increasing demands on your time. Automating System Administration with Perl, Second Edition, not only offers you the right tools for your job, but also suggests the best way to approach specific problems and to securely automate recurring tasks.Updated and expanded to cover the ... Read more

$23.99 USD

If you do systems administration work of any kind, you have to deal with the growing complexity of your environment and increasing demands on your time. Automating System Administration with Perl, Second Edition, not only offers you the right tools for your job, but also suggests the best way to approach specific problems and to securely automate recurring tasks.Updated and expanded to cover the
... Read more
Unity AI Programming Essentials

by Curtis Bennett, Dan Violet Sagmiller ...

This book is aimed at developers who know the basics of game development with Unity and want to learn how to add AI to their games. You do not need any previous AI knowledge; this book will explain all the essential AI concepts and show you how to add and use them in your games. ... Read more

$18.99 USD or Free with Kobo Plus

This book is aimed at developers who know the basics of game development with Unity and want to learn how to add AI to their games. You do not need any previous AI knowledge; this book will explain all the essential AI concepts and show you how to add and use them in your games.
... Read more
Computer Graphics Through OpenGL®

From Theory to Experiments

by Sumanta Guha ...

COMPREHENSIVE COVERAGE OF SHADERS, THE PROGRAMMABLE PIPELINE AND WEBGLFrom geometric primitives to animation to 3D modeling to lighting, shading and texturing, Computer Graphics Through OpenGL®: From Theory to Experiments is a comprehensive introduction to computer graphics which uses an active learning style to teach key concepts. Equally emphasizing theory and practice, the book provides an ... Read more

$165.99 USD

COMPREHENSIVE COVERAGE OF SHADERS, THE PROGRAMMABLE PIPELINE AND WEBGLFrom geometric primitives to animation to 3D modeling to lighting, shading and texturing, Computer Graphics Through OpenGL®: From Theory to Experiments is a comprehensive introduction to computer graphics which uses an active learning style to teach key concepts. Equally emphasizing theory and practice, the book provides an
... Read more
C LANGUAGE

C

by Bhupendra Mandloi ...

This EBook will be very much helpful for the newer person or experience person to learn Better C Language as well as Better Programming.Using this EBook anyone can build great logics and concepts. ... Read more

$2.00 USD

This EBook will be very much helpful for the newer person or experience person to learn Better C Language as well as Better Programming.Using this EBook anyone can build great logics and concepts.
... Read more
Introduction to PHP, Part 3, Second Edition

by Adam Majczak ...

Introduction to PHP, Part 3, Second Edition describes Object-Oriented Programming (OOP) in PHP (beginning - being continued by the Part 3 and Part 4). ... Read more

$2.99 USD or Free with Kobo Plus

Introduction to PHP, Part 3, Second Edition describes Object-Oriented Programming (OOP) in PHP (beginning - being continued by the Part 3 and Part 4).
... Read more
SQL in a Nutshell

A Desktop Quick Reference

by Kevin Kline, Daniel Kline, Brand Hunt ...

SQL in a Nutshell applies the eminently useful "Nutshell" format to Structured Query Language (SQL), the elegant--but complex--descriptive language that is used to create and manipulate large stores of data. For SQL programmers, analysts, and database administrators, the new second edition of SQL in a Nutshell is the essential date language reference for the world's top SQL database products. SQL ... Read more

$25.99 USD

SQL in a Nutshell applies the eminently useful "Nutshell" format to Structured Query Language (SQL), the elegant--but complex--descriptive language that is used to create and manipulate large stores of data. For SQL programmers, analysts, and database administrators, the new second edition of SQL in a Nutshell is the essential date language reference for the world's top SQL database products. SQL
... Read more
Raspberry Pi for Secret Agents

by Stefan Sjogelid ...

A playful, informal approach to using the Raspberry Pi for mischief! Raspberry Pi for Secret Agents is for all mischievous Raspberry Pi owners whod like to see their computer transform into a neat spy gadget to be used in a series of practical pranks and projects. No previous skills are required to follow along and if youre completely new to Linux, youll pick up much of the basics for free. Apart ... Read more

$15.99 USD or Free with Kobo Plus

A playful, informal approach to using the Raspberry Pi for mischief! Raspberry Pi for Secret Agents is for all mischievous Raspberry Pi owners whod like to see their computer transform into a neat spy gadget to be used in a series of practical pranks and projects. No previous skills are required to follow along and if youre completely new to Linux, youll pick up much of the basics for free. Apart
... Read more
Beginning ASP.NET for Visual Studio 2015

by William Penberthy ...

The complete guide to the productivity and performance enhancements in ASP.NETBeginning ASP.NET for Visual Studio 2015 is your ultimate guide to the latest upgrade of this historically popular framework. Fully updated to align with the vNext release, this new edition walks you through the new tools and features that make your workflow smoother and your applications stronger. You'll get up to speed ... Read more

$27.00 USD

The complete guide to the productivity and performance enhancements in ASP.NETBeginning ASP.NET for Visual Studio 2015 is your ultimate guide to the latest upgrade of this historically popular framework. Fully updated to align with the vNext release, this new edition walks you through the new tools and features that make your workflow smoother and your applications stronger. You'll get up to speed
... Read more
Core Java, Volume I

Fundamentals

by Cay Horstmann ...

Series series Oracle Press for Java
The Classic Guide to the Java Programming Language--Fully Updated through Java 25Whatever version of Java you are using, Core Java, Volume I: Fundamentals, Fourteenth Edition, will help you achieve a deep and practical understanding of the language and APIs. With hundreds of realistic examples, Java Champion Cay S. Horstmann demonstrates the most powerful and effective ways to get the job done ... Read more

$64.79 USD

The Classic Guide to the Java Programming Language--Fully Updated through Java 25Whatever version of Java you are using, Core Java, Volume I: Fundamentals, Fourteenth Edition, will help you achieve a deep and practical understanding of the language and APIs. With hundreds of realistic examples, Java Champion Cay S. Horstmann demonstrates the most powerful and effective ways to get the job done
... Read more
AI and ML for Coders in PyTorch

A Coder's Guide to Generative AI and Machine Learning

by Laurence Moroney ...

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative ... Read more

$48.99 USD

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative
... Read more
The Common Lisp Condition System

Beyond Exception Handling with Control Flow Mechanisms

by Michał "phoe" Herda ...

Series series Professional and Applied Computing (R0)
Discover the functioning and example uses of the Common Lisp condition system. This book supplements already existing material for studying Common Lisp as a language by providing detailed information about the Lisp condition system and its control flow mechanisms; it also describes an example ANSI-conformant implementation of the condition system.In part 1 of The Common Lisp Condition System, the ... Read more

$40.49 USD

Discover the functioning and example uses of the Common Lisp condition system. This book supplements already existing material for studying Common Lisp as a language by providing detailed information about the Lisp condition system and its control flow mechanisms; it also describes an example ANSI-conformant implementation of the condition system.In part 1 of The Common Lisp Condition System, the
... Read more
Beginning Ruby 3

From Beginner to Pro

by Carleton DiLeo, Peter Cooper ...

Series series Professional and Applied Computing (R0)
Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th ... Read more

$53.99 USD

Learn the principles behind object-oriented programming in Ruby and within a few chapters create a fully functional Ruby 3-based application. You'll gain a basic understanding of many ancillary technologies such as databases, XML, web frameworks, and networking - some of which will be needed for your first Ruby application. Based on the bestselling first and second editions, Beginning Ruby 3, 4th
... Read more
Beginning Artificial Intelligence with the Raspberry Pi

by Donald J. Norris ...

Series series Professional and Applied Computing (R0)
Gain a gentle introduction to the world of Artificial Intelligence (AI) using the Raspberry Pi as the computing platform. Most of the major AI topics will be explored, including expert systems, machine learning both shallow and deep, fuzzy logic control, and more!AI in action will be demonstrated using the Python language on the Raspberry Pi. The Prolog language will also be introduced and used to ... Read more

$31.99 USD

Gain a gentle introduction to the world of Artificial Intelligence (AI) using the Raspberry Pi as the computing platform. Most of the major AI topics will be explored, including expert systems, machine learning both shallow and deep, fuzzy logic control, and more!AI in action will be demonstrated using the Python language on the Raspberry Pi. The Prolog language will also be introduced and used to
... Read more
C++ MCQ (Multiple Choice Questions)

Quiz Questions Chapter 1-19 & Practice Tests with Answers PDF | C++ Study Guide & Exam Prep MCQs

by Arshad Iqbal ...

Series series Programming MCQs Books PDF Download
The C++ Multiple Choice Questions (MCQ Quiz) with Answers PDF (C++ Programming MCQ PDF Download): Quiz Questions Chapter 1-19 & Practice Tests with Answers Key (C++ MCQs PDF: Textbook Notes & Question Bank) includes revision guide for problem solving with hundreds of solved MCQs. C++ MCQ with Answers PDF book covers basic concepts, analytical and practical assessment tests. "C++ MCQ" Book PDF ... Read more

$4.99 USD or Free with Kobo Plus

The C++ Multiple Choice Questions (MCQ Quiz) with Answers PDF (C++ Programming MCQ PDF Download): Quiz Questions Chapter 1-19 & Practice Tests with Answers Key (C++ MCQs PDF: Textbook Notes & Question Bank) includes revision guide for problem solving with hundreds of solved MCQs. C++ MCQ with Answers PDF book covers basic concepts, analytical and practical assessment tests. "C++ MCQ" Book PDF
... Read more
Svelte and Sapper in Action

by Mark Volkmann ...

Svelte and Sapper in Action teaches you to design and build fast, elegant web applications. You’ll start immediately by creating an engaging Travel Packing app as you learn to create Svelte components and develop great UX. You’ll master Svelte’s unique state management model, use Sapper for simplified page routing, and take on modern best practices like code splitting, offline support, and server ... Read more

$49.99 USD

Svelte and Sapper in Action teaches you to design and build fast, elegant web applications. You’ll start immediately by creating an engaging Travel Packing app as you learn to create Svelte components and develop great UX. You’ll master Svelte’s unique state management model, use Sapper for simplified page routing, and take on modern best practices like code splitting, offline support, and server
... Read more
Grokking Functional Programming

by Michal Plachta ...

There’s no need to fear going functional! This friendly, lively, and engaging guide is perfect for any perplexed programmer. It lays out the principles of functional programming in a simple and concise way that will help you grok what FP is really all about.In Grokking Functional Programming you will learn:Designing with functions and types instead of objectsProgramming with pure functions and ... Read more

$49.99 USD

There’s no need to fear going functional! This friendly, lively, and engaging guide is perfect for any perplexed programmer. It lays out the principles of functional programming in a simple and concise way that will help you grok what FP is really all about.In Grokking Functional Programming you will learn:Designing with functions and types instead of objectsProgramming with pure functions and
... Read more
Functional Programming in C++

by Ivan Cukic ...

SummaryFunctional Programming in C++ teaches developers the practical side of functional programming and the tools that C++ provides to develop software in the functional style. This in-depth guide is full of useful diagrams that help you understand FP concepts and begin to think functionally.About the TechnologyWell-written code is easier to test and reuse, simpler to parallelize, and less error ... Read more

$49.99 USD

SummaryFunctional Programming in C++ teaches developers the practical side of functional programming and the tools that C++ provides to develop software in the functional style. This in-depth guide is full of useful diagrams that help you understand FP concepts and begin to think functionally.About the TechnologyWell-written code is easier to test and reuse, simpler to parallelize, and less error
... Read more
Get Programming with Node.js

by Jonathan Wexler ...

SummaryGet Programming with Node.js teaches you to build web servers using JavaScript and Node. In this engaging tutorial, you'll work through eight complete projects, from writing the code for your first web server to adding live chat to a web app. Your hands will stay on the keyboard as you explore the most important aspects of the Node development process, including security, database ... Read more

$49.99 USD

SummaryGet Programming with Node.js teaches you to build web servers using JavaScript and Node. In this engaging tutorial, you'll work through eight complete projects, from writing the code for your first web server to adding live chat to a web app. Your hands will stay on the keyboard as you explore the most important aspects of the Node development process, including security, database
... Read more
Spring in Action, Sixth Edition

by Craig Walls ...

If you need to learn Spring, look no further than this widely beloved and comprehensive guide! Fully revised for Spring 5.3, and packed with interesting real-world examples to get your hands dirty with Spring.In Spring in Action, 6th Edition you will learn:Building reactive applicationsRelational and NoSQL databasesIntegrating via HTTP and REST-based services, and sand reactive RSocket ... Read more

$49.99 USD

If you need to learn Spring, look no further than this widely beloved and comprehensive guide! Fully revised for Spring 5.3, and packed with interesting real-world examples to get your hands dirty with Spring.In Spring in Action, 6th Edition you will learn:Building reactive applicationsRelational and NoSQL databasesIntegrating via HTTP and REST-based services, and sand reactive RSocket
... Read more
Distributed Services with Go

by Travis Jeffery ...

This is the book for Gophers who want to learn how to build distributed systems. You know the basics of Go and are eager to put your knowledge to work. Build distributed services that are highly available, resilient, and scalable. This book is just what you need to apply Go to real-world situations. Level up your engineering skills today.Take your Go skills to the next level by learning how to ... Read more

$28.99 USD

This is the book for Gophers who want to learn how to build distributed systems. You know the basics of Go and are eager to put your knowledge to work. Build distributed services that are highly available, resilient, and scalable. This book is just what you need to apply Go to real-world situations. Level up your engineering skills today.Take your Go skills to the next level by learning how to
... Read more
C#

A Comprehensive 3-in-1 Guide: From Beginner to Expert, Quickly Master C# Programming Without Prior Experience

by Chloe Annable ...

Series series Computer Programming
Do you want to learn C# Programming quickly and easily?Are you aspiring to build robust and durable applications, whether you're a beginner or a more experienced developer?Are you searching for a step-by-step guide that is not only practical but also easy to understand?If your answer is yes to any of these questions, then "C#: A Comprehensive 3-in-1 Guide: From Beginner to Expert" is the perfect ... Read more

$11.64 USD or Free with Kobo Plus

Do you want to learn C# Programming quickly and easily?Are you aspiring to build robust and durable applications, whether you're a beginner or a more experienced developer?Are you searching for a step-by-step guide that is not only practical but also easy to understand?If your answer is yes to any of these questions, then "C#: A Comprehensive 3-in-1 Guide: From Beginner to Expert" is the perfect
... 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 Languages eBooks

Show: