Søkt på: Martin Hofmann
totalt 75 treff
Proofs from THE BOOK
This revised and enlarged sixth edition of Proofs from THE BOOK features an entirely new chapter on Van der Waerden’s permanent conjecture, as well as additional, highly original …
Das BUCH der Beweise
Diese fünfte deutsche Auflage enthält ein ganz neues Kapitel über van der Waerdens Permanenten-Vermutung, sowie weitere neue, originelle und elegante Beweise in anderen …
Foundations of Software Science and Computational Structures
This book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in …
Prozessoptimierung als ganzheitlicher Ansatz
Dieses Buch zeigt Wege zur effizienteren Gestaltung der Arbeitsabläufe in Unternehmen und Verwaltungen auf. Zunächst werden die theoretischen Grundlagen und die notwendigen …
Corporate Social Responsibility in Australien
Trustworthy Global Computing
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees …
Typed Lambda Calculi and Applications
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.The 21 revised full papers …