Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN:3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN:9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Computational geometry algorithms and applications Third Edition = 计算几何 第3版
Mark de Berg ; Otfried Cheong ; Marc van Kreveld ; Mark Overmars2013 年出版386 页ISBN:7510061776
本书是一部代数几何教程,旨在研究算法。书中的内容实用性很强,涉及的领域有鲁棒、图论、CAD/CAM,和几何信息系统。这些计算几何的现代观点在解决实际问题的时候效率更高,更加易于理解,也更易于操作。目次:计算几...
One-Parameter Semigroups for linear Evolution Equations=线性发展方程的单参数半群
(意)思格尔(ENGEL2013 年出版0 页ISBN:
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
INFINITE DIMENSIONAL LINEAR CONTROL SYSTEMS The Time Optimal and Norm Optiomal Problems
H.O.FATTORINI2005 年出版320 页ISBN:
Linear and nonlinear functional analysis with applications: with 401 problems and 52 figures
Philippe G. Ciarlet2013 年出版834 页ISBN:1611972580
ANALYZING QUALITATIVE DATA:LOG-LINEAR ANALYSIS FOR BEHAVIORAL RESEARCH SECOND EDITION
JOHN J.KENNEDY1992 年出版300 页ISBN:0275934462