Wyniki wyszukiwania:

Seitdem das Gesenkschmieden, dessen Ursprung in der handwerklichen Schmie dekunst liegt, in der zweiten Halfte des 19.Jahrhunderts eine zunehmende industrielle Bedeutung gewann, fuhrte man schon nach verhaltnismassig kurzer Zeit fur die Gesenkschmiedemaschinen wissenschaftliche Betrach 1 tungsweisen ein ) und entwickelte Messverfahren, um ihre Eigenschaften kennenzulernen und verbessern zu konnen 2J. Den Gesenkschmiedeverfahren wurde dagegen wenig Beachtung geschenkt und ihre Weiterentwicklung in der Hauptsache dem Konnen und der Erfahrung der Meister uberlassen. Einige Ansatze zu einer...

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.