Your search returned 20 results.

Results
1.	Image from Amazon.com	Dissemination of Information in Communication Networks [electronic resource] : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by Juraj Hromkovič, Ralf Klasing, Andrzej Pelc, Peter Ružička†, Walter Unger. by Hromkovič, Juraj [author.] Klasing, Ralf [author.] Pelc, Andrzej [author.] Ružička†, Peter [author.] Unger, Walter [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 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	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Hutter, Marcus [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 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	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Kurki-Suonio, Reino [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 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	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W [author.] Brauer, W [editor.] Rozenberg, G [editor.] Salomaa, A [editor.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 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	Design and Analysis of Randomized Algorithms [electronic resource] : Introduction to Design Paradigms / by Juraj HromkoviČ. by HromkoviČ, Juraj [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 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	Complexity Theory and Cryptology [electronic resource] : An Introduction to Cryptocomplexity / by Jörg Rothe. by Rothe, Jörg [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 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	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg [author.] Grohe, Martin [author.] SpringerLink (Online service) Series: Texts 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)
8.	Image from Amazon.com	Software Engineering 1 [electronic resource] : Abstraction and Modelling / by Dines Bjørner. by Bjørner, Dines [author.] SpringerLink (Online service) Series: Texts 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)
9.	Image from Amazon.com	Grammatical Picture Generation [electronic resource] : A Tree-Based Approach / by Frank Drewes. by Drewes, Frank [author.] SpringerLink (Online service) Series: Texts 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)
10.	Image from Amazon.com	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Bjørner, Dines [author.] SpringerLink (Online service) Series: Texts 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)
11.	Image from Amazon.com	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich [author.] Kolaitis, Phokion G [author.] Libkin, Leonid [author.] Marx, Maarten [author.] Spencer, Joel [author.] Vardi, Moshe Y [author.] Venema, Yde [author.] Weinstein, Scott [author.] SpringerLink (Online service) Series: Texts 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)
12.	Image from Amazon.com	Modelling Distributed Systems [electronic resource] / by Wan Fokkink. by Fokkink, Wan [author.] SpringerLink (Online service) Series: Texts 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)
13.	Image from Amazon.com	Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Kröger, Fred [author.] Merz, Stephan [author.] SpringerLink (Online service) Series: Texts 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)
14.	Image from Amazon.com	Dissemination of Information in Optical Networks [electronic resource] : From Technology to Algorithms In Cooperation with Ralf Klasing / by Subir Bandyopadhyay. by Bandyopadhyay, Subir [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS Series, On behalf of the European Association for Theoretical Computer Science (EATCS)Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 Other title: In Cooperation with Ralf Klasing 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	Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. by Kroening, Daniel [author.] Strichman, Ofer [author.] SpringerLink (Online service) Series: Texts 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)
16.	Image from Amazon.com	Introduction to Concurrency Theory [electronic resource] : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari. by Gorrieri, Roberto [author.] Versari, Cristian [author.] SpringerLink (Online service) Series: Texts 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)
17.	Image from Amazon.com	Petri Net Synthesis [electronic resource] / by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Badouel, Eric [author.] Bernardinello, Luca [author.] Darondeau, Philippe [author.] SpringerLink (Online service) Series: Texts 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)
18.	Image from Amazon.com	Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. by Jukna, Stasys [author.] SpringerLink (Online service) Series: Texts 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)
19.	Image from Amazon.com	Graphs and Algorithms in Communication Networks [electronic resource] : Studies in Broadband, Optical, Wireless and Ad Hoc Networks / edited by Arie Koster, Xavier Muñoz. by Koster, Arie [editor.] Muñoz, Xavier [editor.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
20.	Image from Amazon.com	Exact Exponential Algorithms [electronic resource] / by Fedor V. Fomin, Dieter Kratsch. by Fomin, Fedor V [author.] Kratsch, Dieter [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 20 results.