1. Formal Methods for Software Engineering [electronic resource] : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4502 Cham : Springer International Publishing : Imprint: Springer, 2022. Book No holdings available for this record
2. Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011. Book No holdings available for this record
3. Elements of Finite Model Theory [electronic resource] / by Leonid Libkin. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Libkin, Leonid [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
4. Interactive Theorem Proving and Program Development [electronic resource] : Coq’Art: The Calculus of Inductive Constructions / by Yves Bertot, Pierre Castéran. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Bertot, Yves [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
5. The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation / by Simona Ronchi Della Rocca, Luca Paolini. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Ronchi Della Rocca, Simona [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
6. Algorithmics for Hard Problems [electronic resource] : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics / by Juraj Hromkovič. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Hromkovič, Juraj [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book No holdings available for this record
7. Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book No holdings available for this record
8. Computable Analysis [electronic resource] : An Introduction / by Klaus Weihrauch. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Weihrauch, Klaus [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000. Book No holdings available for this record
9. Introduction to Process Algebra [electronic resource] / by Wan Fokkink. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Fokkink, Wan [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000. Book No holdings available for this record
10. Introduction to circuit complexity : a uniform approach / Heribert Vollmer. Texts in Theoretical Computer Science. An EATCS Series, Vollmer, Heribert, 1964- [Browse] Berlin ; Heidelberg : Springer-Verlag, 1999. Book No holdings available for this record
11. Parsing schemata : a framework for specification and analysis of parsing algorithms / Klaas Sikkel. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Sikkel, Klaas, 1954- [Browse] Berlin, Germany : Springer, [1997]©1997 Book No holdings available for this record
12. Structural complexity / Jose L. Balcazar, Josep Diaz, Joaquim Gabarro. Texts in Theoretical Computer Science. An EATCS Series,, Texts in Theoretical Computer Science. An EATCS Series, 1862-4499 Balcázar, José Luis [Browse] Berlin, Germany : Springer, [1995]©1995 Book No holdings available for this record
13. Dissemination of information in optical networks : from technology to algorithms / Subir Bandyopadhyay in cooperation with Ralf Klasing. Bandyopadhyay, Subir [Browse] Berlin ; London : Springer, 2007. Book ReCAP - Remote Storage » JSE 08-216
14. Grammatical picture generation : a tree-based approach / F. Drewes. Drewes, F. [Browse] Berlin ; London : Springer, 2006. Book ReCAP - Remote Storage » JSE 06-439 [Text]
