-
FORMAL PHILOSOPHY
—/ EDITED AND WITH AN INTRODUCTION BY RICHMOND H. T
索书号：B712.59/MR
标准编码：0-300-02412-6
出版信息：: YALE UNIVERSITY PR., c1974. New Hven; London
-
FORMAL APPROACHES TO AGENT-BASED SYSTEMS :
—JAMES L. RASH ... [ET AL.] (EDS.)
索书号：TP273/RJL
标准编码：3540427163
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： INTELLIGENT CONTROL SYSTEMSSOFTWARE ENGINEERING
-
FORMAL AESTHETIC OF ARCHITECTURE FACADE: 2
—EDITED BY BOYUAN INT'LBOOK PRESS CO., LIMITED.
索书号：TU227/BY/2
标准编码：978-9-88189-897-5
出版信息：BOYUAN INT'LBOOK PRESS CO., LIMITED, 2015. Shenzhen:
-
FORMAL AESTHETIC OF ARCHITECTURE FACADE: 1
—EDITED BY BOYUAN INT'LBOOK PRESS CO., LIMITED.
索书号：TU227/BY/1
标准编码：978-9-88189-897-5
出版信息：BOYUAN INT'LBOOK PRESS CO., LIMITED, 2015. Shenzhen:
-
FORMAL ANALYSIS
—EDITED BY XIAO-XIONG GAN.
索书号：O17/GXX
标准编码：9783110597851 :
出版信息：DE GRUYTER, 2021. BERLIN :
-
FORMAL LANGUAGES AND APPLICATIONS /
—CARLOS MARTIN-VIDE, VICTOR MITRANA, GHEORG[H]E PAU
索书号：TP312/M-VC
标准编码：3540209077 (acid-fre
出版信息：SPRINGER, c2004. Berlin ; New York :
-
FORMAL AND NATURAL COMPUTING :
—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.
-
FORMAL ONTOLOGY IN INFORMATION SYSTEMS
—EDITED BY BOYAN BRODARIC AND FABIAN NEUHAUS.
索书号：G254.9/BB
标准编码：9781643681283 :
出版信息：IOS PRESS, [2020] AMSTERDAM :
主题词： ONTOLOGIES (INFORMATION RETRIEVAL)FORMAL METHODS (COMPUTER SCIENCE)
-
LECTURES ON FORMAL METHODS AND PERFORMANCE ANALYSIS :
—ED BRINKSMA, HOLGER HERMANNS, JOOST-PIETER KATOEN
索书号：TP3/BE
标准编码：3-540-42479-2 (pbk.
出版信息：SPRINGER, c2001. Berlin ; New York :
-
MAIN CURRENTS IN CONTEMPORARY GERMAN, BRITISH, AND AMERICAN PHILOSOPHY /
—.BY WOLFGANG STEGMULLER
索书号：B08/SW
出版信息：， D. REIDEL PUBLISHING COMPANY c．1969 ：Dordrecht-Holland