Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN:0262035538
LECTURE NOTES IN MATHEMATICS 684 DISTRIBUTIONS AND NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS
ELEMER E.ROSINGER1978 年出版148 页ISBN:3540089519
LECTURE NOTES IN MATHEMATICS 1366: GRASSMANNIANS AND GAUSS MAPS IN PIECEWISE-LINEAR TOPOLOGY
1989 年出版207 页ISBN:3540507566;0387507566
Lecture Notes in Physics 264:Tenth International Conference on Nomerical Methods in Fluid Dynamics
1986 年出版724 页ISBN:354017172X
LECTURE NOTES IN MATHEMATICS 1189: FINE TOPOLOGY METHODS IN REAL ANALYSIS AND POTENTIAL THEORY
1986 年出版472 页ISBN:354016474X;038716474X
Lecture Notes in Control and Information Sciences Signal Processing for Control
2222 年出版420 页ISBN:3540165118
PROGRAMMING ABSTRACTIONS IN C A SECOND COURSE IN COMPUTER SCIENCE
[美]ERIC S.ROBERTS著2004 年出版819 页ISBN: