Covers numerical simulations with industrial civil engineering applications such as bridges and dams, cyclic loading, fluid ...
Lire la suite
Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
Lire la suite
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
Lire la suite
This book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lire la suite
It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
Lire la suite
This book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
Lire la suiteThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
Lire la suite
The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
Lire la suite
Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...
Lire la suite
The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
Lire la suite
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
Lire la suite
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security ...
Lire la suite
This book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
Lire la suite
This book provides a comprehensive account of a modern generalisation of differential geometry in which coordinates need ...
Lire la suite
tarting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required ...
Lire la suite
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suite
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Lire la suite
Presents principles of RAC, including theories and experiments Describes advanced behavior and properties Covers specifications ...
Lire la suite
Explores the use of novel waste materials in the construction industry as sustainable and environmentally friendly alternatives ...
Lire la suite
Rehabilitation of Concrete Structures with Fiber Reinforced Polymer is a complete guide to the use of FRP in flexural, shear ...
Lire la suite