This tutorial introduces libelf, a library for reading and writing object code in the Extensible Linking Format (ELF) file format.
- Getting started with libelf: obtaining a handle to an ELF object, establishing a working ELF version, and handling errors reported by libelf.
- How ELF data structures are laid out in-memory and on disk, the notions...
This book makes JavaScript less challenging to learn for newcomers, by offering a modern view that is as consistent as possible.
Highlights:
- Get started quickly, by initially focusing on modern features.
- Test-driven exercises and quizzes available for most chapters.
- Covers all essential features of JavaScript, up to and including ES2020...
Introduction to engineering mechanics: statics, for those who love to learn. Concepts include: particles and rigid body equilibrium equations, distributed loads, shear and moment diagrams, trusses, method of joints and sections, & inertia.
This is the first of two courses to describe how objects move and the forces that cause motion. This co...
Higher education in Europe and beyond faces a series of major challenges. The economic crisis has accelerated expectations of an increased role in addressing economic and societal challenges while, at the same time, putting pressure on available finances. Broader trends such as shifting student demographics and expectations, globalisation and mobil...
The aim of this book is to facilitate the identification and description of the different organs as well as pathogens and diseases affecting the most representative species of cephalopods focussed on Sepia officinalis, Loligo vulgaris and Octopus vulgaris. These species are valuable 'morphotype' models and belong to the taxonomic groups S...
Arising from a scientific conference marking the 100th anniversary of her birth, this book honors the life and work of the social scientist and diplomat Ester Boserup, who blazed new trails in her interdisciplinary approach to development and sustainability. The contents are organized in three sections reflecting important focal points of Boserup&...
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.
The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classific...
This book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.
XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main th...
This book is open access under a Creative Commons license.This authoritative book presents the ever progressing state of the art in evaluating climate change strategies and action. It builds upon a selection of relevant and practical papers and presentations given at the 2nd International Conference on Evaluating Climate Change and Development held...
Drawing on new research material from ten European countries, Asylum Determination in Europe: Ethnographic Perspectives brings together a range of detailed accounts of the legal and bureaucratic processes by which asylum claims are decided.The book includes a legal overview of European asylum determination procedures, followed by sections on the di...
This book constitutes the proceedings of the 18th International Conference on Agile Software Development, XP 2017, held in Cologne, Germany, in May 2017.
The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: improving agile processes; agile i...
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on ...
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
The purpose of this Open Access compendium, written by experienced researchers in mathematics education, is to serve as a resource for early career researchers in furthering their knowledge of the state of the field and disseminating their research through publishing. To accomplish this, the book is split into four sections: Empirical Methods, Impo...
The book uses an economic lens to identify the main features of climate-smart agriculture (CSA), its likely impact, and the challenges associated with its implementation. Drawing upon theory and concepts from agricultural development, institutional, and resource economics, this book expands and formalizes the conceptual foundations of CSA. Focusing...
This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The ...
This book covers essential aspects of transmutation technologies, highlighting especially the advances in Japan. The accident at the Fukushima Daiichi Nuclear Power Plant (NPP) has caused us to focus attention on a large amount of spent nuclear fuels stored in NPPs. In addition, public anxiety regarding the treatment and disposal of high-level radi...
The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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, ETAPS 2019.
The tot...
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems at the genomic level, and elaborates on some promising strategies that would bring us closer to uncovering of the vital relationships between genotype and phenotype. After a few educational primers, the book continues with sectio...
This book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019.
XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and...
This book provides insight into what it takes to actively involve teachers in the curriculum design process. It examines different aspects of teacher involvement in collaborative curriculum design, with specific attention to its implications for sustainable curriculum innovation and teacher learning. Divided into six sections, the book starts out b...
The book 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 organ...
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
This book shares revealing insights into the development of mathematics education research in Germany from 1976 (ICME 3 in Karlsruhe) to 2016 (ICME 13 in Hamburg). How did mathematics education research evolve in the course of these four decades? Which ideas and people were most influential, and how did German research interact with the internation...
This book, inspired by the ICME 13 topic study group "Affect, beliefs and identity in mathematics education", presents the latest trends in research in the area. Following an introduction and a survey chapter providing a concise overview of the state-of-art in the field of mathematics-related affect, the book is divided into three main se...
This book offers an analytical presentation of how Europe has created its own version of collective actions. In the last three decades, Europe has seen a remarkable proliferation of collective action legislation, making class actions the most successful export product of the American legal scholarship. While its spread has been surrounded by distru...
This book focuses on the formation and later socio-spatial trajectories of large housing estates in the Baltic countries - Estonia, Latvia, and Lithuania. It also explores claims that a distinctly "westward-looking orientation" in their design produced housing estates that were superior in design to those produced elsewhere in the Soviet ...
This book describes the extensive contributions made toward the advancement of human assessment by scientists from one of the world's leading research institutions, Educational Testing Service. The book's four major sections detail research and development in measurement and statistics, education policy analysis and evaluation, scienti...
This book provides a concise explanation of the fundamentals and background of the surround sound recording and playback technology Ambisonics. It equips readers with the psychoacoustical, signal processing, acoustical, and mathematical knowledge needed to understand the inner workings of modern processing utilities, special equipment for recording...
This is the first machine-generated scientific book in chemistry published by Springer Nature. Serving as an innovative prototype defining the current status of the technology, it also provides an overview about the latest trends of lithium-ion batteries research.This book explores future ways of informing researchers and professionals. State-of-th...
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapte...
This book offers both conceptual and empirical descriptions of how to "frame" sustainability challenges. It defines "framing" in the context of sustainability science as the process of identifying subjects, setting boundaries, and defining problems. The chapters are grouped into two sections: a conceptual section and a case sect...