Rakuten Kobo

Showing 649 - 672 of 1197 Results

Pro Functional PHP Programming

Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity

by Rob Aley ...

Series series Professional and Applied Computing (R0)
Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate ... Read more

$56.99 CAD

Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate
... Read more
Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Edited by Cláudia Nalon, Renate A. Schmidt ...

Series series Springer Nature Proceedings Computer Science
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure ... Read more

$83.99 CAD

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure
... 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

$64.99 CAD

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
Java for Absolute Beginners

Learn to Program the Fundamentals the Java 9+ Way

by Iuliana Cosmina ...

Series series Professional and Applied Computing (R0)
Write your first code in Java using simple, step-by-step examples that model real-word objects and events, making learning easy. With this book you’ll be able to pick up the concepts without fuss. Java for Absolute Beginners teaches Java development in language anyone can understand, giving you the best possible start. You’ll see clear code descriptions and layout so that you can get your code ... Read more

$48.99 CAD

Write your first code in Java using simple, step-by-step examples that model real-word objects and events, making learning easy. With this book you’ll be able to pick up the concepts without fuss. Java for Absolute Beginners teaches Java development in language anyone can understand, giving you the best possible start. You’ll see clear code descriptions and layout so that you can get your code
... Read more
C++ for Lazy Programmers

Quick, Easy, and Fun C++ for Beginners

by Will Briggs ...

Series series Professional and Applied Computing (R0)
Learn C++ the quick, easy, and “lazy” way. This book is an introductory programming text that uses humor and fun to make you actually willing to read, and eager to do the projects -- with the popular C++ language.C++ for Lazy Programmers is a genuinely fun learning experience that will show you how to create programs in the C++ language. This book helps you learn the C++ language with a unique ... Read more

$56.99 CAD

Learn C++ the quick, easy, and “lazy” way. This book is an introductory programming text that uses humor and fun to make you actually willing to read, and eager to do the projects -- with the popular C++ language.C++ for Lazy Programmers is a genuinely fun learning experience that will show you how to create programs in the C++ language. This book helps you learn the C++ language with a unique
... Read more
Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Edited by Erika Ábrahám, Houssam Abbas ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; ... Read more

$70.99 CAD

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems;
... Read more
Static Analysis

32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings

Edited by Hakjoo Oh, Yulei Sui ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging ... Read more

$93.99 CAD

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully reviewed and selected from 32 submissions.The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging
... Read more
Creating Business Applications with Microsoft 365

Techniques in Power Apps, Power BI, SharePoint, and Power Automate

by Jeffrey M. Rhodes ...

Series series Professional and Applied Computing (R0)
Learn how to automate processes, visualize your data, and improve productivity using Power Apps, Power Automate, Power BI, SharePoint, Forms, Teams, and more. This book will help you build complete solutions that often involve storing data in SharePoint, creating a front-end application in Power Apps or Forms, adding additional functionality with Power Automate, and effective reports and ... Read more

$68.99 CAD

Learn how to automate processes, visualize your data, and improve productivity using Power Apps, Power Automate, Power BI, SharePoint, Forms, Teams, and more. This book will help you build complete solutions that often involve storing data in SharePoint, creating a front-end application in Power Apps or Forms, adding additional functionality with Power Automate, and effective reports and
... Read more
Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Edited by Axel Legay, Tiziana Margaria ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... Read more

$64.29 CAD

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software
... Read more
Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Edited by Javier Esparza, Andrzej S. Murawski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They ... Read more

$64.29 CAD

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They
... 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

$38.99 CAD

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
Lean Python

Learn Just Enough Python to Build Useful Tools

by Paul Gerrard ...

Series series Professional and Applied Computing (R0)
Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says ... Read more

$42.99 CAD

Learn only the essential aspects of Python without cluttering up your mind with features you may never use. This compact book is not a "best way to write code" type of book; rather, the author goes over his most-used functions, which are all you need to know as a beginner and some way beyond.Lean Python takes 58 Python methods and functions and whittles them down to 15: as author Paul Gerrard says
... Read more
SDL 2015: Model-Driven Engineering for Smart Cities

17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

Edited by Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain ... Read more

$60.99 CAD

This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain
... Read more
GROKKING ALGORITHM BLUEPRINT

A Comprehensive Beginner's Guide to Learn the Realms of Grokking Algorithms from A-Z and Become Efficient Programmers

by William Turner ...

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do. ... Read more

$6.99 CAD

What is grokking algorithms? A new kind of algorithm? A new way of doing data science? No. The official definition of grokking is "To understand profoundly through intuition or empathy." It also means "to empathize or communicate sympathetically (with); also, to experience enjoyment." In short, it's all about learning algorithms in a way that they are part of you, not just memorizing what to do.
... Read more
Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

Series series Computer Science (R0)
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Read more

$64.99 CAD

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems,
... Read more
Creating Business Applications with Office 365

Techniques in SharePoint, PowerApps, Power BI, and More

by Jeffrey M. Rhodes ...

Series series Professional and Applied Computing (R0)
Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and ... Read more

$44.99 CAD

Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help you create easier solutions to client-side problems and applications. Additionally, you will be able to effectively visualize your data with Power BI.This book starts with configuration of SharePoint and
... Read more
End-User Development

7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Edited by Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent ... Read more

$73.99 CAD

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent
... Read more
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Edited by Marin Lujak ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next ... Read more

$64.99 CAD

This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next
... Read more
Build Mobile Apps with Ionic 2 and Firebase

Hybrid Mobile App Development

by Fu Cheng ...

Series series Professional and Applied Computing (R0)
Learn to build hybrid mobile apps using Ionic and Firebase. You'll build a Hacker News client app, which can view top stories in Hacker News, view comments of a story, add stories to favorites, etc.This introductory guide covers the whole cycle of hybrid mobile apps development. It's organized around implementing different user stories. For each story, this book not only talks about how to ... Read more

$44.99 CAD

Learn to build hybrid mobile apps using Ionic and Firebase. You'll build a Hacker News client app, which can view top stories in Hacker News, view comments of a story, add stories to favorites, etc.This introductory guide covers the whole cycle of hybrid mobile apps development. It's organized around implementing different user stories. For each story, this book not only talks about how to
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 3 - 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

$64.99 CAD

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
Programming Languages and Operational Semantics

A Concise Overview

by Maribel Fernández ...

Series series Computer Science (R0)
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... Read more

$51.99 CAD

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for
... Read more
Swift for Absolute Beginners

by Gary Bennett, Brad Lees ...

Series series Professional and Applied Computing (R0)
The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some ... Read more

$47.99 CAD

The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some
... Read more
Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Edited by Emilio Tuosto, Hanne Riis Nielson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are ... Read more

$64.99 CAD

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are
... 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.99 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

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

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

Pro Functional PHP Programming

Automated Reasoning with Analytic Tableaux and Related Methods

High Performance Computing for Computational Science – VECPAR 2018

Java for Absolute Beginners

C++ for Lazy Programmers

Runtime Verification

Static Analysis

Creating Business Applications with Microsoft 365

Tools and Algorithms for the Construction and Analysis of Systems

Foundations of Software Science and Computation Structures

Modern C

Lean Python

SDL 2015: Model-Driven Engineering for Smart Cities

GROKKING ALGORITHM BLUEPRINT

Theory and Practice of Formal Methods

Creating Business Applications with Office 365

End-User Development

Agreement Technologies

Build Mobile Apps with Ionic 2 and Firebase

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Programming Languages and Operational Semantics

Swift for Absolute Beginners

Coordination Models and Languages

Einführung in JavaFX

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: