Your search returned 177 results.

1.
Pro Service-Oriented Smart Clients with .NET 2.0 [electronic resource] / by Sayed Y. Hashimi, Scott J. Steffan.

by Hashimi, Sayed Y | Steffan, Scott J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berkeley, CA : Sayed Y. Hashimi and Scott J. Steffan, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 H37 2005 (1).

2.
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

by Cha, Sungdeok (Steve) | Choi, Jin-Young | Kim, Moonzoo | Lee, Insup | Viswanathan, Mahesh | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A96 C3 2008 (1).

3.
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.

by Bernardo, Marco | Degano, Pierpaolo | Zavattaro, Gianluigi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 B47637 2008 (1).

4.
Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / edited by Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee.

by Wu, Tzong-Chen | Lei, Chin-Laung | Rijmen, Vincent | Lee, Der-Tsai | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 W88 2008 (1).

5.
Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt.

by Langendoen, Koen | Voigt, Thiemo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7872.D48 L36 2007 (1).

6.
Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer.

by Anderson, James H | Prencipe, Giuseppe | Wattenhofer, Roger | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D5 A53 2006 (1).

7.
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 Datta, Ajoy K | Gradinariu, Maria | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S54 D38 2006 (1).

8.
Independent Component Analysis and Blind Signal Separation [electronic resource] : 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings / edited by Justinian Rosca, Deniz Erdogmus, José C. Príncipe, Simon Haykin.

by Rosca, Justinian | Erdogmus, Deniz | Príncipe, José C | Haykin, Simon | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5102.9 R67 2006 (1).

9.
Wireless Sensor Networks [electronic resource] : Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings / edited by Kay Römer, Holger Karl, Friedemann Mattern.

by Römer, Kay | Karl, Holger | Mattern, Friedemann | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7872.D48 R66 2006 (1).

10.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet.

by Barthe, Gilles | Grégoire, Benjamin | Huisman, Marieke | Lanet, Jean-Louis | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.S62 B37 2006 (1).

11.
System Level Design of Reconfigurable Systems-on-Chip [electronic resource] / edited by Nikolaos S. Voros, Konstantinos Masselos.

by Voros, Nikolaos S | Masselos, Konstantinos | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 V67 2005 (1).

12.
UML for SOC Design [electronic resource] / edited by Grant Martin, Wolfgang Müller.

by Martin, Grant | Müller, Wolfgang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Boston, MA : Springer, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK7895.E42 U45 2005 (1).

13.
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings / edited by Kenjiro Cho, Philippe Jacquet.

by Cho, Kenjiro | Jacquet, Philippe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.5 C6 2006 (1).

14.
Computer And Computing Technologies In Agriculture, Volume II [electronic resource] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li.

by Li, Daoliang | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Springer-Verlag US, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: S494.5.D3 L5 2008 (1).

15.
Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino.

by Higashino, Teruo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D5 H54 2005 (1).

16.
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo.

by Bernardo, Marco | Bogliolo, Alessandro | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 B47 2005 (1).

17.
Dependable Computing - EDCC 5 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / edited by Mario Cin, Mohamed Kaâniche, András Pataricza.

by Cin, Mario | Kaâniche, Mohamed | Pataricza, András | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F38 C56 2005 (1).

18.
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla.

by Patel, Hiren D | Shukla, Sandeep K | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.S88 P38 2008 (1).

19.
E-Business @ Print [electronic resource] : Internet-Based Services and Processes / by Anne König.

by König, Anne | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: HF5548.32 .K66 2005 (1).

20.
Beginning Joomla! [electronic resource] : From Novice to Professional / by Dan Rahmel.

by Rahmel, Dan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berkeley, CA : Dan Rahmel, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.8883 R34 2007 (1).

Powered by Koha