检索到 25 条 分类号=TP301-53 的结果
-
西文图书1.Theory of computing and systems : Proceedings TP301-53/I7
馆藏复本：1
可借复本：1 Israel symposium on the t
Springer-Verlag 1992
(0) 馆藏 -
西文图书2.Proceeidngs TP301-53/I1
馆藏复本：1
可借复本：1 International Conference o Automated Deductin (19909 : 10th : Kaiserslautern )
Springer-Verlag 19990
(0) 馆藏 -
西文图书3.Proceedings of the .. TP301-53/A3
馆藏复本：1
可借复本：1 ACM Smposium o Theory of Cmputing (190 : 22nd : Baltimore , Mayland
ACM. 1990
(0) 馆藏 -
西文图书4.XOLOG-88 : Proceedigs TP301-53/I5
馆藏复本：1
可借复本：1 Internaional Conference o Computer Logic(19888 : Tallinn)
Springer-Verlag 1990
(0) 馆藏 -
西文图书5.33rd Annual Symposium on Foundation of Computer Science TP301-53/S14
馆藏复本：1
可借复本：1 Symposium on Foundations
IEEE
(0) 馆藏 -
西文图书6.Proceedigs TP301-53/S3
馆藏复本：1
可借复本：1 Symposium on Logic in Compute Science (1987 : Ithaca , N.Y.)
IEEE 1987
(0) 馆藏 -
西文图书7.Proceedings TP301-53/S11
馆藏复本：4
可借复本：4 Symposium on Foundatons of Compute Scence (1990 : 31th : St .Louis , Missouri)
IEEE 1990
(0) 馆藏 -
西文图书8.ATACA 90 : Proceedigs TP301-53/S10
馆藏复本：1
可借复本：1 Syposium o nTheoretical Aspects of Compute Science (1990 : 7th : Rouen )
Springer-Verlag 1990
(0) 馆藏 -
西文图书9.Foundatons of Software Technology and Theoetial COmpter Science Proceedigs TP301-53/C1
馆藏复本：2
可借复本：2 Conference on Foundations of Sofware Technology and Theoretical Computer Science (1990 : 10th : Bang
Springer-Verlag 1990
(0) 馆藏 -
西文图书10.Logic at Botik'89 : Proceedings TP301-53/S9
馆藏复本：1
可借复本：1 Symposium o nLogical Foundatins of Computer Scince (1989 : Pereslavl-Zalessky , ussr)
Springer-Verlag 1989
(0) 馆藏 -
西文图书11.Automata , Languages and Progrsammig ; Procedings TP301-53/I6
馆藏复本：1
可借复本：1 Intenational Colloquium Automata , Languages , and Programig (19991 : 18th ; Madrid , Spain )
Springer-Verlag 1991
(0) 馆藏 -
西文图书12.STACS 91 : Proceedings TP301-53/A4
馆藏复本：1
可借复本：1 Symposium on theoretical
Springer-Verlag 1991
(0) 馆藏 -
西文图书13.Symposium on Foundatons of Cmputer SAcience TP301-53/S7
馆藏复本：1
可借复本：1 Symposium on Foundatons of Cmputer SAcience (1989: 30th : Rearch Tieangle Park)
CA 1989
(0) 馆藏 -
西文图书14.Mathematical Foundatins of Compute Scinece 1989 : Proceedings TP301-53/S8
馆藏复本：1
可借复本：1 Symposium o Mathematical Foundations of COmpute Science (1989 : 14th : PorabkaKozubnik, Poland )
Springer-Verlag 1989
(0) 馆藏 -
西文图书15.Mathematical Foundations of Compute Science : Proceedings TP301-53/S13
馆藏复本：1
可借复本：1 Syposium o Mathematical Foundations of Computer Science (1990 : 15th : Bansked Bystrica)
Springer-Verlag 1990
(0) 馆藏 -
西文图书16.29th Annual Smposium on Foundations of Cmpute Scinece TP301-53/S6
馆藏复本：1
可借复本：1 Symposium o Foundations of Compute Science (1988 : 29th ; White Plains )
IEEE 1988
(0) 馆藏 -
西文图书17.Computational Logic : Symposium Procedings TP301-53/S12
馆藏复本：2
可借复本：2 Symposium o Cmputational Logic (1990 : Brussels )
Springer-Verlag 1990
(0) 馆藏 -
西文图书18.proceedings of The 20th Annual .... TP301-53/A2
馆藏复本：1
可借复本：1 ACM Syposium o Theory of Computing (1983 : 20th : chicago)
ACM Pr. 1983
(0) 馆藏 -
西文图书19.Algorithms and Complxity : Proceedings of The ... TP301-53/I4
馆藏复本：1
可借复本：1 Italian Cmfeende on Algorithms and COmplexity (19990 : Rome )
Workd Scientific Publishig Col 1990
(0) 馆藏 -
西文图书20.Aspecs and Prospects of Theoretical Compute Science : Proceedings TP301-53/I2
馆藏复本：1
可借复本：1 International Meeting of Young Comjputer Scientists (1990 ; 6th : Smolenice )
Springer-Verlag 1990
(0) 馆藏
