Zobrazeno 1 - 3
of 3
pro vyhledávání: '"789"'
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:
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,