Informatik (15 755 Artikel)

This book constitutes the refereed proceedings of four workshops held at the 25th International Conference on Financial Cryptography and Data Security, FC 2021, held virtually, in March 2021.

This book constitutes revised selected papers from the workshops that were affiliated with the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in ...

This book constitutes the revised selected papers from the workshops affiliated with the 27th International Conference on Financial Cryptography and Data Security, FC 2023, which took place in Bol,...

Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers

Financial Software Engineering

6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

This book constitutes the refereed conference proceedings of the 7th International Conference on Finite Difference Methods, FDM 2018, held in Lozenetz, Bulgaria, in June 2018.The 69 revised full pa...

Das Buch geht über die Beschreibung der Methode oder spezieller Programme weit hinaus: Es bietet einen relativ einfachen Zugang, indem lediglich geringe mathematische Vorkenntnisse (Differentialgle...

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complex...

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complex...

This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus...

FVCA 9, Bergen, Norway, June 2020

FVCA 9, Bergen, Norway, June 2020

Invited Lectures.- Characterizations of Regularity.- Finnish Optimality-Theoretic Prosody.- Contributed Papers.- Partitioning Multitape Transducers.- Squeezing the Infinite into the Finite.- A Nove...

An Introduction