
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...

Story, in the largest sense of the term, is arguably the single most important aspect of narrative. But with the proliferation of antimimetic writing, traditional narrative theory has been inadequate for conceptualizing and theorizing a vast body of innovative narratives. In A Poetics of Plot for the Twenty-First Century: Theorizing Unruly Narrativ...

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 ...

Legal studies and consequently legal history focus on constitutional documents, believing in a nominalist autonomy of constitutional semantics.Reconsidering Constitutional Formation in the late 18th and 19th century, kept historic constitutions from being simply log-books for political experts through a functional approach to the interdependencies ...

When processing text files, the awk language is ideal for handling data extraction, reporting, and data-reformatting jobs. This practical guide serves as both a reference and tutorial for POSIX-standard awk and for the GNU implementation, called gawk. This book is useful for novices and awk experts alike.
In this thoroughly revised 5th edition, ...

This open access book is a unique resource for health professionals who are interested in understanding the philosophical foundations of their daily practice. It provides tools for untangling the motivations and rationality behind the way medicine and healthcare is studied, evaluated and practiced. In particular, it illustrates the impact that thin...