Types for Proofs and Programs formatIsbn:Softcover - 9783540140313 die sich möglicherweise für das

die sich möglicherweise für das Controlling einer chinesischen Tochtergesellschaft durch Gegenüberstellung deutscher Anforderungen und kultureller Besonderheiten Chinas ergeben

Anhand einer empirischen

former students and friends of Professor Eli Reshotko in celebration of his 60th birth day

Doch nicht nur stereotypenspezifische Literatur enthält solche verallgemeinernde Darstellungen über bestimmte Nationen und andere Gruppen

Zwischen überraschenden Enthüllungen und Geschehnissen lernt sie ihren langjährigen Freund Max lieben

Types for Proofs and Programs formatIsbn:Softcover - 9783540140313 die sich möglicherweise für dasThese proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 2428, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin Lof, one of the