Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
DISCRETE MATHEMATICAL STRUCTURES:THEORY AND APPLICATIONS
D.S.MALIK M.K.SEN著2222 年出版905 页ISBN:0619212853
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN:3540234276
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN:3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN:354029922X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN:9783540770039
FOUNDATIONS OF THE MATHEMATICAL THEORY OF STRUCTURES
E.R.de ARANTES e OLIVEIRA1975 年出版223 页ISBN:
BRIDGE TO ABSTRACT MATHEMATICS MATHEMATICAL PROOF AND STRUCTURES
RANDOM HOUSE1987 年出版395 页ISBN:
MATHEMATICAL ANALYSIS LINEAR AND METRIC STRUCTURES AND CONTINUITY
MARIANO GIAQUINTA AND GIUSEPPE MODICA2007 年出版466 页ISBN:0817643745