Gegenstand des Buches ist die Darstellung Otto Bauers als führende Gestalt des Austromarxismus und der SDAP, sowie die kritisch-analytische Lesart seiner philosophisch-historischen, wirtschaftlichen, soziologischen und sozialpolitischen Theorien, die vor dem Hintergrund der damaligen Diskussion in der II. und der III. Internationale, der politischen Ereignisse in der SDAP, der internationalen …
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competiti…
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation, and com…
The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstract…
Between 1966 and 1980, the War History Office of the National Defense College of Japan published the 102-volume Senshi Sōsho (War History Series). These volumes give a detailed account of the operations of the Imperial Japanese Army and the Imperial Japanese Navy during the Second World War. This book, vol. 3 of the series, describes in depth the campaign to gain control over the Indonesian ar…
With the centenary of the First World War, communities across Canada arranged commemorations of the war experience to honour local servicemen who, through their triumphs and sacrifices, were presented as laying the foundation for a free and independent country. Often overlooked are the triumphs and sacrifices of those who supported those soldiers, and the war effort in general, back at home. Th…
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of t…
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…