Biblioteca

Your search returned 13 results. Subscribe to this search

Not what you expected? Check for suggestions
|
A logical approach to discrete math/ David Gries y Fred B. Schneider

by Gries, David | Schneider, Fred B.

Publisher: New York: Springer 1993Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 510 G743L] (2). Checked out (2).

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).

Sets, logic and categories/ Peter J. Cameron

by Cameron, Peter J.

Publisher: London: Springer 2008Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.322 C153s] (1).

50 Years of Integer Programming 1958-2008: from the early year to the state-of the Art / Michael Jünger ...[et al.] editors

by Jünger, Michael [Ed.] | Liebling, Thomas M [Ed.] | Naddef, Denis [Ed.] | Nemhauser, George L [Ed.] | Pulleyblank, William R [Ed.] | Gerhard Reinelt | Giovanni Rinaldi | Laurence A. Wo | George L. Nemhauser | William R. Pulleyblank | Reinelt, Gerhard [Ed.] | Rinaldi, Giovanni [Ed.] | Wolsey, Laurence A [Ed.].

Publisher: Heidelberg: Springer, 2010Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 510 C452] (3).

Mathematics education and technology: rethinking the terrain: the 17th ICMI study / Celia Hoyles, Jean-Baptiste Lagrange, editors.

by Hoyles, Celia | , 1946- | Lagrange, Jean-Baptiste.

Material type: book Book; Format: print Publisher: New York (State): Springer, c2010Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 510.71 M426] (1).

Matheuristics: hybridizing metaheuristics and mathematical programming / edited by Vittorio Maniezzo, Thomas Stützle, Stefan Vob.

by Maniezzo, Vittorio [Edit. ] | Stützle, Thomas [Edit. ] | Vob, Stefan [Edit. ].

Material type: book Book; Format: print Publisher: New York (State) : Springer, c2009Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 519.622 M427] (1).

An introduction to traffic flow theory / Lily Elefteriadou.

by Elefteriadou, Lily, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 2014Availability: Items available for loan: Biblioteca Satélite [Call number: 388.015196 E388i] (1).

Non-life insurance pricing with generalized linear models / by Esbjørn Ohlsson, Bjørn Johansson.

by Ohlsson, Esbjørn | Johansson, Bjørn, 1947.

Material type: book Book; Format: print regular print ; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, 2010Availability: No items available In transit (1).

Stochastic multi-stage optimization : at the crossroads between discrete time stochastic control and stochastic programming / Pierre Carpentier ... [et. al]

by Carpentier, Pierre | Chancelier, Jean-Philippe | Cohen, Guy | De Lara, Michel.

Material type: book Book; Format: print regular print ; Literary form: Not fiction Publisher: New York, NY (USA) : Springer, 2015Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 519.62 S864] (1).

Mathematical logic / H D. Ebbinghaus, J. Flum, W. Thomas

by Ebbinghaus, Heinz Dieter | Flum, Jörg | Thomas, Wolfgang.

Edition: 2a.ed.Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Publisher: New York : Springer Verlag; 1994Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.3 E154] (2).

Undergraduate Analysis / Serge Lang.

by Lang, Serge.

Edition: 2a.ed.Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Publisher: New York, NY : Springer New York, 1997Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 515.8 L269] (2).

Applied proof theory : proof interpretations and their use in mathematics / Ulrich Kohlenbach.

by Kohlenbach, U.

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

Proof and Proving in Mathematics Education The 19th ICMI Study / editado por Gila Hanna, Michael de Villiers.

by Hanna, G | de Villiers, Michael | International Commission on Mathematical Instruction.

Material type: book Book; Format: regular print ; Literary form: Not fiction ; Audience: Specialized; Publisher: Dordrecht : Springer Netherlands; 2012Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.36071 P965] (1).