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

Search

Your search returned 8 results.

	1.	Graph and Model Transformation electronic resource General Framework and Applications / by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann. by Ehrig, Hartmut [author.] \| Ermel, Claudia [author.] \| Golas, Ulrike [author.] \| Hermann, Frank [author.] \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Fundamentals of Algebraic Graph Transformation Электронный ресурс by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Ehrig, Hartmut \| Ehrig, Karsten \| Prange, Ulrike \| Taentzer, Gabriele \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science. An EATCS SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Words and Graphs electronic resource by Sergey Kitaev, Vadim Lozin. by Kitaev, Sergey [author.] \| Lozin, Vadim [author.] \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science. An EATCS SeriesEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Fault-Tolerant Search Algorithms [electronic resource] : Reliable Computation with Unreliable Information / by Ferdinando Cicalese. by Cicalese, Ferdinando [author.] \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science. An EATCS SeriesSource: 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)
	5.	Unfoldings Электронный ресурс A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier \| Heljanko, Keijo \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science An EATCS SeriesSource: 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)
	6.	Theoretical Aspects of Local Search Электронный ресурс by Wil Michiels, Jan Korst, Emile Aarts. by Michiels, Wil \| Aarts, Emile \| Korst, Jan \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science, An EATCS SeriesSource: 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.	Time-Dependent Scheduling Электронный ресурс by Stanisław Gawiejnowicz ; edited by Wilfried Brauer, Juraj Hromkovič, Grzegorz Rozenberg, Arto Salomaa. by Gawiejnowicz, Stanisław \| Brauer, Wilfried \| Hromkovič, Juraj \| Rozenberg, Grzegorz \| Salomaa, Arto \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science, An EATCS SeriesSource: 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)
	8.	Logics of Specification Languages Электронный ресурс edited by Dines Bjørner, Martin C. Henson. by Bjørner, Dines \| Henson, Martin C \| SpringerLink (Online service). Series: Monographs in Theoretical Computer Science, An EATCS SeriesSource: 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)