大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference on Computing Fixed Points with Applications 的图书(共15125本)

Law and the Semantic Web [electronic resource] : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

0
索取号:
作者:Benjamins、 V. Richard.、Casanovas、 Pompeu.、Breuker、 Joost.、Gangemi、 Aldo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

0
索取号:
作者:Faltings、 Boi V.、Petcu、 Adrian.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

0
索取号:
作者:Konagaya、 Akihiko.、Satou、 Kenji.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

0
索取号:
作者:Lau、 Kung-Kiu.、Banach、 Richard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Computer Science-ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

0
索取号:
作者:Grumbach、 St茅phane.、Sui、 Liying.、Vianu、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Biometric Person Authentication [electronic resource] : International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings

0
索取号:
作者:Li、 Stan Z.、Sun、 Zhenan.、Tan、 Tieniu.、Pankanti、 Sharath.、Chollet、 G茅rard.、Zhang、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

0
索取号:
作者:Jin、 Hai.、Reed、 Daniel.、Jiang、 Wenbin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

0
索取号:
作者:Lupanov、 Oleg B.、Kasim-Zade、 Oktay M.、Chaskin、 Alexander V.、Steinh枚fel、 Kathleen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

0
索取号:
作者:Sch枚nw盲lder、 J眉rgen.、Serrat、 Joan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Progress in Pattern Recognition, Image Analysis and Applications [electronic resource] : 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005. Proceedings

0
索取号:
作者:Sanfeliu、 Alberto.、Cort茅s、 Manuel Lazo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

String Processing and Information Retrieval [electronic resource] : 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings

0
索取号:
作者:Consens、 Mariano.、Navarro、 Gonzalo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

0
索取号:
作者:Romijn、 Judi.、Smith、 Graeme.、Pol、 Jaco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Pattern Recognition and Image Analysis [electronic resource] : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II

0
索取号:
作者:Marques、 Jorge S.、P茅rez de la Blanca、 Nicol谩s.、Pina、 Pedro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Pattern Recognition and Image Analysis [electronic resource] : Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I

0
索取号:
作者:Marques、 Jorge S.、P茅rez de la Blanca、 Nicol谩s.、Pina、 Pedro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Conditionals, Information, and Inference [electronic resource] : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

0
索取号:
作者:Kern-Isberner、 Gabriele.、R枚dder、 Wilhelm.、Kulmann、 Friedhelm.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Handbook on Scheduling [electronic resource] : From Theory to Applications

0
索取号:
作者:B艂a偶ewicz、 Jacek.、Ecker、 Klaus H.、Pesch、 Erwin.、Schmidt、 G眉nter.、W臋glarz、 Jan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类