Hasil Pencarian  ::  Simpan CSV :: Kembali

"Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic structures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters, that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality."

"This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews."

"The "Hamburg lectures on maritime affairs", giving distinguished scholars and practitioners the opportunity to present and discuss recent developments in this field. The present volume, the second in the series, collects eight of the lectures held in 2009 and 2010 by David Joseph Attard, Lucius Caflisch, Beate Czerwenka, Lars Gorton, Francesco Munari, Kyriaki Noussia, Peter Wetterstein and Wolfgang Wurmnest."

"This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques, parallel model checking, case studies, model checking for concurrency, and tool demonstrations."

"Stewart uses a fresh presentation that is clear and intuitive as he covers topics such as discrete and continuous approximation, linear and quadratic splines, eigensystems, and Krylov sequence methods. He concludes with two lectures on classical iterative methods and nonlinear equations."