Rakuten Kobo

Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Edited by Pedro Ribeiro, Augusto Sampaio ...

Series series Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Read more

$64.09 CAD

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... Read more
Exploring C++20

The Programmer's Introduction to C++

by Ray Lischner ...

Series series Professional and Applied Computing (R0)
Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to include C++20, it assumes no familiarity with C++ or any other C-based language.Exploring C++20acknowledges that C++ can be a ... Read more

$101.79 CAD

Discover everything you need to know about C++ in a logical progression of small lessons that you can work through as quickly or as slowly as you need. This book divides C++ up into bite-sized chunks that will help you learn the language one step at a time. Fully updated to include C++20, it assumes no familiarity with C++ or any other C-based language.Exploring C++20acknowledges that C++ can be a
... Read more
More Math Into LaTeX

by George Grätzer ...

Series series Computer Science (R0)
For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a streamlined approach to learning LaTeX for composing everyday documents, Grätzer’s © 2014 Practical LaTeX may also be a good choice.In this carefully revised fifth edition, the Short Course has been ... Read more

$108.89 CAD

For over two decades, this comprehensive manual has been the standard introduction and complete reference for writing articles and books containing mathematical formulas. If the reader requires a streamlined approach to learning LaTeX for composing everyday documents, Grätzer’s © 2014 Practical LaTeX may also be a good choice.In this carefully revised fifth edition, the Short Course has been
... Read more
Aprende programación de computadoras

by Miguel Ángel Aquino Martínez, Fernando Aquino Medina ...

El libro está dirigido a profesionales como abogados, contadores, administradores, estudiantes de nivel básico hasta superior, profesores y en general a cualquier persona que tenga interés por la programación de computadoras. La secuencia de los temas está diseñado para que cualquiera pueda aprender paso a paso los alcances y las limitaciones de cada uno de los componentes de los lenguajes de ... Read more

$13.99 CAD or Free with Kobo Plus

El libro está dirigido a profesionales como abogados, contadores, administradores, estudiantes de nivel básico hasta superior, profesores y en general a cualquier persona que tenga interés por la programación de computadoras. La secuencia de los temas está diseñado para que cualquiera pueda aprender paso a paso los alcances y las limitaciones de cada uno de los componentes de los lenguajes de
... Read more
Graph Transformation

10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

Edited by Juan de Lara, Detlef Plump ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven
... Read more
CODING INTERVIEWS G U I D E

Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

by Olivia Miller ...

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Read more

$6.29 CAD

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.
... Read more
Pointers in C

A Hands on Approach

by Hrishikesh Dewan, Naveen Toppo ...

Series series Professional and Applied Computing (R0)
Pointers in C provides a resource for professionals and advanced students needing in-depth but hands-on coverage of pointer basics and advanced features. The goal is to help programmers in wielding the full potential of pointers.In spite of its vast usage, understanding and proper usage of pointers remains a significant problem. This book’s aim is to first introduce the basic building blocks such ... Read more

$75.49 CAD

Pointers in C provides a resource for professionals and advanced students needing in-depth but hands-on coverage of pointer basics and advanced features. The goal is to help programmers in wielding the full potential of pointers.In spite of its vast usage, understanding and proper usage of pointers remains a significant problem. This book’s aim is to first introduce the basic building blocks such
... Read more
Multi-Paradigm Programming using C++

by Dirk Vermeir ...

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such ... Read more

$115.29 CAD

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such
... Read more
Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... Read more

$64.09 CAD

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from
... Read more
Coordination Models and Languages

18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Edited by Alberto Lluch Lafuente, José Proença ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover ... Read more

$64.09 CAD

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover
... Read more
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems

22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings

Edited by Sara Royuela, Bronis R. de Supinski, Swaroop Pophale, Michael Klemm ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking; ... Read more

$72.99 CAD

This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking;
... Read more
The Definitive ANTLR 4 Reference

by Terence Parr ...

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... Read more

$34.39 CAD

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on
... Read more
C# and XML Primer

by Jonathan Hartwell ...

Series series Professional and Applied Computing (R0)
Learn XML and how to use and integrate it into your C# applications using this compact book. This guide helps you avoid the pitfalls of dealing with XML and C# since handling XML with C# and the .NET Platform can present its own set of challenges. XML is far from a dead technology, so it is important to learn how best to use it in your applications when the need arises.What You Will LearnGain the ... Read more

$41.89 CAD

Learn XML and how to use and integrate it into your C# applications using this compact book. This guide helps you avoid the pitfalls of dealing with XML and C# since handling XML with C# and the .NET Platform can present its own set of challenges. XML is far from a dead technology, so it is important to learn how best to use it in your applications when the need arises.What You Will LearnGain the
... Read more
Silicon Dreams

Inside the Mind of Machine Intelligence

by Usama Bajwa, Danish Ali Bajwa ...

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers ... Read more

$8.69 CAD

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers
... Read more
Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Edited by Ekaterina Komendantskaya, Yanhong Annie Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Read more
Software Verification

13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... Read more

$70.49 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions
... Read more
Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings

Edited by Sihem Ben Sassi, Stéphane Ducasse, Hafedh Mili ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling ... Read more

$64.09 CAD

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually.The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling
... Read more
Speech and Language Processing for Human-Machine Communications

Proceedings of CSI 2015

Edited by S. S. Agrawal, Poonam Bansal, Ritika Wason, Amita Devi ...

Series series Springer Nature Proceedings excluding Computer Science
This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech ... Read more

$115.29 CAD

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech
... Read more
Einführung in UML

Analyse und Entwurf von Software

by Hendrik Jan van Randen, Christian Bercker, Julian Fieml ...

Series series Computer Science and Engineering (German Language)
Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und ... Read more

$41.89 CAD

Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und
... Read more
MATLAB Matrix Algebra

by Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Read more

$63.49 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Read more
Einführung in JavaFX

Moderne GUIs für RIAs und Java-Applikationen

by Ralph Steyer ...

Series series Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an ... Read more

$21.59 CAD

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Mit der Version 2 hat JavaFX einen festen und ausgereiften Stand erreicht und wird als die kommende Technologie im Java-Umfeld angesehen, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl an
... Read more
Software Technologies

11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Edited by Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions.The papers selected to be included in this book contribute to the understanding of relevant trends
... Read more
Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Edited by Shuvendu Lahiri, Giles Reger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions.The RV conference is concerned with all aspects of ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions.The RV conference is concerned with all aspects of
... Read more
Pro Hadoop Data Analytics

Designing and Building Big Data Systems using the Hadoop Ecosystem

by Kerry Koitzsch ...

Series series Professional and Applied Computing (R0)
Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This book provides the right combination of architecture, design, and implementation information to create analytical systems that go beyond the basics of classification, clustering, and recommendation.Pro Hadoop Data Analytics emphasizes best practices to ... Read more

$51.29 CAD

Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This book provides the right combination of architecture, design, and implementation information to create analytical systems that go beyond the basics of classification, clustering, and recommendation.Pro Hadoop Data Analytics emphasizes best practices to
... 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: