Rakuten Kobo

Showing 505 - 528 of 1197 Results

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

$64.99 CAD

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
Scaling OpenMP for Exascale Performance and Portability

13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Read more

$64.99 CAD

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... Read more
asyncio Recipes

A Problem-Solution Approach

by Mohamed Mustapha Tahrioui ...

Series series Professional and Applied Computing (R0)
Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples ... Read more

$44.99 CAD

Get the most out of asyncio and find solutions to your most troubling Python programming problems. This book offers a pragmatic collection of recipes by going beyond online resources and docs to provide guidance on using this complex library. As such, you’ll see how to improve application performance and run computationally intensive programs faster.asyncio Recipes starts with examples
... Read more
Java XML and JSON

by JEFF FRIESEN ...

Series series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select ... Read more

$44.99 CAD

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Read more
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Mikael Olsson ...

Series Book 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... Read more

$32.99 CAD

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... Read more
Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu ...

Series series Springer Nature Proceedings Computer Science
This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal ... Read more

$96.99 CAD

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal
... Read more
Peripheral Nerve Block

Pharmacologic — By Local Anesthesia Electric — By Transdermal Stimulation

by F.L. Jenkner ...

Series series Medicine (R0)
Fifty years ago surgeons often performed various operations in conduction anesthesia or local anesthesia in the hope of circumventing pulmonary complications. The prepa ration for the operation was the task of an assistant who had to know and carry out the diverse local anesthetic procedures and who was responsible for their effective ness. In this way a large number of physicians learned to carry ... Read more

$24.99 CAD

Fifty years ago surgeons often performed various operations in conduction anesthesia or local anesthesia in the hope of circumventing pulmonary complications. The prepa ration for the operation was the task of an assistant who had to know and carry out the diverse local anesthetic procedures and who was responsible for their effective ness. In this way a large number of physicians learned to carry
... Read more
The China Information Technology Handbook

Edited by Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...

Series series Computer Science (R0)
Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice ... Read more

$256.99 CAD

Miltiadis D. Lytras and Patricia Ordóñez de Pablos Department of Computer Engineering and Informatics, University of Patras, Greece Dept. of Business Administration and Accountability, University of Oviedo, Spain China is a fast-growing emerging economy and current impressive economic growth rate of almost 9 percent annually. Its contribution to global GDP growth since 2000 has been almost twice
... Read more
Computer Safety, Reliability, and Security

SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

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

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of five workshopsco-located with SAFECOMP 2017, the 36th International Conference onComputer Safety, Reliability, and Security, held in Trento, Italy, in September 2017.The 38 revised full papers presented together with 5 introductory papers to each workshop,and three invited papers, were carefully reviewed and selected from 49 submissions.This year's
... Read more
Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

Edited by Supratik Chakraborty, Jorge A. Navas ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Read more

$64.99 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... Read more
Introducing Play Framework

Java Web Application Development

by Prem Kumar Karunakaran ...

Series series Professional and Applied Computing (R0)
Enter the world of rapid web application development. This gentle introduction to Play covers all you need to know: it carefully introduces the background concepts before diving into examples, making learning Play 2 enjoyable (it includes the latest Play framework version 2.8).Introducing Play Framework is crisp, up-to-the-point, and full of valuable information. You will find chapters covering ... Read more

$56.99 CAD

Enter the world of rapid web application development. This gentle introduction to Play covers all you need to know: it carefully introduces the background concepts before diving into examples, making learning Play 2 enjoyable (it includes the latest Play framework version 2.8).Introducing Play Framework is crisp, up-to-the-point, and full of valuable information. You will find chapters covering
... 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.99 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
Beginning Application Lifecycle Management

by Joachim Rossberg ...

Series series Professional and Applied Computing (R0)
Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of ... Read more

$75.99 CAD

Beginning Application Lifecycle Management is a guide to an area of rapidly growing interest within the development community: managing the entire cycle of building software. ALM is an area that spans everything from requirements specifications to retirement of an IT-system or application. Because its techniques allow you to deal with the process of developing applications across many areas of
... Read more
Modern Data Mining Algorithms in C++ and CUDA C

Recent Developments in Feature Extraction and Selection Algorithms for Data Science

by Timothy Masters ...

Series series Professional and Applied Computing (R0)
Discover a variety of data-mining algorithms that are useful for selecting small sets of important features from among unwieldy masses of candidates, or extracting useful features from measured variables.As a serious data miner you will often be faced with thousands of candidate features for your prediction or classification application, with most of the features being of little or no value. You ... Read more

$80.99 CAD

Discover a variety of data-mining algorithms that are useful for selecting small sets of important features from among unwieldy masses of candidates, or extracting useful features from measured variables.As a serious data miner you will often be faced with thousands of candidate features for your prediction or classification application, with most of the features being of little or no value. You
... Read more
Java in 14 Wochen

Ein Lehrbuch für Studierende der Wirtschaftsinformatik

by Kaspar Riesen ...

Series series Computer Science and Engineering (German Language)
Dieses Buch ist der ideale Begleiter, wenn Sie in einem Semester Java lernen möchten. Der Inhalt wurde gezielt ausgewählt, so dass nur die Konzepte besprochen werden, die Sie zum Einstieg in die Programmierung wirklich benötigen. Diese Konzepte werden mit zahlreichen, anschaulichen Beispielen illustriert.Weiter wird im Buch ein durchgehendes Beispielprojekt in Java, das von Kapitel zu Kapitel ... Read more

$42.99 CAD

Dieses Buch ist der ideale Begleiter, wenn Sie in einem Semester Java lernen möchten. Der Inhalt wurde gezielt ausgewählt, so dass nur die Konzepte besprochen werden, die Sie zum Einstieg in die Programmierung wirklich benötigen. Diese Konzepte werden mit zahlreichen, anschaulichen Beispielen illustriert.Weiter wird im Buch ein durchgehendes Beispielprojekt in Java, das von Kapitel zu Kapitel
... Read more
Erlang and Elixir for Imperative Programmers

by Wolfgang Loder ...

Series series Professional and Applied Computing (R0)
Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to ... Read more

$48.99 CAD

Learn and understand Erlang and Elixir and develop a working knowledge of the concepts of functional programming that underpin them. This book takes the author’s experience of taking on a project that required functional programming and real-time systems, breaks it down, and organizes it. You will get the necessary knowledge about differences to the languages you know, where to start, and where to
... Read more
Euro-Par 2020: Parallel Processing Workshops

Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers

Edited by Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an ... Read more

$64.99 CAD

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an
... Read more
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

Edited by Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Read more

$109.99 CAD

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on
... Read more
Data Flow Analysis

Theory and Practice

by Uday Khedker, Amitabha Sanyal, Bageshri Sathe ...

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.Supplementary Online Materials to Strengthen ... Read more

$109.99 CAD

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.Supplementary Online Materials to Strengthen
... 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.99 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
Formal Languages and Computation

Models and Their Applications

by Alexander Meduna ...

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio ... Read more

$122.99 CAD

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio
... Read more
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Edited by Christiano Braga, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... Read more

$64.99 CAD

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... Read more
Parallele Programmierung

by Thomas Rauber, Gudula Rünger ...

Series series Computer Science and Engineering (German Language)
Durch kostengünstige Multiprozessor-Desktoprechner, Cluster von PCs und Innovationen wie die Hyperthreading-Technologie oder Multicore-Prozessoren sind parallele Rechenressourcen allgegenwärtig. Die effiziente Ausnutzung dieser parallelen Rechenleistung ist jedoch nur durch den Einsatz paralleler Programmiertechniken möglich, die sich damit in alle Bereiche der Softwareerstellung ausbreiten.Dieses ... Read more

$24.99 CAD

Durch kostengünstige Multiprozessor-Desktoprechner, Cluster von PCs und Innovationen wie die Hyperthreading-Technologie oder Multicore-Prozessoren sind parallele Rechenressourcen allgegenwärtig. Die effiziente Ausnutzung dieser parallelen Rechenleistung ist jedoch nur durch den Einsatz paralleler Programmiertechniken möglich, die sich damit in alle Bereiche der Softwareerstellung ausbreiten.Dieses
... Read more
Beginning MATLAB and Simulink

From Novice to Professional

by Sulaymon Eshkabilov ...

Series series Professional and Applied Computing (R0)
Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and ... Read more

$44.99 CAD

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and
... 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

Coordination Models and Languages

Scaling OpenMP for Exascale Performance and Portability

asyncio Recipes

Java XML and JSON

C# 7 Quick Syntax Reference

Formal Methods and Software Engineering

Peripheral Nerve Block

The China Information Technology Handbook

Computer Safety, Reliability, and Security

Verified Software. Theories, Tools, and Experiments

Introducing Play Framework

Multi-Paradigm Programming using C++

Beginning Application Lifecycle Management

Modern Data Mining Algorithms in C++ and CUDA C

Java in 14 Wochen

Erlang and Elixir for Imperative Programmers

Euro-Par 2020: Parallel Processing Workshops

Database Systems for Advanced Applications. DASFAA 2022 International Workshops

Data Flow Analysis

Programmierung in Python

Formal Languages and Computation

Formal Aspects of Component Software

Parallele Programmierung

Beginning MATLAB and Simulink

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: