Your search returned 3732 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
3661.
A Practical Introduction to PSL [electronic resource] / by Cindy Eisner, Dana Fisman. by Series: Series on Integrated Circuits and Systems
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7885.7 E42 2006.

Place hold Add to cart
3662.
3663.
Advances for In-Vehicle and Mobile Systems [electronic resource] : Challenges for International Standards / edited by Héseyin Abut, John H. L. Hansen, Kazuya Takeda. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer-Verlag US, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TL272.5 A38 2007.

Place hold Add to cart
3664.
Visualization in Medicine and Life Sciences [electronic resource] / edited by Lars Linsen, Hans Hagen, Bernd Hamann. by Series: Mathematics and Visualization
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

Add to cart
3665.
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama. by Series: Lecture Notes in Computer Science ; 4151
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.95 I35 2006.

Place hold Add to cart
3666.
Semantics in Data and Knowledge Bases [electronic resource] : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. by Series: Lecture Notes in Computer Science ; 4925
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 S34 2008.

Place hold Add to cart
3667.
The Definitive Guide to GCC [electronic resource] / by William Hagen. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Apress, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 H34 2006.

Place hold Add to cart
3668.
3669.
Web Design and Marketing Solutions for Business Websites [electronic resource] / by Kevin Potts. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Kevin Potts, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.888 P68 2007.

Place hold Add to cart
3670.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan. by Series: Monographs in Computer Science
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer Science+Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA340 M43 2005.

Place hold Add to cart
3671.
3672.
Introduction to C++ Programming and Graphics [electronic resource] / by Constantine Pozrikidis. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.73.C15 P69 2007.

Place hold Add to cart
3673.
3674.
Combinatorial Optimization and Applications [electronic resource] : First International Conference, COCOA 2007, Xi’an, China, August 14-16, 2007. Proceedings / edited by Andreas Dress, Yinfeng Xu, Binhai Zhu. by Series: Lecture Notes in Computer Science ; 4616
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: QA402.5 D74 2007.

Place hold Add to cart
3675.
Software Engineering Techniques Applied to Agricultural Systems [electronic resource] : An Object-Oriented and UML Approach / by Petraq J. Papajorgji, Panos M. Pardalos. by Series: Applied Optimization ; 100
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: S494.5.D3 P37 2006.

Place hold Add to cart
3676.
Information Processing in Medical Imaging [electronic resource] : 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedings / edited by Nico Karssemeijer, Boudewijn Lelieveldt. by Series: Lecture Notes in Computer Science ; 4584
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: RC78.7.D53 K37 2007 .

Place hold Add to cart
3677.
3678.
Automated Multi-Camera Surveillance: Algorithms and Practice [electronic resource] / by Omar Javed, Mubarak Shah. by Series: The International Series in Video Computing ; 10
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7882.E2 J38 2008 .

Place hold Add to cart
3679.
Abstraction, Reformulation, and Approximation [electronic resource] : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml. by Series: Lecture Notes in Computer Science ; 4612
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: QA75.5 M54 2007.

Place hold Add to cart
3680.
Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko. by Series: Lecture Notes in Computer Science ; 4553
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.H85 J35 2007.

Place hold Add to cart
Pages

Powered by Koha