Your search returned 2848 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
182.
183.
184.
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu. by Series: Lecture Notes in Computer Science ; 4280
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.S54 D38 2006.

Place hold Add to cart
185.
186.
From Specification to Embedded Systems Application [electronic resource] / edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by Series: IFIP On-Line Library in Computer Science ; 184
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : International Federation for Information Processing, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A65 R48 2005.

Place hold Add to cart
187.
188.
Image Analysis and Recognition [electronic resource] : Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II / edited by Aurélio Campilho, Mohamed Kamel. by Series: Lecture Notes in Computer Science ; 4142
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: TA1637 C36 2006.

Place hold Add to cart
189.
190.
Applications of Agent Technology in Traffic and Transportation [electronic resource] / edited by Franziska Klügl, Ana Bazzan, Sascha Ossowski. by Series: Whitestein Series in Software Agent Technologies
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1230 K58 2005.

Place hold Add to cart
191.
3D Imaging for Safety and Security [electronic resource] / edited by Andreas Koschan, Marc Pollefeys, Mongi Abidi. by Series: Computational Imaging and Vision ; 35
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1637 K67 2007 .

Place hold Add to cart
192.
Computer Mathematics [electronic resource] : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers / edited by Deepak Kapur. by Series: Lecture Notes in Computer Science ; 5081
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.M35 K37 2008.

Place hold Add to cart
193.
Semantic Web Services, Processes and Applications [electronic resource] / edited by Jorge Cardoso, Amit P. Sheth. by Series: Semantic Web and Beyond ; 3
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer Science+Business Media, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.88815 C373 2006.

Place hold Add to cart
194.
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 4818
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: Q183.9 L57 2008.

Place hold Add to cart
195.
196.
197.
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 4576
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: QA9.A1 L45 2007.

Place hold Add to cart
198.
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings / edited by Thomas Kunz, S. S. Ravi. by Series: Lecture Notes in Computer Science ; 4104
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: TK5105.77 K86 2006.

Place hold Add to cart
199.
200.
Pro ASP.NET 3.5 Server Controls and AJAX Components [electronic resource] / by Rob Cameron, Dale Michalk. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Rob Cameron, Dale Michalk, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A52 C36 2008.

Place hold Add to cart
Pages

Powered by Koha