Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN:3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN:9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN:3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN:3540273263
Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN:3540221204
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN:3540353623
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN:9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法(主要是超收敛分析)及有限元后验误差分析方面的主要成果,其中包括许多已发表或尚未发表的成果。...
Lecture Notes In Control and Information Sciences 366 Lagrangian and Hamiltonian Methods For Nonline
Francesco Bullo2007 年出版398 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 203 MOLECULAR DESIGN AND MODELING:CONCEPTS AND APPLICATIONS PART B
UNCLEIC ACIDS2222 年出版0 页ISBN:
WESTERN ARTISTS AND INDIA CREATIVE INSPIRATIONS IN ART AND DESIGN WITH 381 ILLUSTRATIONS
294 IN COLOUR2013 年出版275 页ISBN:0500516881