1. Formal methods for software engineering : languages, methods, application domains / Markus Roggenbach [and four others]. Cham, Switzerland : Springer International Publishing, [2022]©2022 Book No holdings available for this record
2. Simulation algorithms for computational systems biology / Luca Marchetti, Corrado Priami, Vo Hong Thanh. Texts in theoretical computer science, Texts in theoretical computer science, 1862-4499 Marchetti, Luca, 1979- [Browse] Cham, Switzerland : Springer, [2017] Book Loading...Lewis Library - Stacks » QH324.2 .M363 2017
3. Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman. Texts in theoretical computer science Kroening, Daniel [Browse] Berlin, Germany : Springer, 2016.©2016 Book Loading...Engineering Library - Stacks » QA279.4 .K76 2016
4. Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011. Book No holdings available for this record
5. Extremal combinatorics : with applications in computer science / Stasys Jukna. Texts in theoretical computer science Jukna, Stasys, 1953- [Browse] Heidelberg ; New York : Springer, ©2011. Book Loading...Engineering Library - Stacks » QA164 .J84 2011
6. Exact exponential algorithms / Fedor V. Fomin, Dieter Kratsch. Texts in theoretical computer science, Texts in theoretical computer science : an EATCS series, 1862-4499 Fomin, Fedor V. [Browse] Berlin ; Heidelberg : Springer, 2010. Book Loading...Engineering Library - Stacks » QA342 .F66 2010
7. Graphs and algorithms in communication networks : studies in broadband, optical, wireless and ad hoc networks / edited by Arie M.C.A. Koster, Xavier Muñoz. Texts in theoretical computer science, Texts in theoretical computer science : an EATCS series Berlin : Springer, 2010. Book Loading...Engineering Library - Stacks » TK5105.5 .G725 2010
8. Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. Texts in theoretical computer science, 1862-4499 Kroening, Daniel [Browse] Berlin : Springer, c2008. Book Loading...Engineering Library - Stacks » QA279.4 .K76 2008
9. Temporal logic and state systems / Fred Kröger, Stephen Merz. Texts in theoretical computer science, Texts in theoretical computer science ; ISSN 1862-4499 Kröger, Fred, 1945- [Browse] Berlin : Springer, c2008. Book Loading...ReCAP - Remote Storage » BC199.T4 K76 2008
10. Modelling distributed systems / Wan Fokkink. Texts in theoretical computer science Fokkink, Wan, 1965- [Browse] Berlin ; New York : Springer, 2007. Book Loading...ReCAP - Remote Storage » QA76.58 .F644 2007
11. Elements of Finite Model Theory [electronic resource] / by Leonid Libkin. Libkin, Leonid [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
12. Elements of finite model theory / Leonid Libkin. Texts in theoretical computer science Libkin, Leonid [Browse] Berlin ; New York : Springer, c2004. Book Loading...Lewis Library - Stacks » QA9.7 .L524 2004
13. Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring. Texts in theoretical computer science Bertot, Yves [Browse] Berlin ; New York : Springer, c2004. Book Loading...Engineering Library - Stacks » QA76.9.A96 B47 2004
14. Interactive Theorem Proving and Program Development [electronic resource] : Coq’Art: The Calculus of Inductive Constructions / by Yves Bertot, Pierre Castéran. Bertot, Yves [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
15. The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini. Texts in theoretical computer science Ronchi Della Rocca, S. (Simona) [Browse] Berlin ; New York : Springer-Verlag, c2004. Book Loading...Lewis Library - Stacks » QA9.5 .R66 2004
16. The Parametric Lambda Calculus [electronic resource] : A Metamodel for Computation / by Simona Ronchi Della Rocca, Luca Paolini. Ronchi Della Rocca, Simona [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book No holdings available for this record
17. The complexity theory companion / Lane A. Hemaspaandra, Mitsunori Ogihara. [electronic resource] Texts in theoretical computer science Hemaspaandra, Lane A. [Browse] Berlin ; New York : Springer, 2002. Book No holdings available for this record
18. Algorithmics for Hard Problems [electronic resource] : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics / by Juraj Hromkovič. Hromkovič, Juraj [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book No holdings available for this record
19. Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovič. Texts in theoretical computer science. Hromkovič, Juraj, 1958- [Browse] Berlin ; New York : Springer, c2001. Book Loading...Lewis Library - Stacks » QA76.9.A43 H76 2001
20. Extremal Combinatorics [electronic resource] : With Applications in Computer Science / by Stasys Jukna. Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book No holdings available for this record
