大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Kowalewski 的图书(共5本)

Formal Methods for Industrial Critical Systems [electronic resource] : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

0
索取号：
作者：Kowalewski、 Stefan.、Roveri、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Mechanics of the 21st Century [electronic resource] : Proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15鈥ⱠAugust 2004

0
索取号：
作者：Gutkowski、 Witold.、Kowalewski、 Tomasz A.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Mechanics of the 21st Century : proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15-21 August 2004

0
索取号：O31-53/E901/21
作者：International Congress of Theoretical and Applied Mechanics (21st : 2004 : Warsaw、 Poland)、Gutkowski、 W. (Witold)、 1928-、Kowalewski、 Tomasz A.、
出版社：Dordrecht : Springer, 2005.

Statistical sampling : past, present, and future theoretical and practical

0
索取号：
作者：Symposium on Statistical Sampling (1st : 1990 : Philadelphia)、Kowalewski、 Milton J.、 1944-、Tye、 Josh B.、 1940-、ASTM Committee E-11 on Quality and Statistics.、
出版社：Philadelphia, PA : ASTM, c1990.