Informatik (15.757 Artikel)

Component-Based Architectures and Change.- Data Encapsulation in Software Components.- Binary Change Set Composition.- Automated and Unanticipated Flexible Component Substitution.- Dynamic Adaptati...

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of softw...

Methods and Techniques

Component-Based Software Testing with UML

Prerequisites and Notation.- 1: Basic Concepts of Computability.- 1.1 Flowcharts and Machines.- 1.2 Register Machines and Register Computability.- 1.3 Primitive Recursive and ?-Recursive Functions....

The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth wor...

Is the exponential function computable? Are union and intersection of closed subsets of the real plane computable? Are differentiation and integration computable operators? Is zero finding for comp...

Languages, Dialogues, Games, Ontologies

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum ...

This volume brings together the work of researchers from various disciplines where aspects of descriptive, mathematical, computational or design knowledge concerning metaphor and analogy, especiall...

Gene Assembly in Ciliates

The study of linguistics has been forever changed by the advent of the computer. Not only does the machine permit the processing of enormous quantities of text thereby securing a better empirical f...

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson...

International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selecte...

This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, Fran...