LECTURE NOTES IN MATHEMATICS 1274: EQUIVARIANT K-THEORY AND FREENESS OF GROUP ACTIONS ON C*-ALGEBRAS
1987 年出版374 页ISBN:3540182772;0387182772
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
Condensed Matter Physics Aspects of Electrochemistry
M.P.Tosi A.A.Kornshev2222 年出版523 页ISBN:9810205600
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN:3540346996
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN:9783540730934
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999