Goods and Services of Marine Bivalves

The aim of this open access book is to review and analyse the goods and services of bivalve shellfish. How they are defined, what determines the ecological functions that are the basis for the goods and services, what controversies in the use of goods and services exist, and what is needed for sustainable exploitation of bivalves from the perspective of the various stakeholders. The book is foc…

Finite Difference Computing with Exponential Decay Models

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book i…

Human and Organisational Factors : Practices and Strategies for a Changing World

Edition

-

ISBN/ISSN

978-3-030-25639-5

Collation

VIII, 138

Series Title

-

Call Number

-

Physiology, Psychoacoustics and Cognition in Normal and Impaired Hearing

Buku ini merupakan Prosiding Simposium Internasional Pendengaran (ISH) ke-17, yang diselenggarakan pada tanggal 15-19 Juni 2015 di Groningen, Belanda. Pertemuan ini melanjutkan tradisi konferensi yang telah dimulai sejak tahun 1969 dan telah diadakan setiap 3 tahun sekali. Ini adalah pertemuan ISH kedua yang berlangsung di Groningen. Penekanan dari seri ISH secara tradisional adalah menyatukan …

Fundamental Approaches to Software Engineering: 24th International Conference…

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…

he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…

Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…

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 with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following top…

Computer Aided Verification: 31st International Conference, CAV 2019, New Yor…

The 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 with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following to…

Tools and Algorithms for the Construction and Analysis of Systems: 26th Inter…

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …