Library Hub Discover

Foundations of computer science / (by) Alfred V. Aho and Jeffrey D. Ullman.

Algorithm design / Jon Kleinberg, Éva Tardos.

Algorithms in Combinatorial Geometry / by Herbert Edelsbrunner.

Designs, graphs, codes, and their links / P.J. Cameron and H.H. van Lint.

Algorithmique, topologie et géométrie algébriques : Sevilla 31 août-4 septembre 1987 ; Toulouse 2-4 décembre 1988 / Claude Hayat-Legrand, Francis Sergeraert, éditeurs.

Handbook of computational group theory / Derek F. Holt, Bettina Eick, Eamonn A. O'Brien.

Handbook of scheduling : algorithms, models, and performance analysis / edited by Jospeh Y-T. Leung.

Matrix iterative analysis / [by] Richard S. Varga.

An introduction to automata theory / M.W. Shields.

The design and analysis of algorithms / (by) Dexter Kozen.

An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky.

Formal languages and their relation to automata / [by] John E. Hopcroft [and] Jeffrey D. Ullman.

Computer algebra : systems and algorithms for algebraic computation / J. H. Davenport, Y. Siret, and E. Tournier, translated from the French by A. Davenport and J. H. Davenport.

The semantics of programming languages : an elementary introduction using structural operational semantics / Matthew Hennessy.

An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi.

Confluent String Rewriting / by Matthias Jantzen.

The Theory of Computer Science : a Programming Approach / (by) J. M. Brady.

Introduction to the theory of complexity / (by) Daniel Pierre Bovet and Pierluigi Crescenzi.

Error-correcting codes / [by] W. Wesley Peterson [and] E. J. Weldon, Jr.

Neural networks : algorithms, applications and programming techniques / (by) James A. Freeman and David M. Skapura.

Computability and complexity : from a programming perspective / Neil D. Jones .

Handbook of algorithms and data structures / G. H. Gonnet.

How to solve it / modern heuristics / Zbigniew Michaelwicz, David B. Fogel.

Mathematical theory of program correctness [by] Jaco de Bakker; with the assistance of Arie de Bruin, Jeffery Zucker

Secure multiparty computation and secret sharing / Ronald Cramer, Ivan Bjerre Damgård, Jesper Buus Nielsen.