Bibliothèque de l'Ecole normale supérieure de Rennes

Your cart is empty.

Your search returned 9 results.

|
1.
Compiler Design : analysis and transformation [ Livre] / Reinhard, Wilhelm / Helmut, Seidl / Sebastian, HackPublication : Heidelberg : Springer, 2012Description : 1 vol. (XII-177 p.) ; 24 cmDisponibilité : Exemplaires empruntables: [005.45 WIL] (1).
Place hold Add to cart
2.
The universal computer - The road from Leibniz to turing [ Livre] / Martin, DavisPublication : A K Peters Book, CRC Press, 2012Description : 240 p. ; 25 cm Disponibilité : Exemplaires empruntables: [004.16 DAV] (1).
Place hold Add to cart
3.
Gnuplot in action - Understanding data with graphs [ Livre] / Philipp K., JanertPublication : Greenwich, Conn. : Manning Publications, 2010Description : 1 vol. (XXXI-360 p.) ; 24 cmDisponibilité : Exemplaires empruntables: [005.5 JAN] (1).
Place hold Add to cart
4.
Version control with Git [ Livre] / Jon, LoeligerPublication : Sebastopol, CA : O'Reilly, 2009Description : 1 vol. (XV-310 p.) ; 23 cmDisponibilité : Exemplaires empruntables: [004 LOE] (1).
Place hold Add to cart
5.
Digital VLSI Design With Verilog : A Textbook from Silicon Valley Technical Institute [ Livre] / John, WilliamsPublication : Springer-Verlag New York Inc., 2008Description : 460 pagesDisponibilité : Exemplaires empruntables: [621.38 WIL] (1).
Place hold Add to cart
6.
25 years of model checking : history, achievements, perspectives [ Livre] / Orna, GrumbergPublication : Berlin : Springer, 2008Description : 1 vol. (VI-230 p.) ; 24 cmDisponibilité : Exemplaires empruntables: [004.1 GRU] (1).
Place hold Add to cart
7.
DNA computing : new computing paradigms [ Livre] / Gheorghe, Paun / Grzegorz, RozenbergPublication : Berlin : Springer Verlag, 1998Description : VIII-402 p.Disponibilité : Exemplaires empruntables: [004.1 PAU] (1).
Place hold Add to cart
8.
The design and analysis of algorithms [ Livre] / Dexter C., KozenPublication : New York : Springer-Verlag, 1992Description : 1 vol. (X-320 p.) ; 25 cmDisponibilité : Exemplaires empruntables: [004.12 KOZ] (1).
Place hold Add to cart
9.
Finite model theory and its applications [ Livre] / Erich, GrädelPublication : Berlin, Heidelberg : Springer, cop. 2007Description : 1 vol. (XI-437 p.) ; 24 cmDisponibilité : Exemplaires empruntables: [004.16 GRA] (1).
Place hold Add to cart

Powered by Koha