Научная библиотека ТГУ catalog › Results of search for 'an:"312547"'

Search

Your search returned 8 results.

	1.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change electronic resource 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Process Design for Natural Scientists electronic resource An Agile Model-Driven Approach / edited by Anna-Lena Lamprecht, Tiziana Margaria. by Lamprecht, Anna-Lena [editor.] \| Margaria, Tiziana [editor.] \| SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Leveraging Applications of Formal Methods, Verification and Validation Электронный ресурс Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana \| Steffen, Bernhard \| SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Semantic Web Services Challenge Электронный ресурс Results from the First Year / edited by Ramesh Jain, Amit Sheth, Charles Petrie, Tiziana Margaria, Holger Lausen, Michal Zaremba. by Jain, Ramesh \| Lausen, Holger \| Margaria, Tiziana \| Petrie, Charles \| Sheth, Amit \| Zaremba, Michal \| SpringerLink (Online service). Series: Semantic Web And Beyond, Computing for Human ExperienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications electronic resource 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Software Process Improvement Электронный ресурс 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings / edited by Pekka Abrahamsson, Nathan Baddoo, Tiziana Margaria, Richard Messnarz. by Abrahamsson, Pekka \| Baddoo, Nathan \| Margaria, Tiziana \| Messnarz, Richard \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	Service-Oriented Computing вЂ“ ICSOC 2008 Электронный ресурс 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria. by Hutchison, David \| Bouguettaya, Athman \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Krueger, Ingolf \| Margaria, Tiziana \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Software Business. From Physical Products to Software Services and Solutions [electronic resource] : 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings / edited by Georg Herzwurm, Tiziana Margaria. by Herzwurm, Georg [editor.] \| Margaria, Tiziana [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)