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

Search

Your search returned 4 results.

	1.	Engineering Theories of Software Intensive Systems Электронный ресурс Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare. by Broy, Manfred \| Grünbauer, Johannes \| Harel, David \| Hoare, Tony \| SpringerLink (Online service). Series: NATO Science Series, Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Principles of the Spin Model Checker Электронный ресурс by Mordechai Ben-Ari. by Ben-Ari, Mordechai \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Programming Languages and Operational Semantics electronic resource A Concise Overview / by Maribel Fernández. by Fernández, Maribel [author.] \| SpringerLink (Online service). Series: Undergraduate Topics in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Central European Functional Programming School Электронный ресурс Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / 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, Horváth Zoltán, Rinus Plasmeijer, Anna Soós, Viktória Zsók by Hutchison, David \| Horváth, Zoltán \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Plasmeijer, Rinus \| Soós, Anna \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Weikum, Gerhard \| Zsók, Viktória \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)