Your search returned 163 results.

Sort
Results
101.
102.
103.
Reliable Software Technology – Ada-Europe 2005 [electronic resource] : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings / edited by Tullio Vardanega, Andy Wellings. by Series: Lecture Notes in Computer Science ; 3555
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.76.R44 V37 2005.

104.
105.
Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo. by Series: Lecture Notes in Computer Science ; 4416
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.38 B46 2007.

106.
Software Agent-Based Applications, Platforms and Development Kits [electronic resource] / edited by Rainer Unland, Monique Calisti, Matthias Klusch. by Series: Whitestein Series in Software Agent Technologies
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: QA76.76.I58 U55 2005.

107.
Beginning Google Maps Applications with Rails and Ajax [electronic resource] : From Novice to Professional / by Andre Lewis, Michael Purvis, Jeffrey Sambells, Cameron Turner. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Apress, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A52 L49 2007.

108.
Dynamics AX [electronic resource] : A Guide to Microsoft Axapta / by Luis X. B. Mourão, David Weiner. by
Material type: Computer file Computer file; Format: electronic available online remote
Publication details: Berkeley, CA : Luis X. B. Mourão and David Weiner, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: HD38.5 M68 2006.

109.
Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings / edited by Marvin J. Dainoff. by Series: Lecture Notes in Computer Science ; 4566
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: TA166 D35 2007.

110.
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung. by Series: Lecture Notes in Computer Science ; 3786
Edition: 1a ed.
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.A25 S66 2006.

111.
Interactive Storytelling [electronic resource] : First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings / edited by Ulrike Spierling, Nicolas Szilas. by Series: Lecture Notes in Computer Science ; 5334
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.76.C672 S65 2008 .

112.
FPGA Implementations of Neural Networks [electronic resource] / edited by Amos R. Omondi, Jagath C. Rajapakse. by
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.87 O46 2006.

113.
114.
SharePoint 2007 User’s Guide [electronic resource] : Learning Microsoft’s Collaboration and Productivity Platform / by Seth Bates, Tony Smith. by
Material type: Computer file Computer file; Format: electronic
Publication details: Berkeley, CA : Seth Bates and Tony Smith, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.875.I6 B37 2007.

115.
Computer Music Modeling and Retrieval [electronic resource] : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers / edited by Uffe Kock Wiil. by Series: Lecture Notes in Computer Science ; 3310
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: ML1380 W55 2005.

116.
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao. by Series: Lecture Notes in Computer Science ; 4808
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: TK7895.E42 K86 2007.

117.
118.
Handbook of Nature-Inspired and Innovative Computing [electronic resource] : Integrating Classical Models with Emerging Technologies / edited by Albert Y. Zomaya. by
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: QA76.618 Z66 2006.

119.
Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt. by
Material type: Computer file Computer file; Format: electronic
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: TK7895.E42 M57 2005.

120.
Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Series: Lecture Notes in Computer Science ; 3707
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.A96 P45 2005.

Pages

Powered by Koha