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

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Edición de Lucas Lima, Vince Molnár ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, ... Leer más

$1,000 MXN

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems,
... Leer más
NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Edición de Kristin Yvonne Rozier, Swarat Chaudhuri ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. ... Leer más

$1,636 MXN

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
... Leer más
Chinese Lexical Semantics

23rd Workshop, CLSW 2022, Virtual Event, May 14–15, 2022, Revised Selected Papers, Part I

Edición de Qi Su, Ge Xu, Xiaoyan Yang ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.In total the two-volume set includes 39 full papers and 19 short papers which were carefully reviewed and selected from 214 submissions. They are organized in the following topical sections: ... Leer más

$1,636 MXN

The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022.In total the two-volume set includes 39 full papers and 19 short papers which were carefully reviewed and selected from 214 submissions. They are organized in the following topical sections:
... Leer más
End-User Development

9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings

Edición de Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Artificial Intelligence for End-Users; Internet ... Leer más

$1,182 MXN

This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Artificial Intelligence for End-Users; Internet
... Leer más
Applied Reconfigurable Computing. Architectures, Tools, and Applications

19th International Symposium, ARC 2023, Cottbus, Germany, September 27–29, 2023, Proceedings

Edición de Francesca Palumbo, Georgios Keramidas, Nikolaos Voros, Pedro C. Diniz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design ... Leer más

$1,363 MXN

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design
... Leer más
Computational Science – ICCS 2023

23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II

Edición de Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full ... Leer más

$2,000 MXN

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023.The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full
... Leer más
Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

Edición de Étienne André, Jun Sun ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research ... Leer más

$1,454 MXN

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research
... Leer más
Supercomputing

9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I

Edición de Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical ... Leer más

$1,363 MXN

The two-volume set LNCS 14388 and 14389 constitutes the refereed proceedings of the 9th Russian Supercomputing Days International Conference (RuSCDays 2023) held in Moscow, Russia, during September 25-26, 2023.The 44 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 104 submissions. The papers have been organized in the following topical
... Leer más
Finite Difference Methods,Theory and Applications

6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

Edición de Ivan Dimov, István Faragó, Lubin Vulkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods
... Leer más
Web Information Systems Engineering – WISE 2015

16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I

Edición de Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015.The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of big ... Leer más

$909 MXN

This two volume set LNCS 9418 and LNCS 9419 constitutes the proceedings of the 16th International Conference on Web Information Systems Engineering, WISE 2015, held in Miami, FL, USA, in November 2015.The 53 full papers, 17 short and 14 special sessions and invited papers, presented in these proceedings were carefully reviewed and selected from 189 submissions. The papers cover the areas of big
... Leer más
Algorithms and Architectures for Parallel Processing

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV

Edición de Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li ...

Series Libro 4 - Springer Nature Proceedings Computer Science
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602 ... Leer más

$909 MXN

This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602
... Leer más
Advances in Cryptology – CRYPTO 2020

40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I

Edición de Daniele Micciancio, Thomas Ristenpart ...

Series Libro 1 - Springer Nature Proceedings Computer Science
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security ... Leer más

$1,636 MXN

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security
... Leer más
Security Protocols XXVII

27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers

Edición de Jonathan Anderson, Frank Stajano, Bruce Christianson, Vashek Matyáš ...

Series series Springer Nature Proceedings Computer Science
The volume LNCS 12287 constitutes the proceedings of the 27th International Workshop on Security Protocols, held in Cambridge, UK, in April 2019.The volume consists of 16 thoroughly revised invited papers presented together with the respective transcripts of discussions. The theme of this year's workshop was “Security Protocols for Humans" The topics covered included Designing for Humans and ... Leer más

$1,363 MXN

The volume LNCS 12287 constitutes the proceedings of the 27th International Workshop on Security Protocols, held in Cambridge, UK, in April 2019.The volume consists of 16 thoroughly revised invited papers presented together with the respective transcripts of discussions. The theme of this year's workshop was “Security Protocols for Humans" The topics covered included Designing for Humans and
... Leer más
Diagrammatic Representation and Inference

11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings

Edición de Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, Sven Linker ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.*The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics; ... Leer más

$1,454 MXN

This book constitutes the refereed proceedings of the 11th International Conference on the Theory and Application of Diagrams, Diagrams 2020, held in Tallinn, Estonia, in August 2020.*The 20 full papers and 16 short papers presented together with 18 posters were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: diagrams in mathematics;
... Leer más
Advances in Cryptology – CRYPTO 2020

40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part II

Edición de Daniele Micciancio, Thomas Ristenpart ...

Series Libro 2 - Springer Nature Proceedings Computer Science
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security ... Leer más

$1,818 MXN

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security
... Leer más
Services Computing – SCC 2020

17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings

Edición de Qingyang Wang, Yunni Xia, Sangeetha Seshadri, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of SCF 2020 in Honolulu, HI, USA in September 2020..The 8 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 20 submissions. They cover topics such as: foundations of services computing; scientific workflows; business process ... Leer más

$909 MXN

This volume constitutes the proceedings of the 17th International Conference on Services Computing 2020, held as Part of SCF 2020 in Honolulu, HI, USA in September 2020..The 8 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 20 submissions. They cover topics such as: foundations of services computing; scientific workflows; business process
... Leer más
Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Edición de Violet Ka I Pun, Volker Stolz, Adenilso Simao ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic.The 15 papers presented in this volume were carefully reviewed and selected from 40 ... Leer más

$909 MXN

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic.The 15 papers presented in this volume were carefully reviewed and selected from 40
... Leer más
Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Edición de Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following
... Leer más
Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

Edición de Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich ...

Series series Computer Science (R0)
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical ... Leer más

$909 MXN

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical
... Leer más
An Introduction to Programming Languages

Simultaneous Learning in Multiple Coding Environments

de Paul A. Gagniuc ...

Series series Synthesis Collection of Technology (R0)
This book presents a unique comparative framework that teaches programming through parallel exposure to multiple languages. Rather than focusing on a single syntax, this book reveals the universal principles underlying modern software development by examining mirrored implementations across thirteen programming environments, including C++, C#, Java, JavaScript, Python, PHP, Ruby, Visual Basic, VBA ... Leer más

$727 MXN

This book presents a unique comparative framework that teaches programming through parallel exposure to multiple languages. Rather than focusing on a single syntax, this book reveals the universal principles underlying modern software development by examining mirrored implementations across thirteen programming environments, including C++, C#, Java, JavaScript, Python, PHP, Ruby, Visual Basic, VBA
... Leer más
Professional Microsoft IIS 8

de Kenneth Schaefer, Jeff Cochran, Scott Forsyth, Dennis Glendenning, Benjamin Perkins ...

Stellar author team of Microsoft MVPs helps developers and administrators get the most out of Windows IIS 8If you're a developer or administrator, you'll want to get thoroughly up to speed on Microsoft's new IIS 8 platform with this complete, in-depth reference. Prepare yourself to administer IIS 8 in not only commercial websites and corporate intranets, but also the mass web hosting market with ... Leer más

$750 MXN

Stellar author team of Microsoft MVPs helps developers and administrators get the most out of Windows IIS 8If you're a developer or administrator, you'll want to get thoroughly up to speed on Microsoft's new IIS 8 platform with this complete, in-depth reference. Prepare yourself to administer IIS 8 in not only commercial websites and corporate intranets, but also the mass web hosting market with
... Leer más
Agile Leadership

Secret Practices and Tips for Successful Agile Leader

de Alex Campbell ...

Are you new to leadership but have a history of working with Agile methodology? Are you working with a new team and want to apply agile leadership? Do the younger generations you work with have a different perception of agile methodology? Are you tired of reading the same agile leadership tips time and again?This book was written to break the mold and pull together great leadership practices with ... Leer más

$68 MXN o gratis con Kobo Plus

Are you new to leadership but have a history of working with Agile methodology? Are you working with a new team and want to apply agile leadership? Do the younger generations you work with have a different perception of agile methodology? Are you tired of reading the same agile leadership tips time and again?This book was written to break the mold and pull together great leadership practices with
... Leer más
Agile Project Management with Scrum

How to Become a Great Project Manager

de Alex Campbell ...

Discover the secrets to becoming an excellent project manager!Do you want to become a better project manager?What skills can you improve to do your job more efficiently?How can you implement an agile methodology to improve your team’s productivity?What mistakes should you avoid while managing your team or a project?Do you want to discover the answers to these questions? If yes, this is the perfect ... Leer más

$68 MXN o gratis con Kobo Plus

Discover the secrets to becoming an excellent project manager!Do you want to become a better project manager?What skills can you improve to do your job more efficiently?How can you implement an agile methodology to improve your team’s productivity?What mistakes should you avoid while managing your team or a project?Do you want to discover the answers to these questions? If yes, this is the perfect
... Leer más
The Kubernetes Trap

When Orchestration Costs More Than It Saves - An Honest Evaluation for Teams Who Don't Actually Need K8s Yet

de Imad Muratspahic ...

When Orchestration Costs More Than It Saves - An Honest Evaluation for Teams Who Don't Actually Need K8s Yet ... Leer más

$174 MXN o gratis con Kobo Plus

When Orchestration Costs More Than It Saves - An Honest Evaluation for Teams Who Don't Actually Need K8s Yet
... 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 Desarrollo de software

Formal Methods: Foundations and Applications

NASA Formal Methods

Chinese Lexical Semantics

End-User Development

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Computational Science – ICCS 2023

Automated Technology for Verification and Analysis

Supercomputing

Finite Difference Methods,Theory and Applications

Web Information Systems Engineering – WISE 2015

Algorithms and Architectures for Parallel Processing

Advances in Cryptology – CRYPTO 2020

Security Protocols XXVII

Diagrammatic Representation and Inference

Advances in Cryptology – CRYPTO 2020

Services Computing – SCC 2020

Theoretical Aspects of Computing – ICTAC 2020

Provable and Practical Security

Deductive Software Verification: Future Perspectives

An Introduction to Programming Languages

Professional Microsoft IIS 8

Agile Leadership

Agile Project Management with Scrum

The Kubernetes Trap