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

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

$920 MXN

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
Languages and Compilers for Parallel Computing

30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Edición de Lawrence Rauchwerger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions ... Leer más

$920 MXN

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions
... 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

$920 MXN

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
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

$920 MXN

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

$920 MXN

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
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

$920 MXN

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
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

$920 MXN

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
Theory and Practice of Model Transformation

11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Edición de Arend Rensink, Jesús Sánchez Cuadrado ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of
... 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

$920 MXN

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
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

$920 MXN

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
Scaling OpenMP for Exascale Performance and Portability

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

Edición de Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Leer más

$920 MXN

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... Leer más
Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Edición de Hongseok Yang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in ... Leer más

$1,656 MXN

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in
... Leer más
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edición de K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Leer más
Fundamentals of Java Programming

de Mitsunori Ogihara ...

Series series Computer Science (R0)
Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner, ... Leer más

$920 MXN

Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner,
... Leer más
Advanced Finite Element Simulation with MSC Marc

Application of User Subroutines

de Andreas Öchsner, Zia Javanbakht ...

Series series Engineering (R0)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... Leer más

$1,656 MXN

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user
... Leer más
Man vs. Machine

Challenging Human Supremacy at Chess

de Karsten Müller, Jonathan Schaeffer ...

Man vs. Machine Technology continues to advance at a rapid pace. It may sound quaint today, but not so long ago, computers battled humans for supremacy at the game of chess. The challenge of building a computer program capable of defeating the best of human-kind at chess was one of the original grand challenges of the fledgling field of artificial intelligence. On one side were dedicated ... Leer más

$433 MXN

Man vs. Machine Technology continues to advance at a rapid pace. It may sound quaint today, but not so long ago, computers battled humans for supremacy at the game of chess. The challenge of building a computer program capable of defeating the best of human-kind at chess was one of the original grand challenges of the fledgling field of artificial intelligence. On one side were dedicated
... Leer más
Pro Jakarta EE 10

Open Source Enterprise Java-based Cloud-native Applications Development

de Peter Späth ...

Series series Professional and Applied Computing (R0)
Welcome to your in-depth professional guide to the open source Eclipse Jakarta EE 10 platform. This book will help you build more complex native enterprise Java-based cloud and other applications that can run in corporate and other mission-critical settings. The majority of the key Jakarta EE 10 APIs or features are dissected in this book, including JSF, JSP, JPA, CDI, REST, Microprofiles, ... Leer más

$1,083 MXN

Welcome to your in-depth professional guide to the open source Eclipse Jakarta EE 10 platform. This book will help you build more complex native enterprise Java-based cloud and other applications that can run in corporate and other mission-critical settings. The majority of the key Jakarta EE 10 APIs or features are dissected in this book, including JSF, JSP, JPA, CDI, REST, Microprofiles,
... Leer más
Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Edición de Ralf Hinze, Janis Voigtländer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. ... Leer más

$920 MXN

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction.
... Leer más
Trends in Functional Programming

22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers

Edición de Viktória Zsók, John Hughes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, ... Leer más

$736 MXN

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling,
... Leer más
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Edición de Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Leer más

$736 MXN

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... 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

$980 MXN

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
Instruction Level Parallelism

de Alex Aiken, Utpal Banerjee, Arun Kejariwal, Alexandru Nicolau ...

Series series Computer Science (R0)
This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this book is useful to the ... Leer más

$1,104 MXN

This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this book is useful to the
... Leer más
Expert T-SQL Window Functions in SQL Server

de Clayton Groom, Kathi Kellenberger ...

Series series Professional and Applied Computing (R0)
Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window ... Leer más

$490 MXN

Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window
... Leer más
HL7 for BizTalk

de Howard Edidin, Vikas Bhardwaj ...

Series series Professional and Applied Computing (R0)
HL7 for BizTalk provides a detailed guide to the planning and delivery of a HL7-compliant system using the dedicated Microsoft BizTalk for HL7 Accelerator. The HL7 Primary Standard, its various versions, and the use of the HL7 Accelerator for BizTalk are broken out and fully explained. HL7 for BizTalk provides clear guidance on the specific healthcare scenarios that HL7 is designed to overcome and ... Leer más

$1,891 MXN

HL7 for BizTalk provides a detailed guide to the planning and delivery of a HL7-compliant system using the dedicated Microsoft BizTalk for HL7 Accelerator. The HL7 Primary Standard, its various versions, and the use of the HL7 Accelerator for BizTalk are broken out and fully explained. HL7 for BizTalk provides clear guidance on the specific healthcare scenarios that HL7 is designed to overcome and
... 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

Perspectives of System Informatics

Languages and Compilers for Parallel Computing

Cyber Physical Systems. Model-Based Design

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

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

Practical Aspects of Declarative Languages

Formal Techniques for Distributed Objects, Components, and Systems

Theory and Practice of Model Transformation

Hybrid Artificial Intelligent Systems

Structured Object-Oriented Formal Language and Method

Scaling OpenMP for Exascale Performance and Portability

Programming Languages and Systems

Automated Technology for Verification and Analysis

Fundamentals of Java Programming

Advanced Finite Element Simulation with MSC Marc

Man vs. Machine

Pro Jakarta EE 10

Mathematics of Program Construction

Trends in Functional Programming

Practical Aspects of Declarative Languages

Building Chatbots with Python

Instruction Level Parallelism

Expert T-SQL Window Functions in SQL Server

HL7 for BizTalk