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 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 ...
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...
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 ...
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...
Ability to use information and communication technologies (ICT) is an imperative for effective participation in today's digital age. Schools worldwide are responding to the need to provide young people with that ability. But how effective are they in this regard? The IEA International Computer and Information Literacy Study (ICILS) responded t...