Rakuten Kobo

Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Edición de Floor Koornneef, Coen van Gulijk ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... Leer más
Software Reuse: Bridging with Social-Awareness

15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Edición de Eduardo Santana de Almeida, Georgia M. Kapitsaki ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as ... Leer más

Antes $71.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as
... Leer más
Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Edición de Yuliya Lierler, Walid Taha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and
... Leer más
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Edición de Phillip James, Markus Roggenbach ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Leer más
Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Edición de El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Leer más

Antes $80.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model
... Leer más
Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Edición de Bernd Fischer, Tarmo Uustalu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Leer más

$72.89 USD

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and
... Leer más
Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Edición de Tiago Massoni, Mohammad Reza Mousavi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Leer más

$52.64 USD

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical
... Leer más
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Edición de Jonathan P. Bowen, Huibiao Zhu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Leer más
Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Edición de Francesco Ranzato ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Leer más

Antes $76.49 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is
... Leer más
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Edición de Cas Cremers, Anja Lehmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Leer más

$44.54 USD

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... Leer más
Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Edición de Andy King, Oleg Kiselyov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of ... Leer más

$44.54 USD

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of
... Leer más
Runtime Verification

16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Edición de Yliès Falcone, César Sánchez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of ... Leer más

Antes $80.09 USD Ahora $44.54 USD

This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of
... Leer más
Languages and Compilers for Parallel Computing

29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Edición de Chen Ding, John Criswell, Peng Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and ... Leer más

$44.54 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and
... Leer más
Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Edición de Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the ... Leer más

Antes $62.99 USD Ahora $44.54 USD

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the
... 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

$72.89 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
Applied Reconfigurable Computing. Architectures, Tools, and Applications

17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings

Edición de Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and ... Leer más

$44.54 USD

This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and
... Leer más
C++17 Quick Syntax Reference

A Pocket Guide to the Language, APIs and Library

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index ... Leer más

$21.41 USD

This quick C++17 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++17. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.In the C++17 Quick Syntax Reference, you will find short, simple, and focused code examples. This book includes a well laid out table of contents and a comprehensive index
... Leer más
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Selected Contributions on Specification, Design, and Verification from FDL 2009

Edición de Dominique Borrione ...

Series series Engineering (R0)
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on ... Leer más

$128.78 USD

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on
... Leer más
Translation 4.0

Dolmetschen und Uebersetzen im Zeitalter der Digitalisierung

Edición de Carsten Sinner, Christine Paasch-Kaiser, Johannes Härtel ...

Series Libro 21 - Leipziger Studien zur angewandten Linguistik und Translatologie
Die Entwicklung digitaler Möglichkeiten führt zu neuen Translationsformen. Sie verlangt eine Überprüfung von Ansätzen und Theorien und schafft neue Möglichkeiten für (sprachvergleichende) theoretische und korpusbasierte Studien. Die Beiträge dieses Bandes gehen den Auswirkungen der technischen Veränderungen auf die Translation selbst sowie auf die sich stetig verändernden bzw. erweiternden ... Leer más

$80.81 USD

Die Entwicklung digitaler Möglichkeiten führt zu neuen Translationsformen. Sie verlangt eine Überprüfung von Ansätzen und Theorien und schafft neue Möglichkeiten für (sprachvergleichende) theoretische und korpusbasierte Studien. Die Beiträge dieses Bandes gehen den Auswirkungen der technischen Veränderungen auf die Translation selbst sowie auf die sich stetig verändernden bzw. erweiternden
... Leer más
Start with Azure: Learn It Fast, Build It Right

de Kameron Hussain, Frahaan Hussain ...

Master Microsoft Azure from the ground up with this comprehensive, fast-track guide to building cloud solutions the right way.Whether you're a student, aspiring cloud engineer, or an IT professional transitioning to Azure, Start with Azure: Learn It Fast, Build It Right delivers a clear, hands-on roadmap to mastering Microsoft's powerful cloud platform. This book strips away the fluff and gets ... Leer más

$9.99 USD o gratis con Kobo Plus

Master Microsoft Azure from the ground up with this comprehensive, fast-track guide to building cloud solutions the right way.Whether you're a student, aspiring cloud engineer, or an IT professional transitioning to Azure, Start with Azure: Learn It Fast, Build It Right delivers a clear, hands-on roadmap to mastering Microsoft's powerful cloud platform. This book strips away the fluff and gets
... Leer más
Mastering GameMaker: A Journey from Novice to Expert

de Kameron Hussain, Frahaan Hussain ...

"Mastering GameMaker: A Journey from Novice to Expert" is the definitive guide for anyone aspiring to master the art of game development using the renowned GameMaker Studio. Whether you're an absolute beginner or an intermediate user looking to refine your skills, this book offers a comprehensive and engaging path to becoming an expert in one of the most user-friendly game development platforms ... Leer más

$9.99 USD o gratis con Kobo Plus

"Mastering GameMaker: A Journey from Novice to Expert" is the definitive guide for anyone aspiring to master the art of game development using the renowned GameMaker Studio. Whether you're an absolute beginner or an intermediate user looking to refine your skills, this book offers a comprehensive and engaging path to becoming an expert in one of the most user-friendly game development platforms
... Leer más
Today's TBB

C++ Parallel Programming with Threading Building Blocks

de Michael J. Voss, James R. Reinders ...

Series series Professional and Applied Computing (R0)
This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles, ... Leer más

Gratis

This open-access book serves as a comprehensive guide for C++ programmers looking to master Threading Building Blocks (TBB). Authored by two experts in TBB and parallel programming, the book distills decades of collective experience in developing and teaching parallel programming concepts, presenting insights in a clear and accessible manner.Today’s TBB starts with foundational principles,
... Leer más
Kotlin Unleashed: Harnessing the Power of Modern Android Development

de Kameron Hussain, Frahaan Hussain ...

"Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide ... Leer más

$9.99 USD o gratis con Kobo Plus

"Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide
... Leer más
Python Mini Manual

de CodeCraft Dynamics ...

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with ... Leer más

$3.00 USD o gratis con Kobo Plus

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with
... 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: