Développement de logiciels eBooks

Formal Methods: Foundations and Applications

26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Modifié par Haniel Barbosa, Yoni Zohar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification ... En savoir plus

$70.49 CAD

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification
... En savoir plus
Testing Software and Systems

35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

Modifié par Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and ... En savoir plus

$89.69 CAD

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and
... En savoir plus
Learn JavaFX 17

Building User Experience and Interfaces with Java

par Kishori Sharan, Peter Späth ...

Collections series Professional and Applied Computing (R0)
This unique in-depth tutorial shows you how to start developing rich-client desktop applications using your Java skills and provides comprehensive coverage of JavaFX 17's features. Each chapter starts with an introduction to the topic at hand, followed by a step-by-step discussion of the topic with small snippets of code. The book contains numerous figures aiding readers in visualizing the GUI ... En savoir plus

$80.19 CAD

This unique in-depth tutorial shows you how to start developing rich-client desktop applications using your Java skills and provides comprehensive coverage of JavaFX 17's features. Each chapter starts with an introduction to the topic at hand, followed by a step-by-step discussion of the topic with small snippets of code. The book contains numerous figures aiding readers in visualizing the GUI
... En savoir plus
Edge Computing – EDGE 2023

7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

Modifié par Jun Feng, Frank Jiang, Min Luo, Liang-Jie Zhang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17–18, 2023.The 8 full papers in this book were carefully reviewed and selected from 14 submissions. They were organized in topical sections as follows: Practice of Edge Computing, identify emerging research topics, and define the future of Edge ... En savoir plus

$70.49 CAD

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17–18, 2023.The 8 full papers in this book were carefully reviewed and selected from 14 submissions. They were organized in topical sections as follows: Practice of Edge Computing, identify emerging research topics, and define the future of Edge
... En savoir plus
Parallel Computing Technologies

17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings

Modifié par Victor Malyshkin ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023.The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and ... En savoir plus

$83.29 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023.The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and
... En savoir plus
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers

Modifié par Stephen Poole, Oscar Hernandez, Matthew Baker, Tony Curtis ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and
... En savoir plus
Economics of Grids, Clouds, Systems, and Services

17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers

Modifié par Karim Djemame, Jörn Altmann, José Ángel Bañares, Orna Agmon Ben-Yehuda, Vlado Stankovski, Bruno Tuffin ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020. Due to COVID-19 pandemic the conference was held virtually by the University of Ljubljana.The 11 full papers and 9 short papers presented in this book were carefully reviewed and selected from 40 ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2020, held in Izola, Slovenia, in September 2020. Due to COVID-19 pandemic the conference was held virtually by the University of Ljubljana.The 11 full papers and 9 short papers presented in this book were carefully reviewed and selected from 40
... En savoir plus
Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Modifié par Marsha Chechik, Joost-Pieter Katoen, Martin Leucker ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and ... En savoir plus

$115.29 CAD

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and
... En savoir plus
Software Quality: Higher Software Quality through Zero Waste Development

15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

Modifié par Daniel Mendez, Dietmar Winkler, Johannes Kross, Stefan Biffl, Johannes Bergsmann ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new ... En savoir plus

$70.49 CAD

This book constitutes the refereed proceedings of the 15th Software Quality Days Conference, SWQD 2023, held in Munich, Germany, during May 23-25, 2023.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new
... En savoir plus
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Modifié par Loek Cleophas, Mieke Massink ...

Collections series Springer Nature Proceedings Computer Science
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that ... En savoir plus

$64.09 CAD

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that
... En savoir plus
Advanced Information Systems Engineering Workshops

CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings

Modifié par Marcela Ruiz, Pnina Soffer ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023.The workshops included in this volume are:· 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent ... En savoir plus

$70.49 CAD

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023.The workshops included in this volume are:· 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent
... En savoir plus
Software Architecture. ECSA 2022 Tracks and Workshops

Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers

Modifié par Thais Batista, Tomáš Bureš, Claudia Raibulet, Henry Muccini ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into ... En savoir plus

$108.89 CAD

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022.The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into
... En savoir plus
AI and ML for Coders in PyTorch

A Coder's Guide to Generative AI and Machine Learning

par Laurence Moroney ...

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative ... En savoir plus

$67.99 CAD

Eager to learn AI and machine learning but unsure where to start? Laurence Moroney's hands-on, code-first guide demystifies complex AI concepts without relying on advanced mathematics. Designed for programmers, it focuses on practical applications using PyTorch, helping you build real-world models without feeling overwhelmed.From computer vision and natural language processing (NLP) to generative
... En savoir plus
Edge Computing – EDGE 2022

6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings

Modifié par Min Luo, Liang-Jie Zhang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.The 5 full and 2 short papers presented in this volume were carefully reviewed and selected from 16 submissions.The International Conference on Edge Computing (EDGE) aims to become a prime ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.The 5 full and 2 short papers presented in this volume were carefully reviewed and selected from 16 submissions.The International Conference on Edge Computing (EDGE) aims to become a prime
... En savoir plus
Implementation and Application of Automata

26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings

Modifié par Pascal Caron, Ludovic Mignot ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and ... En savoir plus

$83.29 CAD

This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. The 16 regular papers presented together with 3 invited lectures in this book were carefully reviewed and selected from 26 submissions. The topics of the papers covering various fields in the application, implementation, and
... En savoir plus
Computational Science – ICCS 2022

22nd International Conference, London, UK, June 21–23, 2022, Proceedings, Part I

Modifié par Derek Groen, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M. A. Sloot ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.*The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full ... En savoir plus

$128.09 CAD

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.*The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full
... En savoir plus
Computational Science and Its Applications – ICCSA 2022 Workshops

Malaga, Spain, July 4–7, 2022, Proceedings, Part IV

Modifié par Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Chiara Garau ...

Collections Livre 4 - Springer Nature Proceedings Computer Science
The eight-volume set LNCS 13375 – 13382 constitutes the proceedings of the 22nd International Conference on Computational Science and Its Applications, ICCSA 2022, which was held in Malaga, Spain during July 4 – 7, 2022.The first two volumes contain the proceedings from ICCSA 2022, which are the 57 full and 24 short papers presented in these books were carefully reviewed and selected from 279 ... En savoir plus

$140.89 CAD

The eight-volume set LNCS 13375 – 13382 constitutes the proceedings of the 22nd International Conference on Computational Science and Its Applications, ICCSA 2022, which was held in Malaga, Spain during July 4 – 7, 2022.The first two volumes contain the proceedings from ICCSA 2022, which are the 57 full and 24 short papers presented in these books were carefully reviewed and selected from 279
... En savoir plus
Job Scheduling Strategies for Parallel Processing

25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

Modifié par Dalibor Klusáček, Corbalán Julita, Gonzalo P. Rodrigo ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the ... En savoir plus

$83.29 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the
... En savoir plus
Tableau for Business Users

Learn to Automate and Simplify Dashboards for Better Decision Making

par Shankar Arul ...

Collections series Professional and Applied Computing (R0)
Learn Tableau by working through concrete examples and issues that you are likely to face in your day-to-day work.Author Shankar Arul starts by teaching you the fundamentals of data analytics before moving on to the core concepts of Tableau. You will learn how to create calculated fields, and about the currently available calculation functionalities in Tableau, including Basic Expressions, Level ... En savoir plus

$56.29 CAD

Learn Tableau by working through concrete examples and issues that you are likely to face in your day-to-day work.Author Shankar Arul starts by teaching you the fundamentals of data analytics before moving on to the core concepts of Tableau. You will learn how to create calculated fields, and about the currently available calculation functionalities in Tableau, including Basic Expressions, Level
... En savoir plus
The Digital Practitioner Foundation Study Guide

par Andrew Josey ...

This is the Digital Practitioner Foundation Study Guide for the DPBoK Part 1 Examination. It gives an overview of every learning objective included in the Digital Practitioner Foundation syllabus, and provides in-depth coverage on preparing and taking the DPBoK Part 1 Examination. It is specifically designed to help individuals prepare for certification. This Study Guide is excellent material for: ... En savoir plus

$72.99 CAD ou Gratuit avec Kobo Plus

This is the Digital Practitioner Foundation Study Guide for the DPBoK Part 1 Examination. It gives an overview of every learning objective included in the Digital Practitioner Foundation syllabus, and provides in-depth coverage on preparing and taking the DPBoK Part 1 Examination. It is specifically designed to help individuals prepare for certification. This Study Guide is excellent material for:
... En savoir plus
Knowledge Discovery, Knowledge Engineering and Knowledge Management

12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers

Modifié par Ana Fred, David Aveiro, Jan Dietz, Ana Salgado, Jorge Bernardino, Joaquim Filipe ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Virtual Event, November 2-4, 2020. The conference was held virtually due to the COVID-19 crisis.The 8 full papers included in this book were carefully reviewed and selected from 133 submissions. ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2020, Virtual Event, November 2-4, 2020. The conference was held virtually due to the COVID-19 crisis.The 8 full papers included in this book were carefully reviewed and selected from 133 submissions.
... En savoir plus
Public-Key Cryptography – PKC 2022

25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I

Modifié par Goichiro Hanaoka, Junji Shikata, Yohei Watanabe ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The two-volume proceedings set LNCS 13177 and 13178 constitutes the refereed proceedings of the 25th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2022, which took place virtually during March 7-11, 2022. The conference was originally planned to take place in Yokohama, Japan, but had to change to an online format due to the COVID-19 pandemic.The 40 papers ... En savoir plus

$115.29 CAD

The two-volume proceedings set LNCS 13177 and 13178 constitutes the refereed proceedings of the 25th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2022, which took place virtually during March 7-11, 2022. The conference was originally planned to take place in Yokohama, Japan, but had to change to an online format due to the COVID-19 pandemic.The 40 papers
... En savoir plus
Diabetic Foot Ulcers Grand Challenge

Third Challenge, DFUC 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings

Modifié par Moi Hoon Yap, Connah Kendrick, Bill Cassidy ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the Third Diabetic Foot Ulcers Grand Challenge, DFUC 2022, which was held on September 2022, in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022 in Singapore. The 8 full papers presented together with 5 challenge papers and 3 post-challenge papers included in this book were carefully reviewed and ... En savoir plus

$70.49 CAD

This book constitutes the Third Diabetic Foot Ulcers Grand Challenge, DFUC 2022, which was held on September 2022, in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022 in Singapore. The 8 full papers presented together with 5 challenge papers and 3 post-challenge papers included in this book were carefully reviewed and
... En savoir plus
Head and Neck Tumor Segmentation

First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

Modifié par Vincent Andrearczyk, Valentin Oreiller, Adrien Depeursinge ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the First 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020. The challenge took place virtually due to the COVID-19 pandemic.The 2 full and 8 short papers presented together with an ... En savoir plus

$64.09 CAD

This book constitutes the First 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020. The challenge took place virtually due to the COVID-19 pandemic.The 2 full and 8 short papers presented together 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 Développement de logiciels

Afficher :