Ditemukan 2 dokumen yang sesuai dengan query
Marco Bernardo, editor
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics...
Berlin: [, Springer-Verlag], 2012
e20410465
eBooks Universitas Indonesia Library
Michielsen, Bastiaan, editor
This selection of papers from the 8th SCEE conference held in Toulouse in 2010 covers numerically modelling electronic and electrical systems, including computational electromagnetics, circuit theory, and simulation and device modelling...
Berlin: [Springer-Verlag, ], 2012
e20419367
eBooks Universitas Indonesia Library
