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

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational and Ambient Intelligence [electronic resource] : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebasti谩n, Spain, June 20-22, 2007. Proceedings

0
索取号：
作者：Sandoval、 Francisco.、Prieto、 Alberto.、Cabestany、 Joan.、Gra帽a、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Telerobotics [electronic resource]

0
索取号：
作者：Ferre、 Manuel.、Buss、 Martin.、Aracil、 Rafael.、Melchiorri、 Claudio.、Balaguer、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Neuroendocrine Cells and Peptidergic Innervation in Human and Rat Prostate [electronic resource]

0
索取号：
作者：Santamar铆a、 Luis.、Alonso、 Lucia.、Ingelmo、 Ildefonso.、Pozuelo、 Jos茅 Manuel.、Rodriguez、 Rosario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Control Theory and Finance [electronic resource]

0
索取号：
作者：Sarychev、 Andrey.、Shiryaev、 Albert.、Guerra、 Manuel.、Grossinho、 Maria do Ros谩rio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Haptics: Perception, Devices and Scenarios [electronic resource] : 6th International Conference, EuroHaptics 2008 Madrid, Spain, June 10-13, 2008 Proceedings

0
索取号：
作者：Ferre、 Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Otorhinolaryngology, Head and Neck Surgery [electronic resource]

0
索取号：
作者：Anniko、 Matti.、Bernal-Sprekelsen、 Manuel.、Bonkowsky、 Viktor.、Bradley、 Patrick J.、Iurato、 Salvatore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号：
作者：Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent-Oriented Information Systems III [electronic resource] : 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers

0
索取号：
作者：Kolp、 Manuel.、Bresciani、 Paolo.、Henderson-Sellers、 Brian.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

0
索取号：
作者：Bravetti、 Mario.、N煤帽ez、 Manuel.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Economic Impact of the Container Traffic at the Port of Algeciras Bay [electronic resource]

0
索取号：
作者：Coronado、 Daniel.、Acosta、 Manuel.、Cerb谩n、 Mar铆a del Mar.、L贸pez、 Mar铆a del Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Light Scattering in Solid IX [electronic resource]

0
索取号：
作者：Cardona、 Manuel.、Merlin、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

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.

Perspectives in Conceptual Modeling [electronic resource] : ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005. Proceedings

0
索取号：
作者：Akoka、 Jacky.、Liddle、 Stephen W.、Song、 Il-Yeol.、Bertolotto、 Michela.、Comyn-Wattiau、 Isabelle.、Heuvel、 Willem-Jan.、Kolp、 Manuel.、Trujillo、 Juan.、Kop、 Christian.、Mayr、 Heinrich C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

0
索取号：
作者：Boyd、 Colin.、Gonz谩lez Nieto、 Juan Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.