Rakuten Kobo

Advanced Python Development

Using Powerful Language Features in Real-World Applications

par Matthew Wilkes ...

Collections series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... En savoir plus

$68.99 CAD

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... En savoir plus
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Modifié par Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... En savoir plus
Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Modifié par Maurice H. ter Beek, Dejan Ničković ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions.
... En savoir plus
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Modifié par Jeremy Avigad, Assia Mahboubi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... En savoir plus

$115.99 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... En savoir plus
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Modifié par Chung-Kil Hur ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... En savoir plus

$77.99 CAD

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... En savoir plus
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

Modifié par Jean-Marie Jacquet, Mieke Massink ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Scaling OpenMP for Exascale Performance and Portability

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

Modifié par Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Collections 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; ... En savoir plus

$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;
... En savoir plus
asyncio Recipes

A Problem-Solution Approach

par Mohamed Mustapha Tahrioui ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Java XML and JSON

par JEFF FRIESEN ...

Collections 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 ... En savoir plus

$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
... En savoir plus
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

par Mikael Olsson ...

Collections Livre 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 ... En savoir plus

$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
... En savoir plus
Formal Methods and Software Engineering

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

Modifié par Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Peripheral Nerve Block

Pharmacologic — By Local Anesthesia Electric — By Transdermal Stimulation

par F.L. Jenkner ...

Collections 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 ... En savoir plus

$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
... En savoir plus
The China Information Technology Handbook

Modifié par Patricia Ordóñez de Pablos, Miltiadis D. Lytras ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Computer Safety, Reliability, and Security

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

Modifié par Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Verified Software. Theories, Tools, and Experiments

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

Modifié par Supratik Chakraborty, Jorge A. Navas ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Introducing Play Framework

Java Web Application Development

par Prem Kumar Karunakaran ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Multi-Paradigm Programming using C++

par 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 ... En savoir plus

$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
... En savoir plus
Beginning Application Lifecycle Management

par Joachim Rossberg ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Modern Data Mining Algorithms in C++ and CUDA C

Recent Developments in Feature Extraction and Selection Algorithms for Data Science

par Timothy Masters ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Java in 14 Wochen

Ein Lehrbuch für Studierende der Wirtschaftsinformatik

par Kaspar Riesen ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Erlang and Elixir for Imperative Programmers

par Wolfgang Loder ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Euro-Par 2020: Parallel Processing Workshops

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

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

Collections 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 ... En savoir plus

$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
... En savoir plus
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

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

Modifié par Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Collections 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 ... En savoir plus

$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
... En savoir plus
Data Flow Analysis

Theory and Practice

par 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 ... En savoir plus

$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
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :