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

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

0
索取号：
作者：Julliand、 Jacques.、Kouchnarenko、 Olga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号：
作者：Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号：
作者：Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号：
作者：Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Principles of Distributed Systems [electronic resource] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

0
索取号：
作者：Shvartsman、 Mariam Momenzadeh Alexander A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

ICAME 2005 [electronic resource] : Proceedings of the 28th International Conference on the Applications of the M枚ssbauer Effect (ICAME 2005) held in Montpellier, France, 4鈥頓eptember 2005 Volume II (Part III鈥揤/V)

0
索取号：
作者：Lippens、 P.-E.、Jumas、 J.-C.、G茅nin、 J.-M. R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

ICAME 2005 [electronic resource] : Proceedings of the 28th International Conference on the Applications of the M枚ssbauer Effect (ICAME 2005) held in Montpellier, France, 4鈥頓eptember 2005, Volume I (Part I鈥揑I/V)

0
索取号：
作者：Lippens、 P. -E.、Jumas、 J. -C.、G茅nin、 J. -M. R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、Herrero、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、Herrero、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Principles and Practice of Constraint Programming - CP 2006 [electronic resource] : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

0
索取号：
作者：Benhamou、 Fr茅d茅ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

0
索取号：
作者：Najm、 Elie.、Pradat-Peyre、 Jean-Fran莽ois.、Donzeau-Gouge、 V茅ronique Vigui茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006. Proceedings

0
索取号：
作者：Ga茂ti、 Dominique.、Pujolle、 Guy.、Al-Shaer、 Ehab.、Calvert、 Ken.、Dobson、 Simon.、Leduc、 Guy.、Martikainen、 Olli.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

0
索取号：
作者：Asarin、 Eugene.、Bouyer、 Patricia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.