Refine your search

Your search returned 46 results.

|
1.
Parallel Problem Solving from Nature - PPSN IX [Recurso electrónico] / 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings edited by Thomas Philip RunarssonHans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós

by Runarsson, Thomas Philip | Beyer, Hans-Georg | Burke, Edmund | Merelo-Guervós, Juan J | Whitley, L. Darrell | Yao, Xin | 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

2.
Distributed Computing and Networking [Recurso electrónico] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.

by Bononi, Luciano | Datta, Ajoy K | Devismes, Stéphane | Misra, Archan.

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

3.
Dependable Networks and Services [Recurso electrónico] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings / edited by Ramin Sadre, JirÃ{u03AF}votnÃ{uC810}avel Celeda, Martin Waldburger, Burkhard Stiller.

by Sadre, Ramin | NovotnÃ{uC80A}irÃ{uE029} | Celeda, Pavel | Waldburger, Martin | Stiller, Burkhard.

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

4.
Logic and Program Semantics [Recurso electrónico] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva.

by Constable, Robert L | Silva, Alexandra.

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

5.
Distributed Computing and Networking [Recurso electrónico] / 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura.

by Chaudhuri, Soma | Das, Samir R | Paul, Himadri S | Tirthapura, Srikanta | 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

6.
Computational Intelligence and Intelligent Systems [Recurso electrónico] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings / edited by Zhihua Cai, Hengjian Tong, Zhuo Kang, Yong Liu.

by Cai, Zhihua | Tong, Hengjian | Kang, Zhuo | Liu, Yong | SpringerLink (Online service).

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

7.
Formal Methods and Software Engineering [Recurso electrónico] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi.

by Aoki, Toshiaki | Taguchi, Kenji.

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

8.
Progress in VLSI Design and Test [Recurso electrónico] : 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings / edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay.

by Rahaman, Hafizur | Chattopadhyay, Sanatan | Chattopadhyay, Santanu.

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

9.
Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

by Kuncak, Viktor | Rybalchenko, Andrey.

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

10.
Distributed Computing and Internet Technology (vol. # 3816) [Recurso electrónico] / Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings edited by Goutam Chakraborty.

by Chakraborty, Goutam | 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

11.
Distributed Computing and Internet Technology (vol. # 4317) [Recurso electrónico] / Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 edited by Sanjay K. MadriaKajal Claypool, Rajgopal Kannan, Prem Uppuluri

by Madria, Sanjay K | Claypool, Kajal | Gore, Manoj Madhava | Kannan, Rajgopal | Uppuluri, Prem | 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.
Graph Structures for Knowledge Representation and Reasoning [Recurso electrónico] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby.

by Croitoru, Madalina | Rudolph, Sebastian | Wilson, Nic | Howse, John | Corby, Olivier.

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

13.
Advances in Grid and Pervasive Computing [Recurso electrónico] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois.

by Li, Ruixuan | Cao, Jiannong | Bourgeois, Julien.

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

14.
Reconfigurable Computing: Architectures, Tools and Applications [Recurso electrónico] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / edited by Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano.

by Choy, Oliver C. S | Cheung, Ray C C | Athanas, Peter | Sano, Kentaro.

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

15.
Bioinspired Models of Network, Information, and Computing Systems [Recurso electrónico] : 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers / edited by Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel.

by Altman, Eitan | Carrera, Iacopo | El-Azouzi, Rachid | Hart, Emma | Hayel, Yezekael | SpringerLink (Online service).

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

16.
Inductive Logic Programming [Recurso electrónico] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.

by Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza | 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.
Inductive Logic Programming [Recurso electrónico] / 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings edited by Stefan Kramer, Bernhard Pfahringer.

by Kramer, Stefan | Pfahringer, Bernhard | 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.
Distributed Computing (vol. # 4167) [Recurso electrónico] / 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings edited by Shlomi Dolev.

by Dolev, Shlomi | 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

19.
Distributed Computing (vol. # 3724) [Recurso electrónico] / 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings edited by Pierre Fraigniaud.

by Fraigniaud, Pierre | 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.
Distributed Computing [Recurso electrónico] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.

by Pelc, 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

Powered by Koha