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 pape……続きを見る
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences o……続きを見る
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences o……続きを見る
This book constitutes the refereed proceedings of the 4th International Joint Conference on Learning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, held in ……続きを見る
Explore Visual Studio 2022 and supercharge your .NET development workflow with the latest AI-powered tools and modern application design.
Whether you're a seasoned .NET developer or looking to level……続きを見る
This book constitutes the refereed proceedings of the 21st International Workshop on OpenMP, IWOMP 2025, in Charlotte, NC, USA, during October 1 – October 3, 2025
The 14 full papers included in this……続きを見る
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as ……続きを見る
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, ……続きを見る
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.
The 15 papers included here were carefull……続きを見る
Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build resilient, scalable and high performing microservices, wh……続きを見る
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.
The 22 regular papers, 1 sh……続きを見る
This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8–1……続きを見る
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 f……続きを見る
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.
The 10 full paper……続きを見る
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint C……続きを見る
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as ……続きを見る
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October……続きを見る
Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercise……続きを見る
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.
The 10 full papers and 1 sh……続きを見る
Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein. Es stellt gru……続きを見る
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences o……続きを見る
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences o……続きを見る
Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wic……続きを見る
Create games from start to finish while learning game design and programming principles using the GameMaker Studio 2 game engine and GameMaker Language (GML).
Game Development with GameMaker Studio ……続きを見る
著者:Bill Hamilton
出版社: O'Reilly Media
発売日: 2009年02月09日
Few .NET developers have the luxury of unlimited code testing once their application is complete, and rushing through the testing process is both problematic and stressful. The open source NUnit fra……続きを見る
Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage……続きを見る
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jej……続きを見る
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28,……続きを見る
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
Static analysis is widely recognized as a fu……続きを見る
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23–25, 20……続きを見る