搜索包含 Mathematical Software Symposium 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

	Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers 0 索取号：作者：Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Survey Lectures 1943鈥ⰰ4 [electronic resource] 0 索取号：作者：Eckmann、 Beno.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematical Foundation of Geodesy [electronic resource] : Selected Papers of Torben Krarup 0 索取号：作者：Borre、 Kai.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications 0 索取号：作者：Garcia、 Alessandro.、Choren、 Ricardo.、Lucena、 Carlos.、Giorgini、 Paolo.、Holvoet、 Tom.、Romanovsky、 Alexander.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Analytical and Numerical Approaches to Mathematical Relativity [electronic resource] 0 索取号：作者：Frauendiener、 J枚rg.、Giulini、 Domenico J.W.、Perlick、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Product Lines [electronic resource] 0 索取号：作者：K盲k枚la、 Timo.、Duenas、 Juan Carlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings 0 索取号：作者：Valmari、 Antti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings 0 索取号：作者：Sestoft、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings 0 索取号：作者：Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings 0 索取号：作者：Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings 0 索取号：作者：Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings 0 索取号：作者：Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Computer Music Modeling and Retrieval [electronic resource] : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers 0 索取号：作者：Kronland-Martinet、 Richard.、Voinier、 Thierry.、Ystad、 S酶lvi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Mathematical Survey Lectures 1943鈥ⰰ4 [electronic resource] 0 索取号：作者：Eckmann、 Beno.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Mathematical Foundation of Geodesy [electronic resource] : Selected Papers of Torben Krarup 0 索取号：作者：Borre、 Kai.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design 0 索取号：作者：Bj酶ner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications 0 索取号：作者：Garcia、 Alessandro.、Choren、 Ricardo.、Lucena、 Carlos.、Giorgini、 Paolo.、Holvoet、 Tom.、Romanovsky、 Alexander.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Analytical and Numerical Approaches to Mathematical Relativity [electronic resource] 0 索取号：作者：Frauendiener、 J枚rg.、Giulini、 Domenico J.W.、Perlick、 Volker.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings 0 索取号：作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		New Results in Numerical and Experimental Fluid Mechanics V [electronic resource] : Contributions to the 14th STAB/DGLR Symposium Bremen, Germany 2004 0 索取号：作者：Rath、 Hans-Josef.、Holze、 Carsten.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Software Product Lines [electronic resource] 0 索取号：作者：K盲k枚la、 Timo.、Duenas、 Juan Carlos.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Software Engineering 2 [electronic resource] : Specification of Systems and Languages 0 索取号：作者：Bj酶rner、 Dines.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings 0 索取号：作者：Valmari、 Antti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings 0 索取号：作者：Sestoft、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings 0 索取号：作者：Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings 0 索取号：作者：Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings 0 索取号：作者：Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings 0 索取号：作者：Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.