Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 54 dokumen yang sesuai dengan query
cover
"This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution."
Berlin: Springer-Verlag, 2012
e20410294
eBooks  Universitas Indonesia Library
cover
"This book constitutes the proceedings of the 8th International Workshop on Programming Multi-Agent Systems held in Toronto, Canada, in May 2010 in conjunction with AAMAS 2010, the 9th International Joint Conference on Autonomous Agents and Multiagent Systems. The 7 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers cover a broad range of mostly practical topics like decision component of agent systems; practical examples of programming languages; interaction with the environment, and are thus organized in topical sections on reasoning, programming languages, and environments."
Berlin: Springer-Verlag, 2012
e20410494
eBooks  Universitas Indonesia Library
cover
Arnoldus, B.J.
"This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model. Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness of the template metalanguage and the output language. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in web applications."
Paris: Atlantis Press, 2012
e20420662
eBooks  Universitas Indonesia Library
cover
Balliauw, Maarten
"Pro NuGet offers you a solid architectural understanding of how to manage software dependencies using NuGet, an open-source package management tool for the .NET Framework. Providing practical guidance through a multitude of examples and more advanced scenarios, this book shows you how to unleash all the power that NuGet offers. It will help you to streamline your day to day development and even make it more fun to write code."
New York : Springer, 2012
e20425648
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 >>