—/ EDITED AND WITH AN INTRODUCTION BY RICHMOND H. T
索书号:B712.59/MR
标准编码:0-300-02412-6
出版信息:: YALE UNIVERSITY PR., c1974. New Hven; London
—JAMES L. RASH ... [ET AL.] (EDS.)
索书号:TP273/RJL
标准编码:3540427163
出版信息:SPRINGER, 2001. Berlin ; London :
主题词: INTELLIGENT CONTROL SYSTEMSSOFTWARE ENGINEERING
—EDITED BY BOYUAN INT'LBOOK PRESS CO., LIMITED.
索书号:TU227/BY/2
标准编码:978-9-88189-897-5
出版信息:BOYUAN INT'LBOOK PRESS CO., LIMITED, 2015. Shenzhen:
—EDITED BY BOYUAN INT'LBOOK PRESS CO., LIMITED.
索书号:TU227/BY/1
标准编码:978-9-88189-897-5
出版信息:BOYUAN INT'LBOOK PRESS CO., LIMITED, 2015. Shenzhen:
—EDITED BY XIAO-XIONG GAN.
索书号:O17/GXX
标准编码:9783110597851 :
出版信息:DE GRUYTER, 2021. BERLIN :
—CARLOS MARTIN-VIDE, VICTOR MITRANA, GHEORG[H]E PAU
索书号:TP312/M-VC
标准编码:3540209077 (acid-fre
出版信息:SPRINGER, c2004. Berlin ; New York :
—WILFRIED BRAUER ... [ET AL.] (EDS.).
索书号:TP3/BW
标准编码:354043190X (pbk.)
出版信息:SPRINGER, c2002. Berlin ; New York :
主题词: COMPUTER SCIENCE.MACHINE THEORY.PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)PETRI NETS.GRAPH GRAMMARS.
—EDITED BY BOYAN BRODARIC AND FABIAN NEUHAUS.
索书号:G254.9/BB
标准编码:9781643681283 :
出版信息:IOS PRESS, [2020] AMSTERDAM :
主题词: ONTOLOGIES (INFORMATION RETRIEVAL)FORMAL METHODS (COMPUTER SCIENCE)
—ED BRINKSMA, HOLGER HERMANNS, JOOST-PIETER KATOEN
索书号:TP3/BE
标准编码:3-540-42479-2 (pbk.
出版信息:SPRINGER, c2001. Berlin ; New York :
—.BY WOLFGANG STEGMULLER
索书号:B08/SW
出版信息:, D. REIDEL PUBLISHING COMPANY c.1969 :Dordrecht-Holland