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

Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

0
索取号：
作者：Clarke、 Edmund.、Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

0
索取号：
作者：Vos、 Alexis.、Wille、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

0
索取号：
作者：Croitoru、 Madalina.、Rudolph、 Sebastian.、Wilson、 Nic.、Howse、 John.、Corby、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Theorie and Applications of Formal Argumentation [electronic resource] : First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers

0
索取号：
作者：Modgil、 Sanjay.、Oren、 Nir.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

0
索取号：
作者：Sloane、 Anthony.、A脽mann、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in User Modeling [electronic resource] : UMAP 2011 Workshops, Girona, Spain, July 11-15, 2011, Revised Selected Papers

0
索取号：
作者：Ardissono、 Liliana.、Kuflik、 Tsvi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

0
索取号：
作者：Mossakowski、 Till.、Kreowski、 Hans-J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mathematical Modeling and Computational Science [electronic resource] : International Conference, MMCP 2011, Star谩 Lesn谩, Slovakia, July 4-8, 2011, Revised Selected Papers

0
索取号：
作者：Adam、 Gheorghe.、Bu拧a、 J谩n.、Hnati膷、 Michal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Algebraic and Numeric Biology [electronic resource] : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

0
索取号：
作者：Horimoto、 Katsuhisa.、Nakatsui、 Masahiko.、Popov、 Nikolaj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

0
索取号：
作者：Kannan、 Rajkumar.、Andres、 Frederic.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Knowledge Representation for Health-Care [electronic resource] : AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2-6, 2011. Revised Selected Papers

0
索取号：
作者：Ria帽o、 David.、Teije、 Annette.、Miksch、 Silvia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Business Intelligence [electronic resource] : First European Summer School, eBISS 2011, Paris, France, July 3-8, 2011, Tutorial Lectures

0
索取号：
作者：Aufaure、 Marie-Aude.、Zim谩nyi、 Esteban.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data Security and Security Data [electronic resource] : 27th British National Conference on Databases, BNCOD 27, Dundee, UK, June 29 - July 1, 2010. Revised Selected Papers

0
索取号：
作者：MacKinnon、 Lachlan M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

0
索取号：
作者：Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

e-Business and Telecommunications [electronic resource] : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers

0
索取号：
作者：Obaidat、 Mohammad S.、Tsihrintzis、 George A.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers

0
索取号：
作者：Schreck、 Pascal.、Narboux、 Julien.、Richter-Gebert、 J眉rgen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.