Library Services | Technical University of Kenya Search for 'se,phr:"Texts in Theoretical Computer Science. An EATCS Series"'

Dissemination of Information in Communication Networks

By Hromkovič, Juraj.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540266631

Place Hold on Dissemination of Information in Communication Networks

Universal Artificial Intellegence

By Hutter, Marcus.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540268772

Place Hold on Universal Artificial Intellegence

A Practical Theory of Reactive Systems

By Kurki-Suonio, Reino.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540273486

Place Hold on A Practical Theory of Reactive Systems

Abstract Computing Machines

By Kluge, W.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540273592

Place Hold on Abstract Computing Machines

Design and Analysis of Randomized Algorithms

By HromkoviČ, Juraj.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540279037

Place Hold on Design and Analysis of Randomized Algorithms

Complexity Theory and Cryptology

By Rothe, Jörg.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 9783540285205

Place Hold on Complexity Theory and Cryptology

Parameterized Complexity Theory

By Flum, Jörg.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540299530

Place Hold on Parameterized Complexity Theory

Software Engineering 1

By Bjørner, Dines.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540312888

Place Hold on Software Engineering 1

Software Engineering 2

By Bjørner, Dines.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 9783540331933

Place Hold on Software Engineering 2

Temporal Logic and State Systems

By Kröger, Fred.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540686354

Place Hold on Temporal Logic and State Systems

Finite Model Theory and Its Applications

By Grädel, Erich.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540688044

Place Hold on Finite Model Theory and Its Applications

Dissemination of Information in Optical Networks

By Bandyopadhyay, Subir.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540728757

Place Hold on Dissemination of Information in Optical Networks

Modelling Distributed Systems

By Fokkink, Wan.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 9783540739388

Place Hold on Modelling Distributed Systems

Decision Procedures

By Kroening, Daniel.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 9783540741053

Place Hold on Decision Procedures

Graphs and Algorithms in Communication Networks

By Koster, Arie.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642022500

Place Hold on Graphs and Algorithms in Communication Networks

Exact Exponential Algorithms

By Fomin, Fedor V.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 9783642165337

Place Hold on Exact Exponential Algorithms

Extremal Combinatorics

By Jukna, Stasys.. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 9783642173646

Place Hold on Extremal Combinatorics

Extremal Combinatorics

By Jukna, Stasys.. . XXIV, 308 p. 9783642173646

Place Hold on Extremal Combinatorics

Graphs and Algorithms in Communication Networks

By Koster, Arie.. . XXVII, 426p. 97 illus. 9783642022500

Place Hold on Graphs and Algorithms in Communication Networks

Exact Exponential Algorithms

By Fomin, Fedor V.. . XIV, 206 p. 9783642165337

Place Hold on Exact Exponential Algorithms