Your search returned 176 results.

Sort
Results
81.
82.
Office and SharePoint 2007 User’s Guide [electronic resource] : Integrating SharePoint with Excel, Outlook, Access, and Word / by Michael P. Antonovich. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Michael P. Antonovich, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HF5548.4M525 A58 2008.

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

84.
Cryptographic Hardware and Embedded Systems – CHES 2005 [electronic resource] : 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings / edited by Josyula R. Rao, Berk Sunar. by Series: Lecture Notes in Computer Science ; 3659
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: TK7895.E42 R36 2005.

85.
Hybrid Systems: Computation and Control [electronic resource] : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings / edited by João P. Hespanha, Ashish Tiwari. by Series: Lecture Notes in Computer Science ; 3927
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.38 H47 2006.

86.
Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen. by Series: Lecture Notes in Computer Science ; 4606
Edition: 1a ed.
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: TK5105.875.I57 P73 2007.

87.
Biomimetic Neural Learning for Intelligent Robots [electronic resource] : Intelligent Systems, Cognitive Robotics, and Neuroscience / edited by Stefan Wermter, Günther Palm, Mark Elshaw. by Series: Lecture Notes in Computer Science ; 3575
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.35 W47 2005.

88.
Leveraging Applications of Formal Methods [electronic resource] : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 4313
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.9.F67 M37 2006.

89.
Event-Triggered and Time-Triggered Control Paradigms [electronic resource] / by Roman Obermaisser. by Series: Real-Time Systems Series, Event-Triggered and Time-Triggered Control Paradigms ; 22
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer e-books
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TJ217.7 O24 2005.

90.
Formal Methods for Industrial Critical Systems [electronic resource] : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino. by Series: Lecture Notes in Computer Science ; 4916
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.9.F67 L48 2008.

91.
Dependable Computing [electronic resource] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings / edited by Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum. by Series: Lecture Notes in Computer Science ; 4746
Edition: 1a ed.
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.F3 B66 2007.

92.
Mobile Information Systems [electronic resource] : Infrastructure and Design for Adaptivity and Flexibility / edited by Barbara Pernici. by
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 P47 2006.

93.
Embedded Systems – Modeling, Technology, and Applications [electronic resource] / edited by Günter Hommel, Sheng Huanye. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 H66 2006.

94.
Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung. by Series: Lecture Notes in Computer Science ; 3325
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.9.A25 L56 2005.

95.
Technologies for Advanced Heterogeneous Networks [electronic resource] : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings / edited by Kenjiro Cho, Philippe Jacquet. by Series: Lecture Notes in Computer Science ; 3837
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 C6 2005.

96.
JDF [electronic resource] : Process Integration, Technology, Product Description / by Wolfgang Kühn, Martin Grell. by Series: X.media.publishing
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z244.5 .K8313 2005.

97.
98.
Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Series: Lecture Notes in Computer Science ; 4602
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 B37 2007.

99.
Data and Applications Security XXII [electronic resource] : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / edited by Vijay Atluri. by Series: Lecture Notes in Computer Science ; 5094
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.9.D314 A85 2008.

100.
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems [electronic resource] / edited by Michal Pěchouček, Simon G. Thompson, Holger Voos. by Series: Whitestein Series in Software Agent Technologies and Autonomic Computing
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 P43 2008.

Pages

Powered by Koha