Ditemukan 483 dokumen yang sesuai dengan query
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered...
Berlin: Springer-Verlag, 2012
e20410072
eBooks Universitas Indonesia Library
Rich, Elaine, author
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks 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
