Refine your search

Your search returned 106 results.

|
21.
Information Computing and Applications [Recurso electrónico] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu.

by Zhu, Rongbo | Zhang, Yanchun | Liu, Baoxiang | Liu, Chunfeng | 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

22.
Information Systems, Technology and Management [Recurso electrónico] : 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings / edited by Sushil K. Prasad, Harrick M. Vin, Sartaj Sahni, Mahadeo P. Jaiswal, Bundit Thipakorn.

by Prasad, Sushil K | Vin, Harrick M | Sahni, Sartaj | Jaiswal, Mahadeo P | Thipakorn, Bundit | SpringerLink (Online service).

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

23.
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

24.
Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers / edited by Thanasis Korakis, Michael Zink, Maximilian Ott.

by Korakis, Thanasis | Zink, Michael | Ott, Maximilian.

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

25.
Engineering Secure Software and Systems [Recurso electrónico] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings / edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato.

by Barthe, Gilles | Livshits, Benjamin | Scandariato, Riccardo.

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

26.
Automata, Languages and Programming (vol. # 3580) [Recurso electrónico] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi

by Caires, Luis | Italiano, Guiseppe F | Monteiro, Luis | Palamidessi, Catuscia | Yung, Moti | 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

27.
High Performance Computing and Communications (vol. # 3726) [Recurso electrónico] / First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings edited by Beniamino Di Martino, Jack Dongarra, Omer F. Rana, L

by Di Martino, Beniamino | Dongarra, Jack | Rana, Omer F | Yang, Laurence T | 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

28.
High Performance Computing and Communications [Recurso electrónico] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings. Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mell

by Perrott, Ronald | Chapman, Barbara M | Mello, Rodrigo Fernandes | Subhlok, Jaspal | Yang, Laurence T | 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

29.
Networked Information Technologies [Recurso electrónico] : Diffusion and Adoption / edited by Jan Damsgaard, Helle Zinner Henriksen.

by Damsgaard, Jan | Henriksen, Helle Zinner | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2004Online access: Texto completo Availability: No items available

30.
Integrity and Internal Control in Information Systems VI [Recurso electrónico] : IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13â€{u1D20}November 2003, Lausanne, Switzerland / edited by Sushil Jajodia, Leon Strous.

by Jajodia, Sushil | Strous, Leon | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : Kluwer Academic Publishers, 2004Online access: Texto completo Availability: No items available

31.
Automata, Languages and Programming [Recurso electrónico] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki.

by Arge, Lars | Cachin, Christian | Jurdzinski, Tomasz | Tarlecki, Andrzej | 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

32.
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

33.
Applied Parallel Computing. State of the Art in Scientific Computing [Recurso electrónico] : 8th International Workshop, PARA 2006, UmeÃÆ, Sweden, June 18-21, 2006, Revised Selected Papers. Bo KÃÆgstrÃœm, Erik Elmroth, Jack Dongarra, Jerzy

by KÃÆgstrÃœm, Bo | Dongarra, Jack | Elmroth, Erik | Wasniewski, Jerzy | 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

34.
Applied Parallel Computing [Recurso electrónico] / State of the Art in Scientific Computing edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski.

by Dongarra, Jack | Madsen, Kaj | Wasniewski, Jerzy | 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

35.
Computer Safety, Reliability, and Security (vol. # 4166) [Recurso electrónico] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings edited by Janusz Górski.

by Górski, Janusz | 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

36.
Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

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

37.
Project E-Society: Building Bricks [Recurso electrónico] : 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11â€{u1CEC} 2006, Turku, Finland / edited by Reima Suomi, Regis Cabral, J. Felix Hampe, Arto HeikkilÃ{uC80A}onna JÃ{u2DA5}lÃ{u9BA5}n, Eija Koskivaara.

by Suomi, Reima | Cabral, Regis | Hampe, J. Felix | HeikkilÃ{uC801}rto | JÃ{u2DA5}lÃ{u9BA5}n, Jonna | Koskivaara, Eija | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

38.
Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz.

by Riel, Andreas | Oâ€{u3BEE}nor, Rory | Tichkiewitch, Serge | Messnarz, Richard | SpringerLink (Online service).

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

39.
Software and Data Technologies [Recurso electrónico] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert.

by Cordeiro, José | Shishkov, Boris | Ranchordas, AlpeshKumar | Helfert, Markus | SpringerLink (Online service).

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

40.
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

Powered by Koha