1. Formal Methods for Software Engineering : Languages, Methods, Application Domains / by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh. Cham : Springer International Publishing : Imprint: Springer, 2022. Book OnlineSpringer Nature - Springer Computer Science eBooks 2022 English International
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 : With Applications in Computer Science / by Stasys Jukna. Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011. Book OnlineSpringerLink Books Computer Science 2011
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 / by Leonid Libkin. Libkin, Leonid [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
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 / by Yves Bertot, Pierre Castéran. Bertot, Yves [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
14. 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
15. The Parametric Lambda Calculus : 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 OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
16. 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
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 OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
18. Algorithmics for Hard Problems : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics / by Juraj Hromkovič. Hromkovič, Juraj [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
19. Extremal Combinatorics : With Applications in Computer Science / by Stasys Jukna. Jukna, Stasys [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book OnlineSpringer Nature - Springer Book Archive - Springer Computer Science
20. Extremal combinatorics : with applications in computer science / Stasys Jukna. Texts in theoretical computer science Jukna, Stasys, 1953- [Browse] Berlin ; New York : Springer, c2001. Book Loading...Engineering Library - Stacks » QA164 .J84 2001