Rakuten Kobo

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

$60.12 NZD

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
Mastering UI/UX Design: Theoretical Foundations and Practical Applications

by Kameron Hussain, Frahaan Hussain ...

"Mastering UI/UX Design: Theoretical Foundations and Practical Applications" is a comprehensive guide for anyone looking to deepen their understanding of user interface (UI) and user experience (UX) design. This book delves into the core principles and theories that underpin effective UI/UX design, offering readers a solid foundation to build upon. It seamlessly bridges the gap between theory and ... Read more

$16.99 NZD or Free with Kobo Plus

"Mastering UI/UX Design: Theoretical Foundations and Practical Applications" is a comprehensive guide for anyone looking to deepen their understanding of user interface (UI) and user experience (UX) design. This book delves into the core principles and theories that underpin effective UI/UX design, offering readers a solid foundation to build upon. It seamlessly bridges the gap between theory and
... Read more
opCode

virtual machine examples

by Anthony Davis ...

In this book, we jump into a virtual machine, compiler and opcodes, without needing to read about parsing first. The language is already written, meaning you can dive into the source code of a working language right from the start (a programming language called langur, written in Go). Discover how to develop some very useful features, such as multi-variable assignment, decoupling assignment, ... Read more

$9.93 NZD

In this book, we jump into a virtual machine, compiler and opcodes, without needing to read about parsing first. The language is already written, meaning you can dive into the source code of a working language right from the start (a programming language called langur, written in Go). Discover how to develop some very useful features, such as multi-variable assignment, decoupling assignment,
... Read more
Compiler Design

by Knowledge Flow ...

Series Book 1 - Programming & Computer Science Series
Compiler Design book by Knowledge Flow is a comprehensive guide that covers the fundamental and advanced concepts of compiler construction. This book is ideal for students, software engineers, and computer science enthusiasts who want to understand lexical analysis, syntax analysis, semantic analysis, intermediate code generation, optimization, and code generation techniques. It provides a step-by ... Read more

$6.99 NZD or Free with Kobo Plus

Compiler Design book by Knowledge Flow is a comprehensive guide that covers the fundamental and advanced concepts of compiler construction. This book is ideal for students, software engineers, and computer science enthusiasts who want to understand lexical analysis, syntax analysis, semantic analysis, intermediate code generation, optimization, and code generation techniques. It provides a step-by
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

$91.90 NZD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Edited by Carlo A. Furia, Kirsten Winter ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Read more

$91.90 NZD

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and
... Read more
OpenGL to WebGL: Bridging the Graphics Divide

by Kameron Hussain, Frahaan Hussain ...

"OpenGL to WebGL: Bridging the Graphics Divide" is an authoritative guide for developers and programmers looking to transition from the traditional OpenGL framework to the web-based WebGL for graphics programming. This comprehensive book provides a deep dive into the intricacies of both OpenGL and WebGL, offering insights into their similarities and differences, and the unique opportunities each ... Read more

$16.99 NZD or Free with Kobo Plus

"OpenGL to WebGL: Bridging the Graphics Divide" is an authoritative guide for developers and programmers looking to transition from the traditional OpenGL framework to the web-based WebGL for graphics programming. This comprehensive book provides a deep dive into the intricacies of both OpenGL and WebGL, offering insights into their similarities and differences, and the unique opportunities each
... Read more
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Edited by Dimitar Kazakov, Can Erten ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... Read more

$91.90 NZD

This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
... Read more
Functional and Constraint Logic Programming

26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Edited by Josep Silva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers ... Read more

$91.90 NZD

This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018.From the 19 full papers submitted,12 were accepted for presentation at the workshop. During a second review after the workshop, 10 papers were accepted for inclusion in this volume. The papers
... Read more
High Performance Computing for Computational Science – VECPAR 2018

13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the ... Read more

$91.90 NZD

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the
... Read more
Central European Functional Programming School

6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Edited by Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth ...

Series series Computer Science (R0)
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. ... Read more

$119.43 NZD

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
... Read more
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edited by Jean-Marie Jacquet, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Read more

$91.90 NZD

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... Read more
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Edited by Steffen Herbold, Jens Grabowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Read more

$91.90 NZD

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... Read more
Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Edited by Bernd Fischer, Jaco Geldenhuys ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Read more

$91.90 NZD

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... Read more
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Read more

$91.90 NZD

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... Read more
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Edited by Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Read more

$91.90 NZD

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... Read more
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Edited by Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Read more

$91.90 NZD

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... Read more
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... Read more

$91.90 NZD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together
... Read more
Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Edited by Andreas Podelski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Read more

$91.90 NZD

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program
... Read more
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Edited by Falk Howar, Jiří Barnat ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Read more

$91.90 NZD

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... Read more
Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Edited by Eric Knauss, Michael Goedicke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Read more

$119.43 NZD

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... 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

$91.90 NZD

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
SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management

by Kameron Hussain, Frahaan Hussain ...

In today's fast-paced digital world, understanding how to efficiently store, manage, and retrieve data is crucial for businesses and developers alike. SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management offers a deep dive into the world of both relational and non-relational databases, providing readers with the tools they need to navigate the complexities of modern data ... Read more

$16.99 NZD or Free with Kobo Plus

In today's fast-paced digital world, understanding how to efficiently store, manage, and retrieve data is crucial for businesses and developers alike. SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management offers a deep dive into the world of both relational and non-relational databases, providing readers with the tools they need to navigate the complexities of modern data
... Read more
Mastering Python: A Comprehensive Crash Course for Beginners

by Kameron Hussain, Frahaan Hussain ...

Are you ready to embark on an exciting journey into the world of Python programming? Whether you're a complete beginner or someone with minimal experience, Mastering Python: A Comprehensive Crash Course for Beginners is designed to provide a clear, step-by-step introduction to one of the most popular programming languages today.This crash course is perfect for those eager to learn coding skills ... Read more

$16.99 NZD or Free with Kobo Plus

Are you ready to embark on an exciting journey into the world of Python programming? Whether you're a complete beginner or someone with minimal experience, Mastering Python: A Comprehensive Crash Course for Beginners is designed to provide a clear, step-by-step introduction to one of the most popular programming languages today.This crash course is perfect for those eager to learn coding skills
... 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: