大拱桥--暨南大学学生门户 » 图书馆 » (分类号:TP31-532)(共8本)

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium : April 22-24, 2008, St. Louis, Missouri, USA

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.

Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings

0
索取号:TP31-532/E901/15
作者:
出版社:Berlin ; New York : Springer-Verlag, 1988.

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979

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.

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

0
索取号:TP31-532/E20041
作者:EMSOFT 2003 (2003 : Philadelpha、 Pa.)、Alur、 Rajeev、 1966-、Lee、 Insup.、
出版社:Berlin ; New York : Springer-Verlag, 2003.

Proceedings of the 2002 International Symosium on Software Testing and Analysis(ISSTA) : July 22-24, 2002, Roma, Italy

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.

Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985

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.

Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982

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.

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

0
索取号:TP31-532/E992/1997
作者:
出版社:Berlin ; New York : Springer, c1997.