Your search returned 1330 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Embedded Security in Cars [electronic resource] : Securing Current and Future Automotive IT Applications / edited by Kerstin Lemke, Christof Paar, Marko Wolf. 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: TL272.53 L46 2006.

Place hold Add to cart
182.
Bayesian Networks and Decision Graphs [electronic resource] : February 8, 2007 / by Finn V. Jensen, Thomas D. Nielsen. by Series: Information Science and Statistics
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: New York, NY : Springer New York, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA279.5 J45 2007.

Place hold Add to cart
183.
Information Geometry [electronic resource] : Near Randomness and Near Independence / by Khadiga A. Arwini, Christopher T. J. Dodson. by Series: Lecture Notes in Mathematics ; 1953
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: QA276 A75 2008 .

Place hold Add to cart
184.
AutoCAD 2006 VBA [electronic resource] : A Programmer’s Reference / by Joe Sutphin. by
Edition: 2.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Joe Sutphin, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: T385 S85 2005.

Place hold Add to cart
185.
186.
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Series: Lecture Notes in Computer Science ; 4937
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: TK5105.88813 D86 2008.

Place hold Add to cart
187.
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne. by Series: Lecture Notes in Computer Science ; 4364
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.76.D47 K84 2007.

Place hold Add to cart
188.
189.
190.
Distributed Network Systems [electronic resource] : From Concepts to Implementations / by Weijia Jia, Wanlei Zhou. by Series: Network Theory and Applications ; 15
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : Springer Science + Business Media, Inc., 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 .J53 2005.

Place hold Add to cart
191.
192.
193.
Requirements Engineering [electronic resource] / by Elizabeth Hull, Kenneth Jackson, Jeremy Dick. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: London : Elizabeth Hull, Ken Jackson, Jeremy Dick, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA168 H85 2005.

Place hold Add to cart
194.
Innovation in Manufacturing Networks [electronic resource] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / edited by Américo Azevedo. by Series: IFIP – The International Federation for Information Processing ; 266
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Boston, MA : International Federation for Information Processing, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TH438 I66 2005.

Place hold Add to cart
195.
Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang. by Series: Lecture Notes in Computer Science ; 5111
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: TK5105.59 C46 2008 .

Place hold Add to cart
196.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 5330
Edition: 1a ed.
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.63 C47 2008.

Place hold Add to cart
197.
Algorithm Collections for Digital Signal Processing Applications Using Matlab [electronic resource] / by E.S. Gopi. by
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: TK5102.9 G67 2007.

Place hold Add to cart
198.
Transactions on Aspect-Oriented Software Development I [electronic resource] / edited by Awais Rashid, Mehmet Aksit. by Series: Lecture Notes in Computer Science ; 3880
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.76.D47 R37 2006.

Place hold Add to cart
199.
200.
Pages

Powered by Koha