Filter by
Agile Processes in Software Engineering and Extreme Programming – Workshops…
This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practic…
- Edition
- -
- ISBN/ISSN
- 9783031485503
- Collation
- XV, 232
- Series Title
- 489
- Call Number
- -
Agile Processes in Software Engineering and Extreme Programming: 24th Interna…
This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get t…
- Edition
- -
- ISBN/ISSN
- 9783031339769
- Collation
- XII, 193
- Series Title
- 475
- Call Number
- -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…
- Edition
- 1
- ISBN/ISSN
- 9783031377099
- Collation
- XVII, 502
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, …
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I…
- Edition
- 1
- ISBN/ISSN
- 9783031377037
- Collation
- XVI, 460
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 26th International Conference…
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…
- Edition
- 1
- ISBN/ISSN
- 9783031308260
- Collation
- XVI, 332
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131882
- Collation
- XIX, 549
- Series Title
- -
- Call Number
- -
Arduino Music and Audio Projects
This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create m…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-1721-4
- Collation
- XXIII, 458
- Series Title
- -
- Call Number
- 005.12 COO a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography