搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书(共7863本)

	International Safeguards and Satellite Imagery [electronic resource] : Key Features of the Nuclear Fuel Cycle and Computer-Based Analysis 0 索取号：作者：Stein、 Gotthard.、Richter、 Bernd.、Nussbaum、 Sven.、Niemeyer、 Irmgard.、Jasani、 Bhupendra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings 0 索取号：作者：Coeurjolly、 David.、Sivignon、 Isabelle.、Tougne、 Laure.、Dupont、 Florent.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings 0 索取号：作者：Garrigue、 Jacques.、Hermenegildo、 Manuel V.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		The European Information Society [electronic resource] : Taking Geoinformation Science One Step Further 0 索取号：作者：Bernard、 Lars.、Friis-Christensen、 Anders.、Pundt、 Hardy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings 0 索取号：作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings 0 索取号：作者：Pautasso、 Cesare.、Tanter、脡ric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, B煤zios, Brazil, April 7-11, 2008. Proceedings 0 索取号：作者：Laber、 Eduardo Sany.、Bornstein、 Claudson.、Nogueira、 Loana Tito.、Faria、 Luerbio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 0 索取号：作者：King、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 0 索取号：作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 0 索取号：作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings 0 索取号：作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings 0 索取号：作者：Amadio、 Roberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Intelligent Computer Techniques in Applied Electromagnetics [electronic resource] 0 索取号：作者：Wiak、 S艂awomir.、Krawczyk、 Andrzej.、Dolezel、 Ivo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Data Mining: Foundations and Practice [electronic resource] 0 索取号：作者：Lin、 Tsau Young.、Xie、 Ying.、Wasilewska、 Anita.、Liau、 Churn-Jung.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	European Robotics Symposium 2008 [electronic resource] 0 索取号：作者：Bruyninckx、 Herman.、P艡eu膷il、 Libor.、Kulich、 Miroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		VizSEC 2007 [electronic resource] : Proceedings of the Workshop on Visualization for Computer Security 0 索取号：作者：Goodall、 John R.、Conti、 Gregory.、Ma、 Kwan-Liu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	International Safeguards and Satellite Imagery [electronic resource] : Key Features of the Nuclear Fuel Cycle and Computer-Based Analysis 0 索取号：作者：Stein、 Gotthard.、Richter、 Bernd.、Nussbaum、 Sven.、Niemeyer、 Irmgard.、Jasani、 Bhupendra.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings 0 索取号：作者：Coeurjolly、 David.、Sivignon、 Isabelle.、Tougne、 Laure.、Dupont、 Florent.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings 0 索取号：作者：Garrigue、 Jacques.、Hermenegildo、 Manuel V.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		The European Information Society [electronic resource] : Taking Geoinformation Science One Step Further 0 索取号：作者：Bernard、 Lars.、Friis-Christensen、 Anders.、Pundt、 Hardy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Relations and Kleene Algebra in Computer Science [electronic resource] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw枚rth, Germany, April 7-11, 2008. Proceedings 0 索取号：作者：Berghammer、 Rudolf.、M枚ller、 Bernhard.、Struth、 Georg.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings 0 索取号：作者：Pautasso、 Cesare.、Tanter、脡ric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, B煤zios, Brazil, April 7-11, 2008. Proceedings 0 索取号：作者：Laber、 Eduardo Sany.、Bornstein、 Claudson.、Nogueira、 Loana Tito.、Faria、 Luerbio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 0 索取号：作者：King、 Andy.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings 0 索取号：作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers 0 索取号：作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings 0 索取号：作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings 0 索取号：作者：Amadio、 Roberto.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Intelligent Computer Techniques in Applied Electromagnetics [electronic resource] 0 索取号：作者：Wiak、 S艂awomir.、Krawczyk、 Andrzej.、Dolezel、 Ivo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Data Mining: Foundations and Practice [electronic resource] 0 索取号：作者：Lin、 Tsau Young.、Xie、 Ying.、Wasilewska、 Anita.、Liau、 Churn-Jung.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	European Robotics Symposium 2008 [electronic resource] 0 索取号：作者：Bruyninckx、 Herman.、P艡eu膷il、 Libor.、Kulich、 Miroslav.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		VizSEC 2007 [electronic resource] : Proceedings of the Workshop on Visualization for Computer Security 0 索取号：作者：Goodall、 John R.、Conti、 Gregory.、Ma、 Kwan-Liu.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.