Rakuten Kobo

Exploring C++ 11

by Ray Lischner ...

Series series Professional and Applied Computing (R0)
Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of ... Read more

$80.99 AUD

Exploring C++ divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Assuming no familiarity with C++, or any other C-based language, you’ll be taught everything you need to know in a logical progression of small lessons that you can work through as quickly or as slowly as you need.C++ can be a complicated language. Writing even the most straight-forward of
... Read more
Crafting Interpreters

by Robert Nystrom ...

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... Read more

$60.99 AUD or Free with Kobo Plus

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That
... Read more
Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Edited by Alessandra Russo, Andy Schürr ...

Series series Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and ... Read more

Free

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and
... Read more
Practical TLA+

Planning Driven Development

by Hillel Wayne ...

Series series Professional and Applied Computing (R0)
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet ... Read more

$67.53 AUD

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet
... Read more
How to Speak Tech

The Non-Techie’s Guide to Key Technology Concepts

by Vinay Trivedi ...

Series series Professional and Applied Computing (R0)
Things you’ve done online: ordered a pizza, checked the weather, booked a hotel, and reconnected with long-lost friends. Now it’s time to find out how these things work. Vinay Trivedi peels back the mystery of the Internet, explains it all in the simplest terms, and gives you the knowledge you need to speak confidently when the subject turns to technology.This revised second edition of How to ... Read more

$49.99 AUD

Things you’ve done online: ordered a pizza, checked the weather, booked a hotel, and reconnected with long-lost friends. Now it’s time to find out how these things work. Vinay Trivedi peels back the mystery of the Internet, explains it all in the simplest terms, and gives you the knowledge you need to speak confidently when the subject turns to technology.This revised second edition of How to
... Read more
An Introduction to Python and Computer Programming

by Yue Zhang ...

Series series Engineering (R0)
This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all ... Read more

$161.99 AUD

This book introduces Python programming language and fundamental concepts in algorithms and computing. Its target audience includes students and engineers with little or no background in programming, who need to master a practical programming language and learn the basic thinking in computer science/programming. The main contents come from lecture notes for engineering students from all
... Read more
Program Proofs

by K. Rustan M. Leino ...

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs. ... Read more

$86.45 AUD

This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware programming language Dafny.Program Proofs shows students what it means to write specifications for programs, what it means for programs to satisfy those specifications, and how to write proofs that connect specifications and programs.
... Read more
Using Microsoft Dynamics AX 2012

Updated for Version R2

by Andreas Luszczak ...

Series series Computer Science (R0)
Precise descriptions and instructions enable users, students and consultants to easily understand Microsoft Dynamics AX 2012. Microsoft offers Dynamics AX as its premium ERP solution to support large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ – this ... Read more

$58.51 AUD

Precise descriptions and instructions enable users, students and consultants to easily understand Microsoft Dynamics AX 2012. Microsoft offers Dynamics AX as its premium ERP solution to support large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ – this
... Read more
Scala: From a Functional Programming Perspective

An Introduction to the Programming Language

by Vicenç Torra ...

Series series Computer Science (R0)
This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented ... Read more

$76.99 AUD

This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, streams, higher-order functions (including map, fold, reduce, and aggregate), and algebraic data types. The book also describes the object-oriented
... Read more
The Definitive Guide to Modern Java Clients with JavaFX 17

Cross-Platform Mobile and Cloud Development

by Stephen Chin, Johan Vos, James Weaver, Gail Anderson, Paul Anderson, Bruno Borges, Anton Epple, Weiqi Gao, Jonathan Giles, José Pereda, Sven Reimers, Eugene Ryzhikov, William Antônio Siqueira ...

Series series Professional and Applied Computing (R0)
Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. The Definitive Guide to Modern Java Clients ... Read more

$98.11 AUD

Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. The Definitive Guide to Modern Java Clients
... Read more
SQL Server T-SQL Recipes

by David Dye, Jason Brimhall, Timothy Roberts, Wayne Sheffield, Joseph Sack, Jonathan Gennick ...

Series series Professional and Applied Computing (R0)
SQL Server T-SQL Recipes is an example-based guide to the Transact-SQL language that is at the core of SQL Server. This edition has been lightly updated for SQL Server 2014 and provides ready-to-implement solutions to common programming and database administration tasks. Learn to create databases, create in-memory tables and stored procedures, insert and update data, generate reports, secure your ... Read more

$143.10 AUD

SQL Server T-SQL Recipes is an example-based guide to the Transact-SQL language that is at the core of SQL Server. This edition has been lightly updated for SQL Server 2014 and provides ready-to-implement solutions to common programming and database administration tasks. Learn to create databases, create in-memory tables and stored procedures, insert and update data, generate reports, secure your
... Read more
The R Software

Fundamentals of Programming and Statistical Analysis

by Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet ...

Series series Mathematics and Statistics (R0)
The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the ... Read more

$269.16 AUD

The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the
... Read more
LLVM Cookbook

Over 80 engaging recipes that will help you build a compiler frontend, optimizer, and code generator using LLVM

by Mayur Pandey, Suyog Sarda ...

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code. ... Read more

$56.42 AUD or Free with Kobo Plus

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code.
... Read more
Advanced Python Development

Using Powerful Language Features in Real-World Applications

by Matthew Wilkes ...

Series series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... Read more

$81.06 AUD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Read more
Pro React

by Cassio de Sousa Antonio ...

Series series Professional and Applied Computing (R0)
Pro React teaches you how to successfully structure increasingly complex front-end applications and interfaces. This book explores the React library in depth, as well as detailing additional tools and libraries in the React ecosystem, enabling you to create complete, complex applications.You will learn how to use React completely, and learn best practices for creating interfaces in a composable ... Read more

$58.51 AUD

Pro React teaches you how to successfully structure increasingly complex front-end applications and interfaces. This book explores the React library in depth, as well as detailing additional tools and libraries in the React ecosystem, enabling you to create complete, complex applications.You will learn how to use React completely, and learn best practices for creating interfaces in a composable
... Read more
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Edited by Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

$76.99 AUD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Read more
Practical Quantum Computing for Developers

Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience

by Vladimir Silva ...

Series series Professional and Applied Computing (R0)
Write algorithms and program in the new field of quantum computing. This book covers major topics such as the physical components of a quantum computer: qubits, entanglement, logic gates, circuits, and how they differ from a traditional computer. Also, Practical Quantum Computing for Developers discusses quantum computing in the cloud using IBM Q Experience including: the composer, quantum scores, ... Read more

$80.18 AUD

Write algorithms and program in the new field of quantum computing. This book covers major topics such as the physical components of a quantum computer: qubits, entanglement, logic gates, circuits, and how they differ from a traditional computer. Also, Practical Quantum Computing for Developers discusses quantum computing in the cloud using IBM Q Experience including: the composer, quantum scores,
... Read more
Python Data Analytics

Data Analysis and Science using pandas, matplotlib and the Python Programming Language

by Fabio Nelli ...

Series series Professional and Applied Computing (R0)
Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy-to-use data structures and data analysis tools for the Python programming language.Author Fabio Nelli expertly shows the strength of the Python ... Read more

$76.99 AUD

Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy-to-use data structures and data analysis tools for the Python programming language.Author Fabio Nelli expertly shows the strength of the Python
... Read more
Beginning Haskell

A Project-Based Approach

by Alejandro Serrano Mena ...

Series series Professional and Applied Computing (R0)
Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... Read more

$76.55 AUD

Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and
... Read more
Modern C

by Jens Gustedt ...

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the ... Read more

$62.99 AUD

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the
... Read more
C# Programming for Absolute Beginners

by Radek Vystavěl ...

Series series Professional and Applied Computing (R0)
Get started using the C# programming language. Based on the author’s 15 years of experience teaching beginners, the book provides you with a step-by-step introduction to the principles of programming, or rather, how to think like a programmer. The task-solution approach will get you immersed, with minimum theory and maximum action.What You Will LearnUnderstand what programming is all aboutWrite ... Read more

$58.51 AUD

Get started using the C# programming language. Based on the author’s 15 years of experience teaching beginners, the book provides you with a step-by-step introduction to the principles of programming, or rather, how to think like a programmer. The task-solution approach will get you immersed, with minimum theory and maximum action.What You Will LearnUnderstand what programming is all aboutWrite
... Read more
Beginning Java 8 Games Development

by Wallace Jackson ...

Series series Professional and Applied Computing (R0)
Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and ... Read more

$76.55 AUD

Beginning Java 8 Games Development, written by Java expert and author Wallace Jackson, teaches you the fundamentals of building a highly illustrative game using the Java 8 programming language. In this book, you'll employ open source software as tools to help you quickly and efficiently build your Java game applications. You'll learn how to utilize vector and bit-wise graphics; create sprites and
... Read more
Blender Unleashed: Mastering the Art of 3D Creation

by Kameron Hussain, Frahaan Hussain ...

"Blender Unleashed: Mastering the Art of 3D Creation" is an essential guide for aspiring and professional digital artists seeking to elevate their skills in 3D modeling and animation. This comprehensive resource unlocks the full potential of Blender, the renowned open-source 3D software, guiding readers through its rich features and capabilities.From the basics of navigating Blender's user ... Read more

$15.99 AUD or Free with Kobo Plus

"Blender Unleashed: Mastering the Art of 3D Creation" is an essential guide for aspiring and professional digital artists seeking to elevate their skills in 3D modeling and animation. This comprehensive resource unlocks the full potential of Blender, the renowned open-source 3D software, guiding readers through its rich features and capabilities.From the basics of navigating Blender's user
... Read more
Rethinking Productivity in Software Engineering

Edited by Caitlin Sadowski, Thomas Zimmermann ...

Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity.The results of their work, Rethinking Productivity in ... Read more

Free

Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity.The results of their work, Rethinking Productivity in
... 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

Compilers eBooks

Show: