Zobrazeno 1 - 10
of 621
pro vyhledávání: '"789"'
Autor:
Sochat, Vanessa1 sochat1@llnl.gov
Publikováno v:
Communications of the ACM. May2021, Vol. 64 Issue 5, p32-36. 5p. 1 Diagram.
Autor:
Naoki Kobayashi, Benjamin C. Pierce
This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software (TACS 2001) held at Tohoku U- versity, Sendai, Japan in October 2001. The TACS symposium focuses on the theoretical foundations
Autor:
Jacob D. Oury, Frank E. Ritter
This'Open Access'SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers
Autor:
Achilleas Anagnostopoulos
Explore software engineering methodologies, techniques, and best practices in Go programming to build easy-to-maintain software that can effortlessly scale on demandKey FeaturesApply best practices to produce lean, testable, and maintainable Go code
Autor:
Isil Dillig, Serdar Tasiran
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together w
Autor:
Luís Caires
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software,
Autor:
Miguel Botto-Tobar, Marcelo Zambrano Vizuete, Sergio Montes León, Pablo Torres-Carrión, Benjamin Durakovic
The three-volume proceedings set CCIS 2049, 2050 and 2051 constitutes the refereed proceedings of the 5th International Conference on Applied Technologies on International Conference on Applied Technologies, ICAT 2023, held in Samborondon, Ecuador, N
Autor:
Joachim L. Zuckarelli
Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how
Autor:
Arie Gurfinkel, Vijay Ganesh
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the fron
This five-volume set LNCS 14712-14716 constitutes the refereed proceedings of the 13th International Conference on Design, User Experience, and Usability, DUXU 2024, held as part of the 26th International Conference, HCI International 2024, in Washin