Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN：3540216715
OBJECT-ORIENTED MODELING AND DESIGN
[美]拉姆博等著2004 年出版500 页ISBN：7508318102
UML（统一建模语言）是当今主流的建模语言，不过作为其重要基石的OMT（对象建模技术）却不太为国人所知，了解OMT的本质对深刻理解UML和面向对象，进而研究自己的建模技术有着重要意义。本书由OMT的倡导者James Rumbaugh...
FINFET MODELING FOR IC SIMULATION AND DESIGN USING THE BSIM-CMG STANDARD
YOGESH SINGH CHAUHAN DARSEN D.LU SRIAMKUMAR VANUGOPALAN SOURABH KHANDELWAL JUAN PABLO DUARTE NAVID PAYDAVOSI AI NIKNEJAD CHENMING HU2015 年出版292 页ISBN：0124200319
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Laser-Based Additive Manufacturing of Metal Parts Modeling Optimization and Control of Mechanical Pr
Linkan Bian2017 年出版328 页ISBN：
The Changing Arctic and the European Union A Book Based on the Report“Strategic Assessment of Develo
Edited by Adam Stepien2016 年出版335 页ISBN：
