Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday /
This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers. After foundational Ph.D. work at Stanford University under the mentorship of Jo...
محفوظ في:
| مؤلف مشترك: | SpringerLink (Online service) |
|---|---|
| مؤلفون آخرون: | Barik, Rajkishore (المحرر), Gupta, Rajiv (المحرر), Palsberg, Jens (المحرر) |
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| الطبعة: | 1st ed. 2025. |
| سلاسل: | Lecture Notes in Computer Science,
14564 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.1007/978-3-031-97492-2 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
منشور في: (2025)
منشور في: (2025)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
منشور في: (2025)
منشور في: (2025)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
منشور في: (2025)
منشور في: (2025)
Structures of Computing A Guide to Practice-Oriented Theory /
حسب: Börger, Egon, وآخرون
منشور في: (2024)
حسب: Börger, Egon, وآخرون
منشور في: (2024)
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
منشور في: (2023)
منشور في: (2023)
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
منشور في: (2023)
منشور في: (2023)
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /
منشور في: (2025)
منشور في: (2025)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
منشور في: (2023)
منشور في: (2023)
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
منشور في: (2025)
منشور في: (2025)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
منشور في: (2024)
منشور في: (2024)
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
منشور في: (2025)
منشور في: (2025)
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
منشور في: (2025)
منشور في: (2025)
Concise Guide to Software Verification From Model Checking to Annotation Checking /
حسب: Huisman, Marieke, وآخرون
منشور في: (2023)
حسب: Huisman, Marieke, وآخرون
منشور في: (2023)
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
منشور في: (2023)
منشور في: (2023)
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX /
حسب: Diehl, Patrick, وآخرون
منشور في: (2024)
حسب: Diehl, Patrick, وآخرون
منشور في: (2024)
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings /
منشور في: (2024)
منشور في: (2024)
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings /
منشور في: (2023)
منشور في: (2023)
Software Ecosystems Tooling and Analytics /
منشور في: (2023)
منشور في: (2023)
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques /
حسب: Hu, Chenglie
منشور في: (2023)
حسب: Hu, Chenglie
منشور في: (2023)
Managing Software Supply Chains Theory and Practice /
حسب: Wang, Ying, وآخرون
منشور في: (2025)
حسب: Wang, Ying, وآخرون
منشور في: (2025)
Software Architecture Research Roadmaps from the Community /
منشور في: (2023)
منشور في: (2023)
Software Architectures Topics Usually Missed in Textbooks /
حسب: Nagl, Manfred, وآخرون
منشور في: (2024)
حسب: Nagl, Manfred, وآخرون
منشور في: (2024)
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings /
منشور في: (2023)
منشور في: (2023)
Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
منشور في: (2025)
منشور في: (2025)
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part II /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part I /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part V /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part III /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2024 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VII /
منشور في: (2024)
منشور في: (2024)
Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part V /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part I /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part III /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part IV /
منشور في: (2025)
منشور في: (2025)
Computational Science – ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II /
منشور في: (2025)
منشور في: (2025)
مواد مشابهة
-
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
منشور في: (2025) -
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
منشور في: (2025) -
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
منشور في: (2025) -
Structures of Computing A Guide to Practice-Oriented Theory /
حسب: Börger, Egon, وآخرون
منشور في: (2024) -
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
منشور في: (2023)