Your search returned 15 results.

Results
	1.		Image from Amazon.com	Fundamentals of Algebraic Graph Transformation [electronic resource] / by Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. by Ehrig, Hartmut [author.] Ehrig, Karsten [author.] Prange, Ulrike [author.] Taentzer, Gabriele [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	2.		Image from Amazon.com	Theoretical Aspects of Local Search [electronic resource] / by Wil Michiels, Jan Korst, Emile Aarts. by Michiels, Wil [author.] Korst, Jan [author.] Aarts, Emile [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science, An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	3.		Image from Amazon.com	Time-Dependent Scheduling [electronic resource] / by Stanisław Gawiejnowicz. by Gawiejnowicz, Stanisław [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science, An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	4.		Image from Amazon.com	Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Bjørner, Dines [editor.] Henson, Martin C [editor.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science, An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	5.		Image from Amazon.com	Unfoldings [electronic resource] : A Partial-Order Approach to Model Checking / by Javier Esparza, Keijo Heljanko. by Esparza, Javier [author.] Heljanko, Keijo [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	6.		Image from Amazon.com	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 Series Edition: 1st ed. 2015. Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	7.		Image from Amazon.com	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 Series Edition: 1st ed. 2015. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	8.		Image from Amazon.com	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 SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	9.		Image from Amazon.com	Foundations of Algebraic Specification and Formal Software Development [electronic resource] / by Donald Sannella, Andrzej Tarlecki. by Sannella, Donald [author.] Tarlecki, Andrzej [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	10.		Image from Amazon.com	Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. by Furia, Carlo A [author.] Mandrioli, Dino [author.] Morzenti, Angelo [author.] Rossi, Matteo [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	11.		Image from Amazon.com	Theoretical Aspects of Distributed Computing in Sensor Networks [electronic resource] / edited by Sotiris Nikoletseas, José D.P. Rolim. by Nikoletseas, Sotiris [editor.] Rolim, José D.P [editor.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	12.		Image from Amazon.com	Deterministic Extraction from Weak Random Sources [electronic resource] / by Ariel Gabizon. by Gabizon, Ariel [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	13.		Image from Amazon.com	Patterns in Permutations and Words [electronic resource] / by Sergey Kitaev. by Kitaev, Sergey [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	14.		Image from Amazon.com	Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler. by Droste, Manfred [editor.] Kuich, Werner [editor.] Vogler, Heiko [editor.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
	15.		Image from Amazon.com	Stochastic Coalgebraic Logic [electronic resource] / by Ernst-Erich Doberkat. by Doberkat, Ernst-Erich [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Copyright © 2020 Alfaisal University Library. All Rights Reserved.
Tel: +966 11 2158948 Fax: +966 11 2157910 Email: librarian@alfaisal.edu