Tabla de Contenidos: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Completion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution)…”

Tabla de Contenidos: “…-- Amnon Reichman and Giovanni Sartor, Algorithms and regulation -- Angela Daly, Thilo Hagendorff, Li Hui, Monique Mann, Vidushi Marda, Ben Wagner, Wayne Wei Wang, Artificial Intelligence, governance and ethics : global perspectives -- Pieter Vancleynenbreugel, EU by-design regulation in the algorithmic society : promising way forward or constitutional nightmare in-the-making? -- Henrik Palmer Olsen, Jacob Livingston Slosser and Thomas Troels Hildebrandt, What's in the box? …”

Tabla de Contenidos: “…Part 1: Approaching an Intelligent System Project -- Chapter 1: Introducing Intelligent Systems -- Chapter 2: Knowing When to Use Intelligent Systems -- Chapter 3: A Brief Refresher on Working with Data -- Chapter 4: Defining the Intelligent System's Goals -- Part 2: Intelligent Experiences -- Chapter 5: The Components of Intelligent Experiences -- Chapter 6: Why Creating Intelligence Experiences Is Hard -- Chapter 7: Balancing Intelligent Experiences -- Chapter 8: Modes of Intelligent Interaction -- Chapter 9: Getting Data from Experience -- Chapter 10: Verifying Intelligent Experiences -- Part 3: Implementing Intelligence -- Chapter 11: The Components of an Intelligence Implementation -- Chapter 12: The Intelligence Runtime -- Chapter 13: Where Intelligence Lives -- Chapter 14: Intelligence Management -- Chapter 15: Intelligent Telemetry -- Part 4: Creating Intelligence -- Chapter 16: Overview of Intelligence -- Chapter 17: Representing Intelligence -- Chapter 18: The Intelligence Creation Process -- Chapter 19: Evaluating Intelligence -- Chapter 20: Machine Learning Intelligence -- Chapter 21: Organizing Intelligence -- Part 5: Orchestrating Intelligent Systems -- Chapter 22: Overview of Intelligence Orchestration -- Chapter 23: The Intelligence Orchestration Environment -- Chapter 24: Dealing with Mistakes -- Chapter 25: Adversaries and Abuse -- Chapter 26: Approaching Your Own Intelligent System -- …”

Tabla de Contenidos: “…Alica Strecker, Jonas Becker, Felix Buchhaupt, Dieter Katzenbach, Deborah Lutz & Michael Urban / Qualifizierung für Inklusion im Elementarbereich - zur Kontextualisierung der Erträge eines aktuellen Forschungsprogramms -- Mirjam Christ / Inklusion forschend auf die Spur kommen - ein Lernprinzip in der Ausbildung von Erzieher:innen -- Anja Stolakis, Sven Hohmann, Eric Simon, Elena Sterdt, Jörn Borke, Annette Schmitt & Matthias Morfeld / Inklusion als Querschnittsthema in der Lehre Lehr/Lernmaterialen für früh- und kindheitspädagogische Studiengänge -- Dörte Weltzien & Timm Albers / Instrumente zur Einschätzung von Inklusionsprozessen in Kindertageseinrichtungen - Einblicke in das Projekt InkluKiT -- Isabell Krähnert, Katja Zehbe & Peter Cloos / Elterngespräche als vulnerante Settings in inklusiven Kontexten - Fallorientiertes Lernen in der Qualifizierung für inklusive Bildung -- Anika Bürgermeister, Laura Venitz, Katharina Junge, Miriam Leuchter, Mirjam Steffensky, Ilonca Hardy & Henrik Saalbach / Qualifizierung von pädagogischen Fachkräften für die Durchführung eines naturwissenschaftlichen, inklusiven und adaptiven Bildungsangebotes -- Barbara Hänel-Faulhaber, Madlen Goppelt-Kunkel, Maren Schüler, Janne Braband & Franziska Sterner / "Unterstützte Kommunikation für alle" als inklusives Lehr- und Lernfeld in Kindertageseinrichtungen -- Stefanie K. …”

Tabla de Contenidos: “…Holtzman and J. Martin H. Hunter -- How to prevent delay and disruption of arbitration : lessons of the 1990 ICCA Stockholm Congress / Howard M. …”

Tabla de Contenidos: “…Real-Time Systems -- Hierarchical Scheduling with Ada 2005 -- A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications -- POSIX Trace Based Behavioural Reflection -- Static Analysis -- Static Detection of Access Anomalies in Ada95 -- One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code -- Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering -- Verification -- SPARK Annotations Within Executable UML -- Runtime Verification of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations in Untrusted Hosts -- A Systematic Approach to Developing Safe Tele-operated Robots -- Towards Developing Multi-agent Systems in Ada -- Reliability -- A Software Reliability Model Based on a Geometric Sequence of Failure Rates -- Adaptive Random Testing Through Iterative Partitioning -- Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems -- Compilers -- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ -- Using Mathematics to Improve Ada Compiled Code -- Distributed Systems -- Replication-Aware Transactions: How to Roll a Transaction over Failures -- The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems -- Interchangeable Scheduling Policies in Real-Time Middleware for Distribution…”

Tabla de Contenidos: “…Foreword -- Acknowledgments -- List of Illustrations and Tables -- Notes on Contributors -- Introduction -- Chiara Monaco, Robert Machado and Eleni Bozia -- Part 1: Setting the Standards -- 1 Koines, Standards, and What's behind Them: Capturing Linguistic Norms in Greek Official Writing -- Klaas Bentein -- 2 Orthographic Variation beyond Spelling Mistakes: Tremas and Adscripts in 194 Greek Papyrus Letters -- Winnie Smith -- 3 Menander and the Alexandrian Dialect: the Atticists' Perspective on Menander's Language -- Chiara Monaco -- Part 2: Fashioning Language through Literature and Vice Versa -- 4 Xenophon, Professional Military Vocabulary, and the Formation of the Literary Koine -- Luuk Huitink and Tim Rood -- 5 Forerunner of the Koine or Attic Bee? …”

Tabla de Contenidos: “…Introducing VB 2010 -- Building Visual Basic 2010 Applications -- Core VB 2010 Programming Constructs, Part I -- Core VB 2010 Programming Constructs, Part II -- Defining Encapsulated Class Types -- Understanding Inheritance and Polymorphism -- Understanding Structured Exception Handling -- Understanding Object Lifetime -- Working with Interfaces -- Understanding Generics -- Delegates, Events, and Lambdas -- Advanced VB 2010 Language Features -- LINQ to Objects -- Configuring .NET Assemblies -- Type Reflection, Late Binding, and Attribute-Based Programming -- Processes, AppDomains, and Object Contexts -- Understanding CIL and the Role of Dynamic Assemblies -- Dynamic Types and the Dynamic Language Runtime -- Multithreaded and Parallel Programming -- File I/O and Object Serialization -- ADO.NET Part I: The Connected Layer -- ADO.NET Part II: The Disconnected Layer -- ADO.NET Part III: The Entity Framework -- Introducing LINQ to XML -- Introducing Windows Communication Foundation -- Introducing Windows Workflow Foundation 4.0 -- Introducing Windows Presentation Foundation and XAML -- Programming with WPF Controls -- WPF Graphics Rendering Services -- WPF Resources, Animations, and Styles -- WPF Control Templates and UserControls -- Building ASP.NET Web Pages -- ASP.NET Web Controls, Master Pages, and Themes -- ASP.NET State Management Techniques…”

Tabla de Contenidos: “…, by Julie Grandjean, Jeffrey Hunter, and Erik P. Bucy -- READ THE ROOM: THE EFFECT OF CAMPAIGN EVENT FORMAT ON THE USE OF EMOTIONAL LANGUAGE, by Zachary A. …”

Tabla de Contenidos: “…Allan -- Spoils of Sicily and Their Impact on Late Republican Rome : An Archaeological Perspective / Suzan van de Velde -- Luxuria peregrina (Livy 39.6) : Spolia and Rome's Gastronomic Revolution / Lidewij van Gils and Rebecca Henzel -- Showing and Telling Spolia : The Triumphal Procession of Aemilius Paullus in Plutarch and Diodorus Siculus / Michel Buijs -- 'The Glory of Alexander and Philip Made Spoil by Roman Arms' : The Triumph of Aemilius Paullus in 167 BCE / Rolf Strootman -- Between Triumph and Tragedy : Josephus, Bellum Judaicum 7.121-157 / Luuk Huitink -- Judaea at the Tiber : Sacred Objects from Judaea and Their New Function in Imperial Rome / Eric M. …”

Tabla de Contenidos: “…v.1: Texts from the Roman Empire (texts in Syriac, Greek, Coptic and Latin) / compiled by Sarah Clackson, Erica Hunter, and Samuel N.C. Lieu, in association with Mark Vermes -- v.2: Texts from Iraq and Iran (texts in Syriac, Arabic, Persian and Zoroastrian Middle Persian)/ edited by François de Blois and Nicholas Sims-Williams -- v.3, I: Texts from Central Asia and China : dictionary of Manichaean middle Persian and Parthian / by Desmond Durkin-Meisterernst -- v.3, II: Texts from Central Asia and China : dictionary of Manichaean Sogdian and Bactrian / by Nicholas Sims-Williams and Desmond Durkin-Meisterernst -- v.3, IV: Texts from Central Asia and China : dictionary of Manichaean texts in Chinese…”

Tabla de Contenidos: “…Cooper -- Arabic sources for African history / John Hunwick -- European documents and African history / John Thornton -- Mission and colonial documents / Toyin Falola -- Data collection and interpretation in the social history of Africa / Isaac Olawale Albert -- African economic history : approaches to research / Masao Yoshida -- Signs of time, shapes of thought : the contributions of art history and visual culture to historical methods in Africa / Henry John Drewal -- Methodologies in Yorùbá oral historiography and aesthetics / Diedre Bádéjo -- Local history in post-independent Africa / Bala Achi -- Africa and world-systems analysis : a post-nationalist project? …”

Tabla de Contenidos: “…Brief history of mobile : In the beginning, The evolution of devices, the brick era, the candy bar era, the feature phone era, the Smartphone era, the Touch era -- Mobile ecosystem : Operators, networks, Devices, Platforms, Application frameworks, Java, S60, BREW, Flash Lite, Windows Mobile, Cocoa Touch, Android SDK, Web Runtimes (WRTs), WebKit, the Web, applications, services -- Why mobile? …”

Tabla de Contenidos: “…Livius und der Erzähler: Narratologische Perspektiven auf die antike Historiographie; 3. Die Kommunikation zwischen Historiker und Leser als Interpretationsmodell; 4. …”

Tabla de Contenidos: “…The Legacies of Atrocities in Asia -- An Ongoing Legacy of Atrocity : Torture and the Indonesian State / Annie Pohlman -- International Civil Society as Agent of Protection : Responses to the Famine in East Timor / Clinton Fernandes -- Maximizing Transitional Justice Opportunities : The Case of East Timor's CAVR / Heather Castel -- Transitional Justice Time : Uncle San, Aunty Yan, and Outreach at the Khmer Rouge Tribunal / Alex Hinton -- Humanitarian Intervention and the Legacies of Security Council (In) action : East Pakistan (1971) and East Timor (1976-1979) / Phil Orchard -- Part 2. …”
Enlace del recurso

Tabla de Contenidos: “…29 Populismus: Theoretische Fragen und Erscheinungsformen in Mittelosteuropa 49 Populismus und Islam in der Türkei 67 Der Rechtsextremismus und die Mitte 85 "Kampf um das Stadion" 95 Bürgerbeteiligung vor Ort als Strategie gegen Rechtsextremismus 117 Skandale der Bonner Republik 135 Politische Partizipation und Apathie in antiker und moderner Perspektive 151 Demokratie als Ideologie 169 Gibt es einen heimlichen Lehrplan von "Governance" im liberalen Kapitalismus? …”

Tabla de Contenidos: “…-- Teil VI: Fazit -- Bibliographie -- Antike Quellen -- Autorenverzeichnis -- Stichwortverzeichnis…”

Tabla de Contenidos: “…Foreign Direct Investment: Trends, Assessment and Policies -- FDI in Latin American in the Current Environment by Antonio Martins -- Challenges for a Multilateral Framework on Investment by Wolfgang Hantke -- Latin American Investment Policies: Building a Multilateral Framework for Investment by Carlos Herrera -- Investment Agreements in the Americas: Convergence of Rules by Maryse Robert -- Part III. …”

Tabla de Contenidos: “…; Object Orientation; A Common Type System; Access to System Services: The Framework Class Library; A Common Runtime Environment; Naming Conventions; What Can You Do with Visual Basic .NET?…”

Tabla de Contenidos: