Ditemukan 6 dokumen yang sesuai dengan query
James Noble, editor
This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP 2012, held in Beijing, China, in June 2012. The 27 revised full papers presented together with two keynote lectures were carefully reviewed and selected from a total of 140 submissions. The papers are organized in...
Berlin: [Springer-Verlag, ], 2012
e20410459
eBooks Universitas Indonesia Library
Berlin: Springer-Verlag , 1991
006.6 ADV
Buku Teks Universitas Indonesia Library
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410163
eBooks Universitas Indonesia Library
Here is a monograph that describes current research efforts in the application of symbolic computation to several areas, including dynamical systems, differential geometry, Lie algebras, numerical analysis, fluid dynamics, perturbation theory, control theory, and mechanics. The chapters, which illustrate how symbolic computations can be used to study various mathematical structures,...
Philadelphia: Society for Industrial and Applied Mathematics, 1989
e20451184
eBooks Universitas Indonesia Library
New York: Prentice-Hall, 1992
R 005.13 TEC
Buku Referensi Universitas Indonesia Library
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and...
Berlin: Springer-Verlag, 2012
e20410462
eBooks Universitas Indonesia Library
