Books

19 results found
Title Authors Description OpenBook ID
Autonomic Computing Autonomic Computing Philippe Lalanda Autonomic computing is changing the way software systems are being developed, introducing the goal of self-managed computing systems with minimal need for human input. This easy-to-follow, classroom-… OL19829381W
Computer Science and its Applications Computer Science and its Applications Sang-Soo Yeo The 4th FTRA International Conference on Computer Science and its Applications (CSA-12) will be held in Jeju, Korea on November 22~25, 2012. CSA-12 will be the most comprehensive conference focused o… OL19836665W
DV-Projektrecht DV-Projektrecht Claus-Dieter Müller-Hengstenberg Komplexe DV-Projekte sind mit Vorgehensmodellen oder Phasenkonzepten ökonomischer und präziser durchzuführen. Die Autoren, beide Juristen, greifen auf vielfältige Erfahrungen aus der Praxis mit Großp… OL19844335W
Environmental Software Systems Environmental Software Systems R. Denzer Due to increasing practical needs, software support of environmental protection and research tasks is growing in importance and scope. Software systems help to monitor basic data, to maintain and pro… OL19847911W
Euro-Par 2012: Parallel Processing Workshops Euro-Par 2012: Parallel Processing Workshops Ioannis Caragiannis This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 18th International Conference on Parallel Computing, Euro-Par 2012, held in Rhodes Islands, Greece, in Au… OL19848584W
Facing the Multicore-Challenge III Facing the Multicore-Challenge III Rainer Keller This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale applications in an interdisciplinary environment. Th… OL19849326W
Finding Source Code on the Web for Remix and Reuse Finding Source Code on the Web for Remix and Reuse Susan Elliott Sim In recent years, searching for source code on the web has become increasingly common among professional software developers and is emerging as an area of academic research. This volume surveys past r… OL19850102W
Formal Methods for Components and Objects Formal Methods for Components and Objects Bernhard Beckert <p>Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large sys… OL19850837W
Handbook of Neuroevolution Through Erlang Handbook of Neuroevolution Through Erlang Gene I. Sher <i>Handbook of Neuroevolution Through Erlang</i> presents both the theory behind, and the methodology of, developing a neuroevolutionary-based computational intelligence system using Erlang. With a f… OL19854467W
Innovative Technologies for Dependable OTS-Based Critical Systems Innovative Technologies for Dependable OTS-Based Critical Systems Domenico Cotroneo The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area… OL19857794W
Job Scheduling Strategies for Parallel Processing Job Scheduling Strategies for Parallel Processing Walfredo Cirne This book constitutes the thoroughly refereed proceedings of the 16th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2012, which was held in Shanghai, China, in Ma… OL19878257W
NASA Formal Methods NASA Formal Methods Guillaume Brat This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presente… OL19890005W
Numerische Simulation dreidimensionaler Umformvorgänge mit Einbezug des Temperaturverhaltens Numerische Simulation dreidimensionaler Umformvorgänge mit Einbezug des Temperaturverhaltens Jürgen Gerhardt In diesem Band wird die Entwicklung eines auf der Finite-Elemente-Methode aufbauenden Simulationsverfahrens für die Kalt-, Halbwarm- und Warmmassivumformung beschrieben. Das Verfahren liefert detaill… OL19891632W
Reflections on the History of Computing Reflections on the History of Computing Arthur Tatnall This book is a collection of refereed invited papers on the history of computing from the 1940s to the 1990s with one paper going back to look at Italian calculating/computing machines from the first… OL19899199W
Robust Data Mining Robust Data Mining Petros Xanthopoulos <p>Data uncertainty is a concept closely related with most real life applications that involve data collection and interpretation. Examples can be found in data acquired with biomedical instruments o… OL19900196W
Software Engineering for Self-Adaptive Systems II Software Engineering for Self-Adaptive Systems II Rogério Lemos Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in en… OL19902703W
Testbeds and Research Infrastructure. Development of Networks and Communities Testbeds and Research Infrastructure. Development of Networks and Communities Thanasis Korakis This book constitutes the proceedings of the 8th International ICST Conference, TridentCom 2012, held in Thessanoliki, Greece, in June 2012. Out of numerous submissions the Program Committee finally … OL19906327W
Understanding Petri Nets Understanding Petri Nets Wolfgang Reisig With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a … OL19908588W
Pro WPF in C# 2008 Pro WPF in C# 2008 Matthew MacDonald Looks at the features and functions of Windows Presentation Foundation, covering such topics as XAML, creating an application object, content controls, pages and navigation, commands, data binding, a… OL5836704W