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

Basic concepts in bayesian statistics

0
索取号:
作者:Bernardo、 Jose.、
出版社:Oxford University Press, 2013.

Trees in Patagonia [electronic resource]

0
索取号:
作者:Gut、 Bernardo.、SpringerLink (Online service)、
出版社:Basel : Birkh盲user Basel, 2008.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Global Administrative Law and EU Administrative Law [electronic resource] : Relationships, Legal Issues and Comparison

0
索取号:
作者:Chiti、 Edoardo.、Mattarella、 Bernardo Giorgio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Artificial Intelligence-SBIA 2010 [electronic resource] : 20th Brazilian Symposium on Artificial Intelligence, S茫o Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings

0
索取号:
作者:Rocha Costa、 Ant么nio Carlos.、Vicari、 Rosa Maria.、Tonidandel、 Flavio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Performance Engineering [electronic resource] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

0
索取号:
作者:Aldini、 Alessandro.、Bernardo、 Marco.、Bononi、 Luciano.、Cortellessa、 Vittorio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号:
作者:Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Evaluation of Multilingual and Multi-modal Information Retrieval [electronic resource] : 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers

0
索取号:
作者:Peters、 Carol.、Clough、 Paul.、Gey、 Fredric C.、Karlgren、 Jussi.、Magnini、 Bernardo.、Oard、 Douglas W.、Rijke、 Maarten.、Stempfhuber、 Maximilian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Accessing Multilingual Information Repositories [electronic resource] : 6th Workshop of the Cross-Language Evalution Forum, CLEF 2005, Vienna, Austria, 21-23 September, 2005, Revised Selected Papers

0
索取号:
作者:Peters、 Carol.、Gey、 Fredric C.、Gonzalo、 Julio.、M眉ller、 Henning.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、Rijke、 Maarten.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment [electronic resource] : First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers

0
索取号:
作者:Qui帽onero-Candela、 Joaquin.、Dagan、 Ido.、Magnini、 Bernardo.、d鈥橝lch茅-Buc、 Florence.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Multilingual Information Access for Text, Speech and Images [electronic resource] : 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers

0
索取号:
作者:Peters、 Carol.、Clough、 Paul.、Gonzalo、 Julio.、Jones、 Gareth J. F.、Kluck、 Michael.、Magnini、 Bernardo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类