检索条件: The design and analysis of computer algorithms = ( 题名 )
责任者 Hopcroft, John E.,,Ullman, Jeffrey D.,
出版信息 China Machine Press, ,2006.
ISBN 7-111-17775-4
责任者 Tamassia, Roberto,,Mount, David M.
出版信息 Wiley, ,c2011.
ISBN 9780470383278 (pbk.) :
责任者 Wang, Wenwu,
出版信息 Information Science Reference, ,c2011.
ISBN 9781615209194 (hardcover)
责任者 Katoen, Joost-Pieter.,Stevens, Perdita.
出版信息 Springer, ,2002.
ISBN 3-540-43419-4 (softcover : alk. paper)
在粘贴到您的文章之前,请再检查一遍引文格式的准确性。
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings /
Katoen, Joost-Pieter.,Stevens, Perdita..Springer,,2002..
加入成功
没有可借图书,您可对该书进行预约,等书还回后会按照预约顺序分配给您
确定预约