Rakuten Kobo

Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings

Modifié par Fuyuki Ishikawa, Alcino Cunha ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and ... En savoir plus

$93.99 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and
... En savoir plus
Introduction to Concurrency in Programming Languages

par Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... En savoir plus

$115.99 CAD

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... En savoir plus
Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Modifié par Andreas Herzig, Jieting Luo, Pere Pardo ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... En savoir plus

$83.99 CAD

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and
... En savoir plus
Einführung in UML

Analyse und Entwurf von Software

par Hendrik Jan van Randen, Christian Bercker, Julian Fieml ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und ... En savoir plus

$42.99 CAD

Dieses Buch beschreibt klar und prägnant die Kerneigenschaften von UML und zeigt, wie die Modellierungssprache die Analyse und den Entwurf von Software unterstützt. Der Autor Hendrik Jan van Randen greift dafür auf seinen breiten Erfahrungsschatz aus zahlreichen Praxissituationen zurück, der ihm dank langjähriger Tätigkeit als Softwarearchitekt zur Verfügung steht.Das Buch bietet eine solide und
... En savoir plus
Pro .NET Framework with the Base Class Library

Understanding the Virtual Execution System and the Common Type System

par Roger Villela ...

Collections series Professional and Applied Computing (R0)
Learn about the fundamentals and inner workings of the Common Type System (CTS) and the Virtual Execution System (VES) of the Common Language Runtime (CLR) and how they relate to the Base Class Library (BCL) from the perspective of the execution environment.The author first gives an introduction to the .NET Framework and describes the architectural and engineering resources required when ... En savoir plus

$44.99 CAD

Learn about the fundamentals and inner workings of the Common Type System (CTS) and the Virtual Execution System (VES) of the Common Language Runtime (CLR) and how they relate to the Base Class Library (BCL) from the perspective of the execution environment.The author first gives an introduction to the .NET Framework and describes the architectural and engineering resources required when
... En savoir plus
Formal Methods and Software Engineering

26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

Modifié par Étienne André, Jingyi Wang, Naijun Zhan ...

Collections series Springer Nature Proceedings Computer Science
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical ... En savoir plus

$93.99 CAD

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical
... En savoir plus
Database Systems for Advanced Applications. DASFAA 2024 International Workshops

BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Modifié par Atsuyuki Morishima, Guoliang Li, Yoshiharu Ishikawa, Sihem Amer-Yahia, H. V. Jagadish, Kejing Lu ...

Collections series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th ... En savoir plus

$96.99 CAD

This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th
... En savoir plus
Pro Perl Programming

From Professional to Advanced

par William "Bo" Rothwell ...

Collections series Professional and Applied Computing (R0)
Master intermediate to advanced techniques of the Perl programming language starting with a focus on regular expressions and some of their advanced features. This book then covers other pro-level features, including formatted output, file handling, and more.Additionally, you'll learn and explore the most useful built-in variables, pragmas, and modules available in the Perl language. Furthermore, ... En savoir plus

$80.99 CAD

Master intermediate to advanced techniques of the Perl programming language starting with a focus on regular expressions and some of their advanced features. This book then covers other pro-level features, including formatted output, file handling, and more.Additionally, you'll learn and explore the most useful built-in variables, pragmas, and modules available in the Perl language. Furthermore,
... En savoir plus
Introducing Jakarta EE CDI

Contexts and Dependency Injection for Enterprise Java Development

par Luqman Saeed ...

Collections series Professional and Applied Computing (R0)
Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding ... En savoir plus

$56.99 CAD

Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding
... En savoir plus
Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

Modifié par Bruno C. d. S. Oliveira ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation,
... En savoir plus
Java 17 Recipes

A Problem-Solution Approach

par Josh Juneau, Luciano Manelli ...

Collections series Professional and Applied Computing (R0)
Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!Java 17 Recipes is updated to reflect changes in specification and implementation since ... En savoir plus

$80.99 CAD

Quickly find solutions to dozens of common programming problems encountered while building Java applications, with recipes presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!Java 17 Recipes is updated to reflect changes in specification and implementation since
... En savoir plus
Quality of Information and Communications Technology

12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Modifié par Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019.The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security & privacy, requirements engineering, business ... En savoir plus

$96.99 CAD

This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019.The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security & privacy, requirements engineering, business
... En savoir plus
Central European Functional Programming School

6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Modifié par Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth ...

Collections series Computer Science (R0)
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. ... En savoir plus

$83.99 CAD

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
... En savoir plus
Learn to Program with Python 3

A Step-by-Step Guide to Programming

par Irv Kalb ...

Collections series Professional and Applied Computing (R0)
Move from zero knowledge of programming to comfortably writing small to medium-sized programs in Python. Fully updated for Python 3, with code and examples throughout, the book explains Python coding with an accessible, step-by-step approach designed to bring you comfortably into the world of software development.Real–world analogies make the material understandable, with a wide variety of well ... En savoir plus

$68.99 CAD

Move from zero knowledge of programming to comfortably writing small to medium-sized programs in Python. Fully updated for Python 3, with code and examples throughout, the book explains Python coding with an accessible, step-by-step approach designed to bring you comfortably into the world of software development.Real–world analogies make the material understandable, with a wide variety of well
... En savoir plus
TypeScript Programming In Action

Code Editing For Software Engineers

par Rob Botwright ...

�� Introducing TypeScript Programming in Action - Your Ultimate Guide to Mastery! ��Are you ready to embark on a transformative journey into the world of TypeScript, one of the most powerful tools in the realm of web development? Look no further because we have curated the perfect bundle for you - "TypeScript Programming in Action: Code Editing for Software Engineers."�� What's Inside the ... En savoir plus

$9.99 CAD

�� Introducing TypeScript Programming in Action - Your Ultimate Guide to Mastery! ��Are you ready to embark on a transformative journey into the world of TypeScript, one of the most powerful tools in the realm of web development? Look no further because we have curated the perfect bundle for you - "TypeScript Programming in Action: Code Editing for Software Engineers."�� What's Inside the
... En savoir plus
Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Modifié par Alberto Lluch Lafuente, Anastasia Mavridou ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from
... En savoir plus
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Modifié par Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI ... En savoir plus

$73.99 CAD

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI
... En savoir plus
Service-Oriented Computing – ICSOC 2016 Workshops

ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

Modifié par Yuhong Yan, Sami Bhiri, François Charoy, Jan Mendling, Qi Yu, Khalil Drira, Zhongjie Wang, Yan Wang, Mohamed Mohamed, Hongbing Wang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst ... En savoir plus

$64.99 CAD

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016.The ICSOC 2016 workshop track consisted of three workshops on a wide range of topics that fall into the general area of service computing:ASOCA 2016: The rst
... En savoir plus
Practical R 4

Applying R to Data Manipulation, Processing and Integration

par Jon Westfall ...

Collections series Professional and Applied Computing (R0)
Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey ... En savoir plus

$75.99 CAD

Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey
... En savoir plus
Graph Transformation

17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings

Modifié par Russ Harmer, Jens Kosiol ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024.The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool ... En savoir plus

$83.99 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024.The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool
... En savoir plus
Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

par Antonello Lobianco ...

Collections series Professional and Applied Computing (R0)
Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions, ... En savoir plus

$68.99 CAD

Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions,
... En savoir plus
OpenMP: Balancing Productivity and Performance Portability

21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings

Modifié par Yonghong Yan, Michael Klemm, Bronis R. de Supinski, Erik Saule, Jannis Klinkenberg, Swaroop Pophale ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 – October 3, 2025The 14 full papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:New Directions: Communication and I/O; New Directions: Handling New Constraints and ... En savoir plus

$73.99 CAD

This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 – October 3, 2025The 14 full papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows:New Directions: Communication and I/O; New Directions: Handling New Constraints and
... En savoir plus
R 4 Quick Syntax Reference

A Pocket Guide to the Language, API's and Library

par Margot Tollefson ...

Collections series Professional and Applied Computing (R0)
This handy reference book detailing the intricacies of R covers version 4.x features, including numerous and significant changes to syntax, strings, reference counting, grid units, and more.Starting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required to make R work. You will find looking up the correct form for an expression ... En savoir plus

$68.99 CAD

This handy reference book detailing the intricacies of R covers version 4.x features, including numerous and significant changes to syntax, strings, reference counting, grid units, and more.Starting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required to make R work. You will find looking up the correct form for an expression
... En savoir plus
Python Unit Test Automation

Automate, Organize, and Execute Unit Tests in Python

par Ashwin Pajankar ...

Collections series Professional and Applied Computing (R0)
Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an ... En savoir plus

$68.99 CAD

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :