Refine your search

Your search returned 31 results.

|
1.
Protocol Engineering [Recurso electrónico] / by Hartmut König.

by König, Hartmut.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

2.
Parallel Computing Technologies [Recurso electrónico] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

3.
Algorithms and Architectures for Parallel Processing [Recurso electrónico] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna.

by Jin, Hai | Pan, Yi | Prasanna, Viktor K | Rana, Omer F | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

4.
Distributed and Parallel Computing [Recurso electrónico] / 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael

by Goscinski, Andrzej | Hobbs, Michael | Zhou, Wanlei | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5.
Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase.

by Magedanz, Thomas | Gavras, Anastasius | Thanh, Nguyen Huu | Chase, Jeffry S | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Texto completo Availability: No items available

6.
Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers / edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park.

by Korakis, Thanasis | Li, Hongbin | Tran-Gia, Phuoc | Park, Hong-Shik.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

7.
Parallel Computing Technologies [Recurso electrónico] / 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings edited by Malyshkin Victor.

by Victor, Malyshkin | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
Membrane Computing [Recurso electrónico] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / edited by Marian Gheorghe, Gheorghe Pâ{uF451}un, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan.

by Gheorghe, Marian | Pâ{uF451}un, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | Verlan, Sergey.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

9.
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available

10.
Programming Multi-Agent Systems [Recurso electrónico] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, JÃ{u29E5}n Dix, Peter Novák

by Collier, Rem | Dix, JÃ{u29E5}n | Novák, Peter.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

11.
Transactions on Aspect-Oriented Software Development II [Recurso electrónico] / Focus: AOP Systems, Software and Middleware edited by Awais Rashid, Mehmet Aksit.

by Rashid, Awais | Aksit, Mehmet | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

12.
Network and Parallel Computing [Recurso electrónico] : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings / edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni.

by Park, James J | Zomaya, Albert | Yeo, Sang-Soo | Sahni, Sartaj.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

13.
Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova.

by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

14.
Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Ta

by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

15.
Computational Science and Its Applications - ICCSA 2006 (vol. # 3984) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan

by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

16.
Computational Science and Its Applications - ICCSA 2007 [Recurso electrónico] : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova.

by Gervasi, Osvaldo | Gavrilova, Marina L | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

17.
Computational Science -- ICCS 2005 (vol. # 3514) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I edited by J. J. Dongarra, Peter M.A. Sloot, V.S. Sunderam, G. Dick van Albada.

by Dongarra, J. J | Sloot, Peter M.A | Sunderam, V.S | van Albada, G. Dick | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part I edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá e

by Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Lee, Heow Pueh | Mun, Youngsong | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19.
Computational Science -- ICCS 2005 (vol. # 3515) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II edited by G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam.

by Albada, G. Dick van | Dongarra, Jack | Sloot, Peter M.A | Sunderam, V.S | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

20.
Computational Science and Its Applications - ICCSA 2006 (vol. # 3981) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan

by Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha