 |
0 索取号:TP31-532/E20091/2008 作者:IEEE Real-Time and Embedded Technology and Applications Symposium (14th : 2008 : Saint Louis、 Mo.)、IEEE Computer Society. Technical Committee on Real-Time Systems.、IEEE Xplore (Online service)、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c2008.
|  |
0 索取号:TP31-532/E901/15 作者: 出版社:Berlin ; New York : Springer-Verlag, 1988.
|
 |
0 索取号:TP31-532/E901/6 作者:Colloquium on Automata、 Languages and Programming (6th : 1979 : Graz、 Austria)、Goos、G.、Maurer、 Hermann A.、 1941-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|  |
0 索取号:TP31-532/E20041 作者:EMSOFT 2003 (2003 : Philadelpha、 Pa.)、Alur、 Rajeev、 1966-、Lee、 Insup.、 出版社:Berlin ; New York : Springer-Verlag, 2003.
|
 |
0 索取号:TP31-532/E20042/2002 作者:International Symposium on Software Testing and Analysis (Held 22-24 July 2002、: Rome、 Italy.)、Frankl、 Phyllis G.、Zeil、 Steven Joseph、 1957-、Association for Computing Machinery.、 出版社:New York, N. Y. : ACM Press, c2002.
|  |
0 索取号:TP31-532/E901/12 作者:ICALP 85 (1985 : Nauplion、 Greece)、Brauer、 Wilfried.、European Association for Theoretical Computer Science.、Ethnikon Metsovion Polytechneion (Greece)、Universität Hamburg.、 出版社:Berlin ; New York : Springer-Verlag, c1985.
|
 |
0 索取号:TP31-532/E901/9 作者:ICALP 82 (1982 : Aarhus、 Denmark)、Nielsen、 M. (Mogens)、 1949-、Schmidt、 E. M. (Erik Meineche)、 1945-、 出版社:Berlin ; New York : Springer-Verlag, 1982.
|  |
0 索取号:TP31-532/E992/1997 作者: 出版社:Berlin ; New York : Springer, c1997.
|