Refine Results
Sort By
From
To
Page 1
Page 1
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
Applications and Theory of Petri Nets ; 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
An Introduction to Kolmogorov Complexity and Its Applications
Written by two experts in the field, this book is ideal for advanced undergraduate students, graduate students, and researchers in all fields of science. It is self-contained: it contains the basic requirements from mathematics, probability theory, statistics, information theory, and computer science. Included are history, theory, new developments, a wide range of applications, numerous (new) problem sets, comments, source references, and hints to solutions of problems. This is the only comprehensive treatment of the central ideas of Kolmogorov complexity and their applications.
An Introduction to Formal Languages and Automata
Designed for an introductory course on formal languages, automata, compatibility, and related matters forming what is known as the theory of computation
Advances in Metaheuristics for Hard Optimization
The book gathers contributions related to the following topics: theoretical developments in metaheuristics; adaptation of discrete metaheuristics to continuous optimization; performance comparisons of metaheuristics; cooperative methods combining different approaches; parallel and distributed metaheuristics for multiobjective optimization; software implementations; and real-world applications.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
