Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN:9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN:3540462198
PROCEEDINGS OF SPIE-THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING VOLUME 1211 COMPUTER AND OPTIC
1990 年出版321 页ISBN:0819402524
Lecture Notes in Computer Science 4494 Algorithms and Architectures for Parallel Processing 7th Inte
ICA3PP 20072007 年出版508 页ISBN:9783540729044
Adaptive finite element methods for optimal control governed by PDEs = 偏微分方程最优控制的自适应有限元方法
Wenbin Liu ; Ningning Yan2008 年出版200 页ISBN:7030222565
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN:354029189X
FAO FISHERIES TECHNICAL PAPER 259 SUPPL. SELECTED COMPUTER PROGRAMS IN FORTRAN FOR FISH STOCK ASSESS
S.EUGENE SIMS1988 年出版96 页ISBN: