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

The philosophy of art : the question of definition : from Hegel to post-Dantian theories

0
索取号：
作者：Andina、 Tiziana.、
出版社：London : Bloomsbury Academic, 2013.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号：
作者：H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Access Evaluation. Multilinguality, Multimodality, and Visual Analytics [electronic resource] : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012. Proceedings

0
索取号：
作者：Catarci、 Tiziana.、Forner、 Pamela.、Hiemstra、 Djoerd.、Pe帽as、 Anselmo.、Santucci、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings

0
索取号：
作者：Calamoneri、 Tiziana.、Diaz、 Josep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Service-Oriented Computing-ICSOC 2008 [electronic resource] : 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings

0
索取号：
作者：Bouguettaya、 Athman.、Krueger、 Ingolf.、Margaria、 Tiziana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Process Improvement [electronic resource] : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Baddoo、 Nathan.、Margaria、 Tiziana.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

0
索取号：
作者：Calamoneri、 Tiziana.、Finocchi、 Irene.、Italiano、 Giuseppe F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Journal on Data Semantics V [electronic resource]

0
索取号：
作者：Spaccapietra、 Stefano.、Atzeni、 Paolo.、Chu、 Wesley W.、Catarci、 Tiziana.、Sycara、 Katia P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Semantic Web Services Challenge [electronic resource] : Results from the First Year

0
索取号：
作者：Petrie、 Charles.、Margaria、 Tiziana.、Lausen、 Holger.、Zaremba、 Michal.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2009.

Network culture : politics for the information age

0
索取号：G201/E20062
作者：Terranova、 Tiziana、 1967-、
出版社：London : Pluto Press, 2004.