Biblioteca

Your search returned 153 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Principles of artificial intelligence/ Nils J. Nilsson

by Nilsson, Nils J.

Publisher: New York: Springer-Verlang 1982Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 006.3 N695p] (1).

Calculus with applications and computing. Vol. 1/ Peter Lax

by Lax, Peter | Burstein, S.

Publisher: New York: Springer-Verlag 1976Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 515 L112c] (1).

Low temperatura detectors for neutrinos and dark matter.

Publisher: London.: Springer-Verlang., 1987Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 523.013 L912L] (1).

Vibration of structures and machines: practical aspects/ Giancarlo Genta

by Genta, Giancarlo.

Publisher: New York: Springer-Verlag 1993Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 624.176 G337v] (1).

Production planning and scheduling in flexible assembly systems/ Tadeusz Sawik

by Sawik, Tadeusz.

Publisher: Berlín: Springer 1999Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 658.5 S271p] (1).

Handbook of modern sensors: physics, designs, and applications/ Jacob Fraden

by Fraden, Jacob.

Edition: 2 ed. Publisher: New York: Springer 1996Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 621.381536 F713h] (2).

Prosthetics and orthotics/ Donald Shurr; John W. Michael

by Shurr, Donald | Michael, John W.

Edition: 2 ed. Publisher: New York: Springer 2002Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 617.69 S487p] (2).

Object oriented computer systems engineering/ Derrick Morris; Gareth Evans; Peter Green; Colin Theaker

by Morris, Derrick | Evans, Gareth Green, Peter Theaker, Colin.

Publisher: London: Springer 1996Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.11 O143] (1).

Essential Java 2 fast/ John Cowell

by Cowell, John.

Publisher: London: Springer 1999Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.133 C693e] (1).

Ethical and social issues in the information age/ Joseph Migga Kizza

by Kizza, Joseph Migga.

Publisher: New York: Springer 1998Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 174.9 K499e] (1).

Software pioneers: contribution to software engineers.

by Broy, Manfred [Ed.] | Denert, Ernst [Ed.].

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

The origin of concurrent programming: from semaphores to remote procedure calls.

by Brinch Hansen, Per [Ed.].

Publisher: New York.: Springer. c2002Availability: Items available for loan: Biblioteca Jorge Álvarez Lleras [Call number: 005.2 O744] (1).

Large eddy simulation for incompressible flows: an introduction/ Pierre Sagaut

by Sagaut, Pierre.

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

Computational techniques for fluid dynamics/ Clive A. J. Fletcher

by Fletcher, Clive A. J.

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

Electromechanical sensors and actuators/ Ilene J. Busch-Vishniac

by Busch-Vishniac, Ilene J.

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

Supply chain management and advanced planning: concepts, models, software and case studies.

by Stadtler, Hartmut [Ed.] | Kilger, Chistoph [Ed.].

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

Stochastic modeling and optimization: with applications in queues, finance and supply chains.

by Yao, David D [Ed.] | Zhang, Hanqin [Ed.] | Zhou, Xun Yu [Ed.].

Publisher: New York.: Springer. 2003Availability: Items available for loan: Biblioteca Satélite [Call number: 330.0151 S762] (1).

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