Informatik (15.821 Artikel)

Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.- Some Results in Dynamic Model Theory.- Mathematics in Computer Science Curricu...

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal met...

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides five invited lectures b...

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revi...

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the development of mathematica...

Skeleton-Based Seam Computation for Triangulated Surface Parameterization.- Parameterizing N-Holed Tori.- Generic Parameterization of Bifurcating Structures.- Direct Computation of a Control Vertex...

This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & ...

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & ...

20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings

19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Computational Neuroscience.- On the Use of the Computational Paradigm in Neurophysiology and Cognitive Science.- Modules, Layers, Hierarchies, and Loops Where Artificial Intelligence Meets Ethology...

The past decade has seen a rapid growth in the demand for the usage of behavioral and physiological characteristics of humans for e-security and forensics applications. The significant advances in ...

This book constitutes the refereed proceedings of the Second MICCAI Workshop on Medical Content-Based Retrieval for Clinical Decision Support, MCBR-CBS 2011, held in Toronto, Canada, in September 2...

4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003, Proceedings