Ditemukan 3 dokumen yang sesuai dengan query
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum...
Berlin: Springer-Verlag, 2012
e20409217
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...
Berlin: Springer-Verlag, 2012
e20410304
eBooks Universitas Indonesia Library
In this 2013 winner of the prestigious R.R. Hawkins Award from the Association of American Publishers, as well as the 2013 PROSE Awards for Mathematics and Best in Physical Sciences & Mathematics, also from the AAP, readers will find many of the most significant contributions from the four-volume set of...
Oxford, UK: Elsevier, 2013
e20426772
eBooks Universitas Indonesia Library
