Ditemukan 25 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
Roberto Moreno-Díaz, editor
The two-volume proceedings, LNCS 6927 and LNCS 6928, constitute the papers presented at the 13th International Conference on Computer Aided Systems Theory, EUROCAST 2011, held in February 2011 in Las Palmas de Gran Canaria, Spain. The total of 160 papers presented were carefully reviewed and selected for inclusion in the...
Berlin : [, Springer-Verlag], 2012
e20410619
eBooks Universitas Indonesia Library
New Delhi: Tata McGraw-Hill, 1994
R 620.004 2 INT c I
Buku Referensi Universitas Indonesia Library
Michaud, Michel, 1946-, author
A practical guide to selecting and using CATIA toolsCATIA Core Tools: Computer Aided Three-Dimensional Interactive Applications covers this computer-aided 3D interactive application for high-end manufacturing environments. CATIA is a multi-platform application which includes CAD, CAM, and CNC applications all in one to achieve seamless transactions between applications. Dassault (creator of...
New York: McGraw-Hill, 2012
620.004 2 MIC c
Buku Teks Universitas Indonesia Library
Ruijing, Shen, author
This book provides readers with tools for variation-aware design methodologies and computer-aided design (CAD) of VLSI systems, in the presence of process variations at the nanometer scale. It presents the latest developments for modeling and analysis, with a focus on statistical interconnect modeling, statistical parasitic extractions, statistical full-chip leakage and...
New York: [, Springer], 2012
e20418442
eBooks Universitas Indonesia Library