string theorie  (149 Angebote unter 17 189 793 Artikeln)

In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the develop...

This anthology aims to make visible those processes, conditions, and impacts on and in European educational institutions (k-HigherEd-VET) which are nowadays influenced by the phenomena of accountab...

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and tea...

Understanding the dynamics of gauge theories is crucial, given the fact that all known interactions are based on the principle of local gauge symmetry. Beyond the perturbative regime, however, this...

The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organ...

The topics in this volume constitute a fitting tribute by distinguished physicists and mathematicians. They cover strings, conformal field theories, and Virasoro algebras, topological field theory,...

This book explores the rich and deep interplay between mathematics and physics one century after David Hilbert's works from 1891 to 1933, published by Springer in six volumes. The most prominent sc...

Forthe29thtime,SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conf...

This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains extended abstracts of submissions that were accepted...

Invited Contributions.- Software Model Checking Improving Security of a Billion Computers.- On Quantitative Software Verification.- The Quest for Correctness-Beyond a Posteriori Verification.- Who ...

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 - December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. Thi...

This volume collects chapters that examine representation theory as connected with affine Lie algebras and their quantum analogues, in celebration of the impact Vyjayanthi Chari has had on this are...

This volume collects chapters that examine representation theory as connected with affine Lie algebras and their quantum analogues, in celebration of the impact Vyjayanthi Chari has had on this are...

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?et Skal (Nine Rocks...

The aim of this book is to demonstrate that, in a representation-based model, the phonological organization of speech sounds within a word is reducible to the licensing properties of nuclei with re...