Your search returned 3731 results.

Sort
Results
1681.
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson. by Series: Monographs in Theoretical Computer Science, An EATCS Series
Edition: 1a ed.
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.7 B56 2008.

1682.
1683.
1684.
Trust in Technology: A Socio-Technical Perspective [electronic resource] / edited by Karen Clarke, Gillian Hardstone, Mark Rouncefield, Ian Sommerville. by Series: Computer Supported Cooperative Work ; 36
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.R44 C53 2006.

1685.
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Series: Lecture Notes in Computer Science ; 4138
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: TK5103.2 C46 2006.

1686.
Networked RFID [electronic resource] : Systems, Software and Services / by George Roussos. by Series: Computer Communications and Networks
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Springer-Verlag London, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK6553 R67 2008.

1687.
Deformable Models [electronic resource] : Biomedical and Clinical Applications / by Aly A. Farag, Jasjit S. Suri. by Series: Topics in Biomedical Engineering. International Book Series
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer-Verlag New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: R856 D41 2007.

1688.
1689.
Secure Data Management [electronic resource] : 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings / edited by Willem Jonker, Milan Petković. by Series: Lecture Notes in Computer Science ; 4721
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.D314 J66 2007.

1690.
Multi-point Interaction with Real and Virtual Objects [electronic resource] / edited by Federico Barbagli, Domenico Prattichizzo, Kenneth Salisbury. by Series: Springer Tracts in Advanced Robotics ; 18
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: TJ211.4 B37 2005.

1691.
1692.
Topics in Cryptology – CT-RSA 2006 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings / edited by David Pointcheval. by Series: Lecture Notes in Computer Science ; 3860
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: No items available.

1693.
1694.
Pro ASP.NET 2.0 Website Programming [electronic resource] / by Damon Armstrong. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Damon Armstrong, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 A47 2005.

1695.
1696.
1697.
LEGO® MINDSTORMS® NXT-G Programming Guide [electronic resource] / by James Floyd Kelly. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : James Floyd Kelly, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ211.45.K45 2007.

1698.
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers / edited by Mitsu Okada, Ichiro Satoh. by Series: Lecture Notes in Computer Science ; 4435
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 O33 2007.

1699.
Beginning Visual Web Developer 2005 Express [electronic resource] : From Novice to Professional / by Paul Sarknas, Rick Delorme. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Paul Sarknas and Rick Delorme, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.888 S27 2006.

1700.
Pages

Powered by Koha