Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Constraints Meet Concurrency

de Jacopo Mauro ...

Series series Mathematics and Statistics (R0)
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent ... Leer más

$54,670 CLP

This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent
... Leer más
Building Secure Defenses Against Code-Reuse Attacks

de Lucas Davi, Ahmad-Reza Sadeghi ...

Series series Computer Science (R0)
This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET.Chapters also explain the principle of control-flow ... Leer más

$54,670 CLP

This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET.Chapters also explain the principle of control-flow
... Leer más
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Edición de Alessandro Cimatti, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software
... Leer más
A Tiny Handbook of R

de Mike Allerhand ...

Series series SpringerBriefs in Statistics
This Brief provides a roadmap for the R language and programming environment with signposts to further resources and documentation. ... Leer más

$65,607 CLP

This Brief provides a roadmap for the R language and programming environment with signposts to further resources and documentation.
... Leer más
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Edición de Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Leer más

$62,326 CLP

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... Leer más
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Edición de Shuvendu K. Lahiri, Chao Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... Leer más
Software Technologies: Applications and Foundations

STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Edición de Manuel Mazzara, Iulian Ober, Gwen Salaün ...

Series series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: ... Leer más

$54,670 CLP

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018:
... Leer más
Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Edición de David Van Horn, John Hughes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
... Leer más
End-User Development

7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Edición de Alessio Malizia, Stefano Valtolina, Anders Morch, Alan Serrano, Andrew Stratton ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent ... Leer más

$62,326 CLP

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent
... Leer más
Chatbot Research and Design

Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers

Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user ... Leer más

$82,011 CLP

This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user
... Leer más
Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Edición de Shaoying Liu, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification, ... Leer más

$54,670 CLP

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification,
... Leer más
DirectX Demystified: A Comprehensive Guide to Game Development Essentials

de Kameron Hussain, Frahaan Hussain ...

DirectX Demystified: A Comprehensive Guide to Game Development Essentials is the definitive guide for aspiring and experienced game developers looking to master DirectX, the collection of APIs pivotal in the creation of high-performance games on Windows platforms. This guide delves deep into the complexities of DirectX, offering readers a clear and detailed exploration of its components, including ... Leer más

$8,660 CLP

DirectX Demystified: A Comprehensive Guide to Game Development Essentials is the definitive guide for aspiring and experienced game developers looking to master DirectX, the collection of APIs pivotal in the creation of high-performance games on Windows platforms. This guide delves deep into the complexities of DirectX, offering readers a clear and detailed exploration of its components, including
... Leer más
Mastering CakePHP: A Comprehensive Guide to Rapid Web Development

de Kameron Hussain, Frahaan Hussain ...

"Mastering CakePHP: A Comprehensive Guide to Rapid Web Development" is an essential resource for both novice and experienced developers looking to harness the power of CakePHP, a robust PHP framework designed to build highly scalable web applications efficiently. This guide delves deeply into the architecture of CakePHP, showcasing how to maximize the framework to expedite web application ... Leer más

$8,660 CLP

"Mastering CakePHP: A Comprehensive Guide to Rapid Web Development" is an essential resource for both novice and experienced developers looking to harness the power of CakePHP, a robust PHP framework designed to build highly scalable web applications efficiently. This guide delves deeply into the architecture of CakePHP, showcasing how to maximize the framework to expedite web application
... Leer más
Practical Aspects of Declarative Languages

18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

Edición de John Reppy, Marco Gavanelli ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016.The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing ... Leer más

$43,734 CLP

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016.The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing
... Leer más
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Edición de Anne Remke, Boudewijn R. Haverkort ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... Leer más

$54,670 CLP

This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of
... Leer más
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Edición de Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... Leer más
Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Edición de Roger Chamberlain, Martin Edin Grimheden, Walid Taha ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... Leer más

$54,670 CLP

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from
... Leer más
Accelerator Programming Using Directives

7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

Edición de Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic.WACCPD is one of the major forums for bringing together users, developers, and the software and ... Leer más

$54,670 CLP

This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic.WACCPD is one of the major forums for bringing together users, developers, and the software and
... Leer más
Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Edición de Andrei Voronkov, A.P. Ershov Institute of Informatics Systems ...

Series series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of ... Leer más

$54,670 CLP

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of
... Leer más
Mastering Unity: Advanced Techniques for Interactive Design

Unity Game Development Series

de Kameron Hussain, Frahaan Hussain ...

Series series Unity Game Development Series
In "Mastering Unity: Advanced Techniques for Interactive Design," readers embark on a comprehensive journey through the intricate and dynamic world of Unity, a leading game development platform renowned for its versatility in interactive design. This book is meticulously crafted to cater to developers who have surpassed the beginner stage and are eager to deepen their expertise in Unity.The book ... Leer más

$8,660 CLP

In "Mastering Unity: Advanced Techniques for Interactive Design," readers embark on a comprehensive journey through the intricate and dynamic world of Unity, a leading game development platform renowned for its versatility in interactive design. This book is meticulously crafted to cater to developers who have surpassed the beginner stage and are eager to deepen their expertise in Unity.The book
... Leer más
Hybrid Artificial Intelligent Systems

12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Edición de Rubén Urraca, Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models ... Leer más

$54,670 CLP

This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models
... Leer más
Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Edición de Dang Van Hung, Deepak Kapur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency;
... Leer más
Formal Techniques for Distributed Objects, Components, and Systems

38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Edición de Christel Baier, Luís Caires ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. ... Leer más

$54,670 CLP

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions.
... Leer más
Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Edición de José Júlio Alferes, Moa Johansson ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

$54,670 CLP

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Leer más

Kobo Rakuten

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

Constraints Meet Concurrency

Building Secure Defenses Against Code-Reuse Attacks

Software Engineering and Formal Methods

A Tiny Handbook of R

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Automated Technology for Verification and Analysis

Software Technologies: Applications and Foundations

Trends in Functional Programming

End-User Development

Chatbot Research and Design

Structured Object-Oriented Formal Language and Method

DirectX Demystified: A Comprehensive Guide to Game Development Essentials

Mastering CakePHP: A Comprehensive Guide to Rapid Web Development

Practical Aspects of Declarative Languages

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Cyber Physical Systems. Model-Based Design

Accelerator Programming Using Directives

Perspectives of System Informatics

Mastering Unity: Advanced Techniques for Interactive Design

Hybrid Artificial Intelligent Systems

Theoretical Aspects of Computing – ICTAC 2017

Formal Techniques for Distributed Objects, Components, and Systems

Practical Aspects of Declarative Languages