Rakuten Kobo

Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation,
... Read more
ASP.NET Core 2 High Performance

Learn the secrets of developing high performance web applications using C# and ASP.NET Core 2 on Windows, Mac, and Linux

by James Singleton ...

Learn how to develop web applications that deploy cross-platform and are optimized for high performance using ASP.NET Core 2Key Features\[\*\]Master high-level web app performance improvement techniques using ASP.NET Core 2.0\[\*\]Find the right balance between premature optimization and inefficient code\[\*\]Design workflows that run asynchronously and are resilient to transient performance ... Read more

$47.19 CAD or Free with Kobo Plus

Learn how to develop web applications that deploy cross-platform and are optimized for high performance using ASP.NET Core 2Key Features\[\*\]Master high-level web app performance improvement techniques using ASP.NET Core 2.0\[\*\]Find the right balance between premature optimization and inefficient code\[\*\]Design workflows that run asynchronously and are resilient to transient performance
... Read more
Theory and Applications of Satisfiability Testing – SAT 2017

20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Edited by Serge Gaspers, Toby Walsh ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms,
... Read more
Mastering Entity Framework Core 2.0

Dive into entities, relationships, querying, performance optimization, and more, to learn efficient data-driven development

by Prabhakaran Anbazhagan ...

Learn how to leverage the features of the new Entity Framework Core APIs and use them to build pure .NET Core applications.Key FeaturesLearn how to effectively manage your database to make it more productive and maintainable.Write simplified queries using LINQ to acquire the desired data easilyRaise the abstraction level from data to objects so teams can function independently, resulting in easily ... Read more

$47.19 CAD or Free with Kobo Plus

Learn how to leverage the features of the new Entity Framework Core APIs and use them to build pure .NET Core applications.Key FeaturesLearn how to effectively manage your database to make it more productive and maintainable.Write simplified queries using LINQ to acquire the desired data easilyRaise the abstraction level from data to objects so teams can function independently, resulting in easily
... Read more
Programmierung in Python

Ein kompakter Einstieg für die Praxis

by Ralph Steyer ...

Series series Computer Science and Engineering (German Language)
Wer heute das Programmieren lernen möchte, kommt nicht daran vorbei, sich mit einer der beliebtesten Programmiersprachen für Einsteiger und Profis zu befassen: Python. Mit Python hat ihr Erfinder, Guido van Rossum, einen Nerv der Zeit getroffen, denn das Konzept dahinter bietet viele Ansätze, Lösungen und Vorgehensweise für Probleme, die andere Sprachen so nicht integrieren.Das Potential dieser ... Read more

$51.49 CAD

Wer heute das Programmieren lernen möchte, kommt nicht daran vorbei, sich mit einer der beliebtesten Programmiersprachen für Einsteiger und Profis zu befassen: Python. Mit Python hat ihr Erfinder, Guido van Rossum, einen Nerv der Zeit getroffen, denn das Konzept dahinter bietet viele Ansätze, Lösungen und Vorgehensweise für Probleme, die andere Sprachen so nicht integrieren.Das Potential dieser
... Read more
.NET 10 非同期・並行プログラミング

Async/Await、マルチスレッド、並列処理

by Michael Tsai ...

.NET アプリケーションを作っていて、UI が固まる、Web サイトの反応が遅い、バックグラウンドジョブのスループットが伸びない、といった問題に悩んだことはないでしょうか。あるいは、async/await、Task.Run、ConfigureAwait(false)、キャンセル、例外処理の扱いで迷ったことはないでしょうか。本書は、まさにそうした問題に向き合うために書かれました。本書は、基礎概念から実際のアプリケーションまでを扱いながら、.NET 10 の非同期プログラミングを体系的に学ぶための実践的な技術書です。スレッド、Task、async/await、キャンセルとタイムアウト、同期プリミティブ、並列処理、非同期データストリーム、非同期リソース管理を順に取り上げます。さらに、TaskCompletionSource、ValueTask、ExecutionContext ... Read more

$15.10 CAD or Free with Kobo Plus

.NET アプリケーションを作っていて、UI が固まる、Web サイトの反応が遅い、バックグラウンドジョブのスループットが伸びない、といった問題に悩んだことはないでしょうか。あるいは、async/await、Task.Run、ConfigureAwait(false)、キャンセル、例外処理の扱いで迷ったことはないでしょうか。本書は、まさにそうした問題に向き合うために書かれました。本書は、基礎概念から実際のアプリケーションまでを扱いながら、.NET 10 の非同期プログラミングを体系的に学ぶための実践的な技術書です。スレッド、Task、async/await、キャンセルとタイムアウト、同期プリミティブ、並列処理、非同期データストリーム、非同期リソース管理を順に取り上げます。さらに、TaskCompletionSource、ValueTask、ExecutionContext
... Read more
Microcontroller System Design Using PIC18F Processors

by Nicolas K. Haddad ...

Recent advancements in technology have led to significant improvements in designing various electronic systems. This provides a wide range of different components that can be utilized across numerous applications. Microcontroller System Design Using PIC18F Processors provides comprehensive discussions on strategies and techniques for optimizing microprocessor-based electronic system development ... Read more

$206.39 CAD

Recent advancements in technology have led to significant improvements in designing various electronic systems. This provides a wide range of different components that can be utilized across numerous applications. Microcontroller System Design Using PIC18F Processors provides comprehensive discussions on strategies and techniques for optimizing microprocessor-based electronic system development
... Read more
Basics Python Skills

Concepts, Techniques and models

by Eleanor Volcano ...

Python is a widely used high-level, general-purpose, interpreted, dynamic programming language Its design philosophy emphasizes code readability, and its syntax allows programmers to express concepts in fewer lines of code than would be possible in languages such as C++ or Java. The language provides constructs intended to enable clear programs on both a small and large scale Python supports ... Read more

$88.06 CAD

Python is a widely used high-level, general-purpose, interpreted, dynamic programming language Its design philosophy emphasizes code readability, and its syntax allows programmers to express concepts in fewer lines of code than would be possible in languages such as C++ or Java. The language provides constructs intended to enable clear programs on both a small and large scale Python supports
... Read more
Transactions on Computational Science XXVII

Edited by Marina L. Gavrilova, C.J. Kenneth Tan ...

Series series Computer Science (R0)
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, ... Read more

$64.09 CAD

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments,
... Read more
Crisis Management for Software Development and Knowledge Transfer

by Sergey V. Zykov ...

Series series Engineering (R0)
This well structured book discusses lifecycle optimization of software projects for crisis management by means of software engineering methods and tools. Its outcomes are based on lessons learned from the software engineering crisis which started in the 1960s. The book presents a systematic approach to overcome the crisis in software engineering depends which not only depends on technology-related ... Read more

$115.29 CAD

This well structured book discusses lifecycle optimization of software projects for crisis management by means of software engineering methods and tools. Its outcomes are based on lessons learned from the software engineering crisis which started in the 1960s. The book presents a systematic approach to overcome the crisis in software engineering depends which not only depends on technology-related
... Read more
Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Edited by Carlos Canal, Akram Idani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability ... Read more

$64.09 CAD

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability
... Read more
Sustainable Web Ecosystem Design

by Greg O'Toole ...

Series series Computer Science (R0)
This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms – binary or otherwise – that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of relative html documents of text and images on a static desktop computer monitor. There is now ... Read more

$51.29 CAD

This book is about the process of creating web-based systems (i.e., websites, content, etc.) that consider each of the parts, the modules, the organisms – binary or otherwise – that make up a balanced, sustainable web ecosystem. In the current media-rich environment, a website is more than a collection of relative html documents of text and images on a static desktop computer monitor. There is now
... Read more
Instant Node Package Manager

Create your own node modules and publish them on npm registry, automating repetitive tasks in between

by Juzer Ali ...

Create your own node modules and publish them on npm registry, automating repetitive tasks in betweenKey FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate resultsCreate and distribute node modulesLearn how to publish executablesAutomate the installation of dependenciesBook DescriptionNode.js is the new buzz in town and has a vibrant community.It ships ... Read more

$23.19 CAD or Free with Kobo Plus

Create your own node modules and publish them on npm registry, automating repetitive tasks in betweenKey FeaturesLearn something new in an Instant! A short, fast, focused guide delivering immediate resultsCreate and distribute node modulesLearn how to publish executablesAutomate the installation of dependenciesBook DescriptionNode.js is the new buzz in town and has a vibrant community.It ships
... Read more
Database Modeling Step by Step

by Gavin Powell ...

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simplistic, intuitive way to building relational database models. Going from basics to contemporary topics, the book opens with relational data modeling and ends with BigData database modeling following a ... Read more

$116.79 CAD

With the aim of simplifying relational database modeling, Database Modeling Step-by-Step presents the standard approach to database normalization and then adds its own approach, which is a more simplistic, intuitive way to building relational database models. Going from basics to contemporary topics, the book opens with relational data modeling and ends with BigData database modeling following a
... Read more
Apple Watch Series 5

The Ultimate Guide to Revolutionizing Your Apple Watch 5

by Tracey W. Lay ...

Do you own an Apple Watch and want to learn and master the latest tips and tricks, new innovations to boost efficiency, proficiency, and productivity?Apple Watch encompasses a surprising number of tools into a tiny package. From messaging to productivity to advanced fitness tracking, the Apple Watch has something magnificent for all its users.Apple Watch Series 5 is the latest Smartwatch in the ... Read more

$7.63 CAD or Free with Kobo Plus

Do you own an Apple Watch and want to learn and master the latest tips and tricks, new innovations to boost efficiency, proficiency, and productivity?Apple Watch encompasses a surprising number of tools into a tiny package. From messaging to productivity to advanced fitness tracking, the Apple Watch has something magnificent for all its users.Apple Watch Series 5 is the latest Smartwatch in the
... Read more
Distributed Computing and Internet Technology

17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings

Edited by Diganta Goswami, Truong Anh Hoang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021.The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks, ... Read more

$64.09 CAD

This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021.The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions. The papers were organized in topical sections named: invited talks, cloud computing and networks,
... Read more
Practical Ruby 3 Programming

by Zorin Fylix ...

This book gives Ruby fans the skills they need to become well-versed in Ruby and build solid applications. It starts with the basics and moves on to exploring the power of blocks, procs, and lambdas. You'll learn how these constructs make your code more flexible and reusable. As you go through it, you'll learn about enumerators, which help you streamline iteration and handle complex data ... Read more

$42.99 CAD or Free with Kobo Plus

This book gives Ruby fans the skills they need to become well-versed in Ruby and build solid applications. It starts with the basics and moves on to exploring the power of blocks, procs, and lambdas. You'll learn how these constructs make your code more flexible and reusable. As you go through it, you'll learn about enumerators, which help you streamline iteration and handle complex data
... Read more
The Art of Decoding Microservices

An In-Depth Exploration of Modern Software Architecture

by Sumit Bhatnagar, Roshan Mahant ...

Series series Professional and Applied Computing (R0)
Stay competitive in today’s software industry by mastering microservices. As microservices architecture becomes the modern standard, this book demystifies the transition from monoliths to microservices with clear guidance and practical examples for easier adoption and implementation.The book starts with the basics, explaining what microservices are, their benefits, and how they compare to ... Read more

$75.49 CAD

Stay competitive in today’s software industry by mastering microservices. As microservices architecture becomes the modern standard, this book demystifies the transition from monoliths to microservices with clear guidance and practical examples for easier adoption and implementation.The book starts with the basics, explaining what microservices are, their benefits, and how they compare to
... Read more
Golang for Jobseekers

Unleash the power of Go programming for career advancement (English Edition)

by Hairizuan Bin Noorazman ...

Golang holds significance because of its emphasis on simplicity, readability, impressive performance, and built-in support for concurrency. If you want to elevate your Golang programming skills and become a more proficient developer, then this book is for you. “Golang for Jobseekers” starts by providing a comprehensive introduction to Go, covering its syntax, fundamental concepts, and unique ... Read more

$21.99 CAD or Free with Kobo Plus

Golang holds significance because of its emphasis on simplicity, readability, impressive performance, and built-in support for concurrency. If you want to elevate your Golang programming skills and become a more proficient developer, then this book is for you. “Golang for Jobseekers” starts by providing a comprehensive introduction to Go, covering its syntax, fundamental concepts, and unique
... Read more
Building Programming Language Interpreters

A bottom-up approach to runtimes, execution, and implementation in C++

by Daniel Ruoso ...

Explore why you might build a new programming language, which aspects influence runtime and language design choices, and how to implement a working first-version interpreter for that language in C++. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesDesign a domain-specific language to solve focused problems and reduce complexity and bugsFollow a bottom-up ... Read more

$40.79 CAD or Free with Kobo Plus

Explore why you might build a new programming language, which aspects influence runtime and language design choices, and how to implement a working first-version interpreter for that language in C++. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesDesign a domain-specific language to solve focused problems and reduce complexity and bugsFollow a bottom-up
... Read more
Mastering RESTful API Development with Go: Master RESTful API Development with Go, gRPC, and GraphQL to Create Scalable and Secure APIs for Cutting-Edge Web Solutions

by Nitin Gurbani ...

Master the Art of Building Scalable and Secure REST APIs with GOKey Features● Master building scalable and secure REST APIs using the Go language.● Explore Go syntax, architecture, and best practices for API design.● Develop real-world APIs with hands-on examples and deployment guidance.Book DescriptionRESTful APIs are the backbone of modern web and mobile applications, enabling seamless ... Read more

$28.99 CAD or Free with Kobo Plus

Master the Art of Building Scalable and Secure REST APIs with GOKey Features● Master building scalable and secure REST APIs using the Go language.● Explore Go syntax, architecture, and best practices for API design.● Develop real-world APIs with hands-on examples and deployment guidance.Book DescriptionRESTful APIs are the backbone of modern web and mobile applications, enabling seamless
... Read more
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Edited by Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Read more

$102.49 CAD

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Read more
Developers Ultimate Guide: Linux Bash Scripting

Linux basics to advanced topics and bash scripting in 12 weeks

by Matin Maleki ...

Series Book 1 - Developers Ultimate Guide
Bash is a powerful and widely-used shell and command-line interface for the Linux operating system. It provides a way to interact with the system and execute commands, as well as a programming language for creating scripts to automate tasks and perform more complex operations. ... Read more

$13.57 CAD or Free with Kobo Plus

Bash is a powerful and widely-used shell and command-line interface for the Linux operating system. It provides a way to interact with the system and execute commands, as well as a programming language for creating scripts to automate tasks and perform more complex operations.
... Read more
SAP HANA Deepdive: Optimierung und Stabilität im Betrieb

by Jens Gleichmann, Matthias Sander ...

Mit der HANA stellt die SAP dem Kunden eine höchst leistungsfähige Datenbank zur Verfügung. Allerdings ist es eine hohe Kunst für den Datenbankadministrator, dieses komplexe Konstrukt so zu steuern, dass sich bei optimal dimensionierter Hardware ein Maximum an Leistung aus ihm »herauskitzeln« lässt und dabei größtmögliche Stabilität gewahrt bleibt.In diesem Fachbuch teilen zwei Spezialisten für ... Read more

$28.99 CAD

Mit der HANA stellt die SAP dem Kunden eine höchst leistungsfähige Datenbank zur Verfügung. Allerdings ist es eine hohe Kunst für den Datenbankadministrator, dieses komplexe Konstrukt so zu steuern, dass sich bei optimal dimensionierter Hardware ein Maximum an Leistung aus ihm »herauskitzeln« lässt und dabei größtmögliche Stabilität gewahrt bleibt.In diesem Fachbuch teilen zwei Spezialisten für
... 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

Software Development eBooks

Show: