Rakuten Kobo

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Edición de Dirk Beyer, Chantal Keller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and
... Leer más
Design Patterns mit Java

Eine Einführung

de Olaf Musch ...

Series series Computer Science and Engineering (German Language)
Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden ... Leer más

$35.99 USD

Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden
... Leer más
Software Product Management

The ISPMA®-Compliant Study Guide and Handbook

de Hans-Bernd Kittlaus ...

Series series Computer Science (R0)
Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive overview on SPM for beginners as well as best practices, methodology and in-depth discussions for experienced product managers. This includes product strategy, product planning, participation in strategic management activities and orchestration of the ... Leer más

$89.99 USD

Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive overview on SPM for beginners as well as best practices, methodology and in-depth discussions for experienced product managers. This includes product strategy, product planning, participation in strategic management activities and orchestration of the
... Leer más
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Edición de Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... Leer más
Scala for Java Developers

A Practical Primer

de Toby Weston ...

Series series Professional and Applied Computing (R0)
Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a ... Leer más

$28.99 USD

Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a
... Leer más
Artificial Intelligence in Medicine

16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Edición de Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal
... Leer más
Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20–22, 2024, Proceedings

Edición de Wang-Zhou Dai ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.The 13 full papers and 5 short papers presented in this book were carefully selected and reviewed from 25 submissions. These papers have been organized in the ... Leer más

$116.99 USD

This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in Nanjing, China during September 20–22, 2024.The 13 full papers and 5 short papers presented in this book were carefully selected and reviewed from 25 submissions. These papers have been organized in the
... Leer más
Android Recipes

A Problem-Solution Approach for Android 5.0

de Dave Smith ...

Series series Professional and Applied Computing (R0)
Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you ... Leer más

$44.99 USD

Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you
... Leer más
Numerical C

Applied Computational Programming with Case Studies

de Philip Joyce ...

Series series Professional and Applied Computing (R0)
Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to ... Leer más

$44.99 USD

Learn applied numerical computing using the C programming language, starting with a quick primer on the C programming language and its SDK. This book then dives into progressively more complex applied math formula for computational methods using C with examples throughout and a larger, more complete application towards the end.Numerical C starts with the quadratic formula for finding solutions to
... Leer más
Java 9 Modularity Revealed

Project Jigsaw and Scalable Java Applications

de Alexandru Jecan ...

Series series Professional and Applied Computing (R0)
Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime ... Leer más

$31.99 USD

Develop modular applications using the Java Platform Module System, the single most anticipated feature in Java 9. You will improve maintainability and performance of your Java applications by deploying only modules that are needed and encapsulating their implementation details.Until now Java has been monolithic. Using any one part of Java has meant incorporating the entirety of the runtime
... Leer más
Transactions on Foundations for Mastering Change I

Edición de Bernhard Steffen ...

Series series Computer Science (R0)
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. ... Leer más

$49.99 USD

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
... Leer más
JavaScript Frameworks for Modern Web Dev

de Tim Ambler, Nicholas Cloud ...

Series series Professional and Applied Computing (R0)
JavaScript Frameworks for Modern Web Devis your guide to the wild, vast, and untamed frontier that is JavaScript development.The JavaScript tooling landscape has grown and matured drastically in the past several years. This book will serve as an introduction to both new and well established libraries, frameworks, and utilities that have gained popular traction and support from seasoned developers. ... Leer más

$44.99 USD

JavaScript Frameworks for Modern Web Devis your guide to the wild, vast, and untamed frontier that is JavaScript development.The JavaScript tooling landscape has grown and matured drastically in the past several years. This book will serve as an introduction to both new and well established libraries, frameworks, and utilities that have gained popular traction and support from seasoned developers.
... Leer más
Ubiquitous Information Technologies and Applications

CUTE 2012

Edición de Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo ...

Series series Springer Nature Proceedings excluding Computer Science
Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service ... Leer más

$188.99 USD

Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service
... Leer más
Building Web Applications with .NET Core 2.1 and JavaScript

Leveraging Modern JavaScript Frameworks

de Philip Japikse, Kevin Grossnicklaus, Ben Dewey ...

Series series Professional and Applied Computing (R0)
Roll up your sleeves and jump into building web applications using .NET Core 2.1 and the most popular JavaScript frameworks.You will start by building a data access layer using Entity Framework Core, a RESTful service using ASP.NET Core, and then you will build a web application following the MVC pattern, also using ASP.NET Core. The resulting application is an example e-commerce site using the ... Leer más

$53.99 USD

Roll up your sleeves and jump into building web applications using .NET Core 2.1 and the most popular JavaScript frameworks.You will start by building a data access layer using Entity Framework Core, a RESTful service using ASP.NET Core, and then you will build a web application following the MVC pattern, also using ASP.NET Core. The resulting application is an example e-commerce site using the
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 2 - 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 ... Leer más

$49.99 USD

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
... Leer más
Practical Machine Learning and Image Processing

For Facial Recognition, Object Detection, and Pattern Recognition Using Python

de Himanshu Singh ...

Series series Professional and Applied Computing (R0)
Gain insights into image-processing methodologies and algorithms, using machine learning and neural networks in Python. This book begins with the environment setup, understanding basic image-processing terminology, and exploring Python concepts that will be useful for implementing the algorithms discussed in the book. You will then cover all the core image processing algorithms in detail before ... Leer más

$58.99 USD

Gain insights into image-processing methodologies and algorithms, using machine learning and neural networks in Python. This book begins with the environment setup, understanding basic image-processing terminology, and exploring Python concepts that will be useful for implementing the algorithms discussed in the book. You will then cover all the core image processing algorithms in detail before
... Leer más
Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Edición de Tiziana Margaria, Susanne Graf, Kim G. Larsen ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful ... Leer más

$49.99 USD

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful
... Leer más
Rails 5 Revealed

de Alan Bradburne ...

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking ... Leer más

$18.99 USD

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking
... Leer más
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Edición de Federica Sarro, Kalyanmoy Deb ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... Leer más
Grundkurs Algorithmen und Datenstrukturen in JAVA

Eine Einführung in die praktische Informatik

de Andreas Solymosi, Ulrich Grude ...

Series series Computer Science and Engineering (German Language)
Dieses Lehrbuch für Ausbildung und Studium stellt die klassischen Informatik-Inhalte wie Sortieralgorithmen, Baumstrukturen, Komplexität, Rekursion und Algorithmenklassen bereit und wurde angepasst für die aktuelle Java-Version, wobei die verwendeten Neuerungen (Lambda-Ausdrücke, Ströme usw.) kurz erklärt werden. Vorteil des Buches sind die klare Ausrichtung an der Praxis und die Implementierung ... Leer más

$31.99 USD

Dieses Lehrbuch für Ausbildung und Studium stellt die klassischen Informatik-Inhalte wie Sortieralgorithmen, Baumstrukturen, Komplexität, Rekursion und Algorithmenklassen bereit und wurde angepasst für die aktuelle Java-Version, wobei die verwendeten Neuerungen (Lambda-Ausdrücke, Ströme usw.) kurz erklärt werden. Vorteil des Buches sind die klare Ausrichtung an der Praxis und die Implementierung
... Leer más
Automated Reasoning

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

Edición de Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Series Libro 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 ... Leer más

$80.99 USD

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
... Leer más
Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

Edición de Roberto Giacobazzi, Alessandra Gorla ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and
... Leer más
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning

17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28–30, 2024, Proceedings

Edición de Zsuzsa Pluhár, Bence Gaál ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28–30, 2024.The 14 full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: curricula and computer science concepts; problem solving, ... Leer más

$53.99 USD

This book constitutes the proceedings of the 17th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2024, held in Budapest, Hungary, during October 28–30, 2024.The 14 full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: curricula and computer science concepts; problem solving,
... Leer más
Learn R for Applied Statistics

With Data Visualizations, Regressions, and Statistics

de Eric Goh Ming Hui ...

Series series Professional and Applied Computing (R0)
Gain the R programming language fundamentals for doing the applied statistics useful for data exploration and analysis in data science and data mining. This book covers topics ranging from R syntax basics, descriptive statistics, and data visualizations to inferential statistics and regressions. After learning R’s syntax, you will work through data visualizations such as histograms and boxplot ... Leer más

$53.99 USD

Gain the R programming language fundamentals for doing the applied statistics useful for data exploration and analysis in data science and data mining. This book covers topics ranging from R syntax basics, descriptive statistics, and data visualizations to inferential statistics and regressions. After learning R’s syntax, you will work through data visualizations such as histograms and boxplot
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Compiladores

Mostrar: