Biblioteca

Your search returned 173 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Approximation algorithms/ Vijay V. Vazirani

by Vazirani, Vijay V.

Publisher: Berlin: Springer 2001Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.1 V194a] (1).

Isabelle/ Hol: a proof assistant for higher-order logic / Tobias Nipkow

by Nipkow, Tobias | Paulson, Lawrence C., Wenzel, Markus.

Publisher: Berlin: Springer 2002Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 004.01 N464i] (1).

Practical software testing: a process-oriented approach/ Ilene Burnstein

by Burnstein, Ilene.

Publisher: New York: Springer 2003Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.14 B875p] (1).

Understanding formal methods/ Jean-François Monin

by Monin, Jean, François.

Publisher: London: Springer 2003Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.131 M654u] (1).

Systems and software verification: model-checking techniques and tools/ B. Bérard ... [et. al.]

by Berard, B. Laroussinie F. Finkel, A. Bidoit M. Petit A. Petrucci, L.

Material type: book Book; Format: print regular print ; Literary form: Not fiction Publisher: Berlin: Springer 2001Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 004.21 S977] (1).

Fuzzy logic, identification and predictive control/ Jairo Espinosa, Joos Vanderwalle and Vincent Wertz

by Espinosa, Jairo | Vandewalle, Joos Wertz, Vincent.

Publisher: London: Springer 2004Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 629.8 E764f] (1).

The science of radio: with Matlab and electronics workbench. Demonstrations/ Paul J. Nahin.

by Nahin, Paul J.

Edition: 2Material type: book Book; Format: print Publisher: New York: Springer 2001Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 621.384 N144s 2a.ed] (1).

The algorithm design manual/ Steven S. Skiena

by Skiena, Steven S.

Publisher: New York: Springer 1998Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.1 S443a] (2).

Mechanics of microelectronics/ G. Q. Zhang; Van Driel, W. D. and X. J. Fan

by Zhang, G. Q | Van Driel, W. D. Fan, X. J.

Publisher: New York: Springer 2006Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 621.381 Z415m] (1).

A history of algorithms: From the pebble to the microchip / Jean-Luc Chabert, ed.

by Chabert, Jean-Luc | [Ed].

Publisher: New York: Springer, 1993Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.8 H477] (1).

Biotechnology for odor and air pollution control / Z. Shareefdeen, ed. and A. Singh, ed.

by Shareefdeen, Z | [Ed] | Singh, A | [Ed].

Publisher: Berlin: Springer, 2005Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 628.53 B467] (1).

Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright

by Back, Ralph-Johan | Wright, Joakim von.

Material type: book Book; Format: print regular print ; Literary form: Not fiction Publisher: New York: Springer 1998Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.14 B124r] (1).

Understanding industrial transformation: views from different disciplines / edited by Xander Olsthoorn and Anna J. Wieczorek.

by Olsthoorn, Xander [Ed.] | Wieczorek, Anna J [Ed.].

Publisher: Dordrecht: Springer 2006Availability: Items available for loan: Biblioteca Satélite [Call number: 338 22 U533] (1).

Quantified Eco-Efficiency: an introduction with applications / Edited by Gjalt Huppes and Masanobu Ishikawa

by Huppes, Gjalt | [Ed] | Ishikawa, Masanobu | [Ed].

Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 574.5 Q815] (1).

Ecodesign Implementation: a systematic guidance on integrating environmental consideration into product development/ Wolfgang Wimmer; Rainer Züst and Kun-Mo Lee

by Wimmer, Wolfgang | Züst, Rainer Lee, Kun-Mo.

Publisher: Dordrecht: Springer 2004Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.575 W455e] (1).

Genetic algorithms + data structures = evolution programs/ Zbigniew Michalewicz

by Michalewicz, Zbigniew.

Edition: 3 Publisher: Berlin: Springer 1996Availability: No items available Lost (1).

How to solve it: modern heuristics/ Zbigniew Michalewicz and David B. Fogel

by Michalewicz, Zbigniew | Fogel, David B.

Edition: 2 Publisher: Berlin: Springer 2004Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 510 M424h 2a.ed] (1).

All about Maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.].

by Clavel, Manuel.

Publisher: Berlin: Springer, 2007Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.133 A551] (2).

Lattices and Ordered Algebraic Structures/ T.S. Blyth

by Blyth, T.S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer 2005Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.33 B597L] (1).

Universal algebra/ George GrÁtzer

by GrÁtzer, George.

Edition: 2 Publisher: Berlin: Springer 2008Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 512 G717u 2a.ed] (1).