Biblioteca

Your search returned 62 results. Subscribe to this search

Not what you expected? Check for suggestions
|
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).

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

Computer fundamentals/ J. Stanley Warford.

by Warford, J. Stanley.

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

Modeling, analysis, design, and control of stochastic system/ Vidyadhar G. Kulkarni.

by Kulkarni, Vidyadhar G.

Publisher: New York: Springer 1999Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 519.703 K854m] (1).

Digital satellite communications/ Giovanni E. Corazza

by Corazza, Giovanni E.

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

Global mobile satellite communications for maritime, land and aeronautical applications/ Stojce Dimov Ilcev

by Ilcev, Stojce Dimov.

Publisher: Dordrecht: Springer 2005Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 621.382 I523g] (1).

Ambiguities in decision-oriented life cycle inventories: the role of mental models and values/ Frank Werner

by Werner, Frank.

Publisher: Dordrecht: Springer 2005Availability: No items available Checked out (1).

Discrete probability/ Hugh Gordon

by Gordon, Hugh.

Publisher: New York: Springer 1997Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 519.2 G673d] (1).

Mathematical Logic/ James Donald Monk

by Monk, James Donald.

Publisher: New York: Springer 1976Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 511.3 M654m] (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).

Structural dynamics: theory and computation / Mario Paz y William Leigh

by Paz, Mario | Leigh, William.

Edition: 5 Publisher: New York (State): Springer, 2004Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 624.171 P19s 5a.ed.] (2).

Enterprise architecture at work: modelling, communication and analysis / Marc Lankhorst

by Lankhorst, Marc.

Edition: 2 Publisher: New York (State): Springer, 2009Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.4038 L154e 2a. ed] (2).

Issues of fault diagnosis for dynamic systems / Patton, Ron J. ... [et al.]

by Patton, Ron J | Frank, Paul M.

Publisher: Alemania: Springer, 2000Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 620.0044 I778] (1).

Convex polytopes / Branko Grünbaum

by Grünbaum, Branko.

Publisher: New York: Springer, 2003Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 516.35 G785c 2a.ed.] (1).

Life cycle assessment in industry and business: adoption patterns, applications and implications / Paolo Frankl and Frieder Rubik

by Frankl, Paolo | Rubik, Frieder.

Publisher: Berlin: Springer 2000Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.575 F715L] (2).

Planning and scheduling in manufacturing and services / Michael L. Pinedo

by Pinedo, Michael L.

Publisher: Florida: Springer 2005Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.53 P649p] (4).

Scheduling: theory, algorithms, and systems / Michael L. Pinedo.

by Pinedo, Michael L.

Edition: 3 Publisher: New York: Springer 2008Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.53 P649s 3a.ed.] (1).

IP network-based multi-agent systems for industrial automation: information management, condition monitoring and control of power systems / David P. Buse and Qing-Hua Wu

by Buse, David P | Wu, Qing-Hua.

Publisher: Liverpool: Springer 2007Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 621.3126 B873i] (1).