大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Hypercomputation [electronic resource] : Computing Beyond the Church-Turing Barrier

0
索取号:
作者:Syropoulos、 Apostolos.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2008.

Foundations and Applications of Sensor Management [electronic resource]

0
索取号:
作者:Hero、 Alfred O.、Casta帽贸n、 David A.、Cochran、 Douglas.、Kastella、 Keith.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2008.

An Introduction to Scientific Computing [electronic resource] : Twelve Computational Projects Solved with MATLAB

0
索取号:
作者:Danaila、 Ionut.、Joly、 Pascal.、Kaber、 Sidi Mahmoud.、Postel、 Marie.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2007.

A Remarkable Collection of Babylonian Mathematical Texts [electronic resource] : Manuscripts in the Sch酶yen Collection Cuneiform Texts I

0
索取号:
作者:Friberg、 J枚ran.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2007.

The Geometry of an Art [electronic resource] : The History of the Mathematical Theory of Perspective from Alberti to Monge

0
索取号:
作者:Andersen、 Kirsti.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2007.

Extending the Horizons: Advances in Computing, Optimization, and Decision Technologies [electronic resource]

0
索取号:
作者:Baker、 Edward K.、Joseph、 Anito.、Mehrotra、 Anuj.、Trick、 Michael A.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2007.

The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof

0
索取号:
作者:Krantz、 Steven G.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2011.

Integrated Research in GRID Computing [electronic resource] : CoreGRID Integration Workshop 2005 (Selected Papers) November 28鈥㰬 Pisa, Italy

0
索取号:
作者:Gorlatch、 Sergei.、Danelutto、 Marco.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2007.

Foundations of Hyperbolic Manifolds [electronic resource]

0
索取号:
作者:Ratcliffe、 John G.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2006.

Measurement Uncertainty [electronic resource] : An Approach via the Mathematical Theory of Evidence

0
索取号:
作者:Salicone、 Simona.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2007.

Computing the Continuous Discretely [electronic resource] : Integer-Point Enumeration in Polyhedra

0
索取号:
作者:Beck、 Matthias.、Robins、 Sinai.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2007.

Mathematical Problems in Image Processing [electronic resource] : Partial Differential Equations and the Calculus of Variations

0
索取号:
作者:Aubert、 Gilles.、Kornprobst、 Pierre.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2006.

An Introduction to the Mathematical Theory of Dynamic Materials [electronic resource]

0
索取号:
作者:Lurie、 Konstantin A.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2007.

Mathematical Methods in Robust Control of Linear Stochastic Systems [electronic resource]

0
索取号:
作者:Dragan、 Vasile.、Morozan、 Toader.、Stoica、 Adrian-Mihail.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2006.

Foundations and Applications of Mis [electronic resource] : A Model Theory Approach

0
索取号:
作者:Takahara、 Yasuhiko.、Liu、 Yongmei.、Klir、 George J.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2006.

History of Computing and Education 2 (HCE2) [electronic resource] : IFIP 19th World Computer Congress, WG 9.7, TC 9: History of Computing, Proceedings of the Second Conference on the History of Computing and Education, August 21鈥⴬ 2006, Santiago, Chile

0
索取号:
作者:Impagliazzo、 John.、SpringerLink (Online service)、
出版社:Boston, MA : Springer US, 2006.
最近添加的分类