This book constitutes the refereed proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2002, held in Cesky Krumlov, Czech Republic in June 2002.The 36 re
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
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Novy Smokovec, Slovakia, in Janua
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software des
The title of this book is a pun on the use of the preposition “onto” with the aim of recalling “Ontology”, the term commonly adopted in the computer science community to indicate the study of the form
In this primer for IT specialists on the aspects of molecular biology and medicine that lend themselves to the application of computer science, budding bioinformaticians will find clear explanations o
In this book, internationally recognized experts in philosophy of science, computer science, and modeling and simulation are contributing to the discussion on how ontology, epistemology, and teleology
This is a short novel by science fiction, in which an aggressive computer virus that is transmitted over the Internet affects the behaviour of those who come into contact with it when working with com
This is a short novel by science fiction, in which an aggressive computer virus that is transmitted over the Internet affects the behaviour of those who come into contact with it when working with com
The author, who died in 1984, is well-known both as a person and through his research in mathematical logic and theoretical computer science. In the first part of the book he presents the new classica
Science FictionAfter fulfilling every objective of a top secret mission to Jupiter's Ganymede and now only days from home, four NASA astronauts learn from their computer systems analyst in Houston thr
By the year 2050, great advances have been made in the realm of computer science, but the most sophisticated computer ever to have been built is about to be revealed to the world. The brainchild of Pr
By the year 2050, great advances have been made in the realm of computer science, but the most sophisticated computer ever to have been built is about to be revealed to the world. The brainchild of Pr
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying light cooperation with the
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
Explains scientific concepts used in specific episodes of the "Star Trek" television series, including ideas in planetology, space medicine, materials science, engineering, and exobiology
Lecture Notes in Computer ScienceThe LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enj
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
