2 كتب إلكترونية بواسطة Bernhard Reus
Bernhard Reus: Limits of Computation
This textbook discusses the most fundamental and puzzling questions about the foundations of computing. In 23 lecture-sized chapters it provides an exciting tour through the most important results in …
PDF
الإنجليزية
DRM
€43.78
Thorsten Altenkirch & Wolfgang Naraschewski: Types for Proofs and Programs
…
PDF
الإنجليزية
DRM
€57.64
