Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN:3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN:3540292098
Lecture Notes in Computer Science 3667 Spatial Coherence for Visual Motion Analysis First Internatio
SCVMA 20042006 年出版141 页ISBN:3540325336
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN:9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法(主要是超收敛分析)及有限元后验误差分析方面的主要成果,其中包括许多已发表或尚未发表的成果。...
Applied and Computational Complex Analysis Volume 2 Special Functions-Integral Transforms-Asymptotic
Peter Henrici1977 年出版662 页ISBN:
Lecture Notes in Artificial Intelligence 3366 Argumentation in Muoti-Agent Systems Fist Internationa
ArgMAS 20042005 年出版262 页ISBN:354024526X
Lecture Notes in Computer Science 2959 COTS-Based Software Systems Third International Conference
ICCBSS 20042004 年出版219 页ISBN:354021903X
Drug Delivery Systems World Scientific Series From Materials towards Biomedical Devices-Vol 1
Pieter Stroeve2017 年出版382 页ISBN:9813201040
项目管理 计划、进度和控制的系统方法 第12版=PROJECT MANAGEMENT A SYSTEMS APPROACH TO PLANNING
SCHEDULING AND CONTROLLING2018 年出版0 页ISBN:
LECTURE NOTES IN MATHEMATICS 1189: FINE TOPOLOGY METHODS IN REAL ANALYSIS AND POTENTIAL THEORY
1986 年出版472 页ISBN:354016474X;038716474X