Integrated circuit and system design. power and timing modeling, optimization, and simulation [Electronic resource] : 20th international workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010: revised selected papers / eds. R. Leuken, G. Sicard. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6448). - ISBN 978-3-642-17752-1 : Б. ц. Рубрики: Computer science    Computer communication networks    Computer system performance    Software engineering    Computer software    Logic design    Computer simulation    Computer science    System performance and evaluation    Simulation and modeling    Computer communication networks    Software engineering    Logics and meanings of programs    Algorithm analysis and problem complexity См. : Текст издания Доп.точки доступа: Leuken, R. \ed.\; SpringerLink (Online service) Свободных экз. нет