the six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14thinternationalconference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 201...
详细信息
ISBN:
(数字)9783319091440
ISBN:
(纸本)9783319091433
the six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14thinternationalconference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 2014. the 347 revised papers presented in 30 workshops and a special track were carefully reviewed and selected from 1167 initial submissions. the 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
this book constitutes selected papers from the refereed proceedings of the 14thinternational Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.;the 9 full papers incl...
详细信息
ISBN:
(数字)9783031124419
ISBN:
(纸本)9783031124402
this book constitutes selected papers from the refereed proceedings of the 14thinternational Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.;the 9 full papers included in this book were carefully reviewed and selected from 13 submissions. they focus on topics in rewriting logic and its applications. the book also contains 2 invited papers, 2 invited tutorials and an experience report.
the six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14thinternationalconference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 201...
详细信息
ISBN:
(数字)9783319091532
ISBN:
(纸本)9783319091525
the six-volume set LNCS 8579-8584 constitutes the refereed proceedings of the 14thinternationalconference on Computational Science and Its Applications, ICCSA 2014, held in Guimarães, Portugal, in June/July 2014. the 347 revised papers presented in 30 workshops and a special track were carefully reviewed and selected from 1167. the 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
this book constitutes the refereed proceedings of the 14thinternationalconference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. the 20 full papers presented were carefully reviewed a...
详细信息
ISBN:
(数字)9783030625764
ISBN:
(纸本)9783030625757
this book constitutes the refereed proceedings of the 14thinternationalconference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. the 20 full papers presented were carefully reviewed and selected from 59 submissions. the papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. they are divided in the following topical sections: signature schemes, encryption schemes and NIZKS, secure machine learning and multiparty computation, secret sharing schemes, and security analyses.
暂无评论