Rakuten Kobo

Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Edición de Simon Devitt, Ivan Lanese ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... Leer más
Building REST APIs with ASP.NET Core 8

The Ultimate Guide to Designing and Implementing Modern Back-Ends

de Prissy Max ...

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect ... Leer más

$9.99 USD

Tired of feeling like your code is just a collection of disconnected endpoints? Do you dream of building powerful, scalable applications that communicate with a flawless, elegant precision? Do you want to stop just building APIs and start crafting them?The digital world runs on a silent, powerful language: APIs. They are the nervous system of modern technology, the invisible threads that connect
... Leer más
Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Edición de Nicola Olivetti, Ashish Tiwari ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International
... Leer más
Test Driven Development in Ruby

A Practical Introduction to TDD Using Problem and Solution Domain Analysis

de Bala Paranj ...

Series series Professional and Applied Computing (R0)
Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how ... Leer más

$49.99 USD

Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how
... Leer más
Building Chatbots with Python

Using Natural Language Processing and Machine Learning

de Sumit Raj ...

Series series Professional and Applied Computing (R0)
Build your own chatbot using Python and open source tools. This book begins with an introduction to chatbots where you will gain vital information on their architecture. You will then dive straight into natural language processing with the natural language toolkit (NLTK) for building a custom language processing platform for your chatbot. With this foundation, you will take a look at different ... Leer más

$49.99 USD

Build your own chatbot using Python and open source tools. This book begins with an introduction to chatbots where you will gain vital information on their architecture. You will then dive straight into natural language processing with the natural language toolkit (NLTK) for building a custom language processing platform for your chatbot. With this foundation, you will take a look at different
... Leer más
Codebreakers Horizon

Navigating the Future of Programming Talent

de Anurag Anurag ...

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where ... Leer más

$0.99 USD

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where
... Leer más
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems

22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7–9, 2026, Proceedings

Edición de Sara Royuela, Bronis R. de Supinski, Swaroop Pophale, Michael Klemm ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking; ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the 22nd International Workshop on OpenMP, IWOMP 2026, held in Vienna, Austria, during October 7–9, 2026The 19 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Advances in Compiler and Memory Management; Advances in Heterogeneous Offload and Tasking;
... Leer más
Compilerbau

Grundlagen und Anwendungen

de Hanspeter Mössenböck ...

Series series Lehrbuch
Compilerbau praxisnah erklärtSystematische Einführung mit zahlreichen ÜbungsaufgabenEntwicklung eines Compilers für MicroJavaMit umfangreichem Zusatzmaterial zum BuchDas Buch behandelt die praxisrelevanten Grundlagen des Compilerbaus, von der lexikalischen Analyse über die Syntaxanalyse bis zur Semantikverarbeitung und zur Codeerzeugung. Weitere Themen sind die systematische Beschreibung von ... Leer más

$25.99 USD o gratis con Kobo Plus

Compilerbau praxisnah erklärtSystematische Einführung mit zahlreichen ÜbungsaufgabenEntwicklung eines Compilers für MicroJavaMit umfangreichem Zusatzmaterial zum BuchDas Buch behandelt die praxisrelevanten Grundlagen des Compilerbaus, von der lexikalischen Analyse über die Syntaxanalyse bis zur Semantikverarbeitung und zur Codeerzeugung. Weitere Themen sind die systematische Beschreibung von
... 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

$80.99 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
Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Edición de Bernd Finkbeiner, Leonardo Mariani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
... Leer más
Python Programming for Beginners

The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

de C J Smith ...

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... Leer más

$9.99 USD o gratis con Kobo Plus

THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations,
... Leer más
Master Python Without Prior Experience

de CodeCraft Dynamics ...

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like ... Leer más

$3.10 USD o gratis con Kobo Plus

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like
... Leer más
C Quick Syntax Reference

de Mikael Olsson ...

Series series Professional and Applied Computing (R0)
The C Quick Syntax Reference is a condensed code and syntax reference to the popular C programming language, which has enjoyed some resurgence of late. C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to, for instance, wearables, game programming, system level programming, embedded device/firmware programming and in Arduino ... Leer más

$23.99 USD

The C Quick Syntax Reference is a condensed code and syntax reference to the popular C programming language, which has enjoyed some resurgence of late. C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to, for instance, wearables, game programming, system level programming, embedded device/firmware programming and in Arduino
... Leer más
Pro Design Patterns in Swift

de Adam Freeman ...

Series series Professional and Applied Computing (R0)
The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have ... Leer más

$44.99 USD

The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have
... Leer más
Numerical Computations with GPUs

Edición de Volodymyr Kindratenko ...

Series series Computer Science (R0)
This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering ... Leer más

$143.99 USD

This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering
... Leer más
Advancing OpenMP for Future Accelerators

20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings

Edición de Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23–25, 2024.The 14 full papers presented in this book were carefully reviewed and selected from 16 submissions. They are grouped into the following topics: current and future openMP optimization; targeting more ... Leer más

$53.99 USD

This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23–25, 2024.The 14 full papers presented in this book were carefully reviewed and selected from 16 submissions. They are grouped into the following topics: current and future openMP optimization; targeting more
... Leer más
Theoretical Aspects of Computing – ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Edición de Augusto Sampaio, Farn Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections
... Leer más
Haskell-Intensivkurs

Ein kompakter Einstieg in die funktionale Programmierung

de Marco Block, Adrian Neumann ...

Series series Computer Science and Engineering (German Language)
Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam ... Leer más

$35.99 USD

Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam
... Leer más
Beginning C++ Compilers

An Introductory Guide to Microsoft C/C++ and MinGW Compilers

de Berik I. Tuleuov, Ademi B. Ospanova ...

Series series Professional and Applied Computing (R0)
This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... Leer más

$44.99 USD

This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is
... Leer más
MATLAB Control Systems Engineering

de Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Leer más

$49.99 USD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Leer más
Foundations of Libvirt Development

How to Set Up and Maintain a Virtual Machine Environment with Python

de W. David Ashley ...

Series series Professional and Applied Computing (R0)
Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment.You'll start by reviewing virtualization in general and then move on to libvirt-specific concepts using Python, including virtualized ... Leer más

$49.99 USD

Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment.You'll start by reviewing virtualization in general and then move on to libvirt-specific concepts using Python, including virtualized
... Leer más
Reversible Computation

11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Edición de Michael Kirkedal Thomsen, Mathias Soeken ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and
... Leer más
Software Engineering for Resilient Systems

8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

Edición de Ivica Crnkovic, Elena Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems;
... Leer más
MATLAB Numerical Calculations

de Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Leer más

$53.99 USD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... 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: