Your search returned 1822 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1581.
Stability and Convergence of Mechanical Systems with Unilateral Constraints [electronic resource] / edited by Remco I. Leine, Nathan van de Wouw. by Series: Lecture Notes in Applied and Computational Mechanics ; 36
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA352 L45 2008.

Place hold Add to cart
1582.
Advances in Knowledge Discovery and Data Mining [electronic resource] : 9th Pacific-Asia Conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005. Proceedings / edited by Tu Bao Ho, David Cheung, Huan Liu. by Series: Lecture Notes in Computer Science ; 3518
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D343 H6 2005.

Place hold Add to cart
1583.
1584.
Algorithms and Computation [electronic resource] : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings / edited by Xiaotie Deng, Ding-Zhu Du. by Series: Lecture Notes in Computer Science ; 3827
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 D46 2005.

Place hold Add to cart
1585.
Advances in Web Based Learning – ICWL 2006 [electronic resource] : 5th International Conference, Penang, Malaysia, July 19-21, 2006. Revised Papers / edited by Wenyin Liu, Qing Li, Rynson W.H. Lau. by Series: Lecture Notes in Computer Science ; 4181
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: LB1044.87 L58 2006.

Place hold Add to cart
1586.
Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto. by Series: Lecture Notes in Computer Science ; 3558
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q334 T67 2005.

Place hold Add to cart
1587.
Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings / edited by Ron Morrison, Flavio Oquendo. by Series: Lecture Notes in Computer Science ; 3527
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.751 M67 2005.

Place hold Add to cart
1588.
Approximation and Online Algorithms [electronic resource] : Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / edited by Giuseppe Persiano, Roberto Solis-Oba. by Series: Lecture Notes in Computer Science ; 3351
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 P47 2005.

Place hold Add to cart
1589.
Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 F53 2005.

Place hold Add to cart
1590.
Computer Algebra in Scientific Computing [electronic resource] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings / edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Series: Lecture Notes in Computer Science ; 4770
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA155.7.E4 G36 2007.

Place hold Add to cart
1591.
Coordination Models and Languages [electronic resource] : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Paolo Ciancarini, Herbert Wiklicky. by Series: Lecture Notes in Computer Science ; 4038
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 C53 2006.

Place hold Add to cart
1592.
Model-Based Software and Data Integration [electronic resource] : First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic. by Series: Communications in Computer and Information Science ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q335 K88 2008 .

Place hold Add to cart
1593.
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 B73 2007.

Place hold Add to cart
1594.
The Modern Algebra of Information Retrieval [electronic resource] / by Sándor Dominich. by Series: The Information Retrieval Series ; 24
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z699 D66 2008.

Place hold Add to cart
1595.
Complex Dynamics in Communication Networks [electronic resource] / edited by Ljupco Kocarev, Gábor Vattay. by Series: Understanding Complex Systems
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 K63 2005.

Place hold Add to cart
1596.
Form-Oriented Analysis [electronic resource] : A New Methodology to Model Form-Based Applications / by Dirk Draheim, Gerald Weber. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 A73 2005.

Place hold Add to cart
1597.
1598.
Advances in Multimedia Modeling [electronic resource] : 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings / edited by Shin’ichi Satoh, Frank Nack, Minoru Etoh. by Series: Lecture Notes in Computer Science ; 4903
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.575 S28 2008.

Place hold Add to cart
1599.
1600.
Pages

Powered by Koha