Refine your search

Your search returned 274 results.

|
1.
Computer Science -- Theory and Applications [Recurso electrónico] / First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings edited by Dima Grigoriev, John Harrison, Edward A.

by Grigoriev, Dima | Harrison, John | Hirsch, Edward A | 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.
Theoretical Computer Science (vol. # 3701) [Recurso electrónico] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings edited by Mario Coppo, Elena Lodi, G. Michele Pinna.

by Coppo, Mario | Lodi, Elena | Pinna, G. Michele | 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

3.
Computer Science - Theory and Applications [Recurso electrónico] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings. Volker Diekert, Mikhail V. Volkov, Andrei

by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | 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.
Mathematical Foundations of Computer Science 2006 [Recurso electrónico] / 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings edited by Rastislav Královic, Pawel Urzyczyn.

by Královic, Rastislav | Urzyczyn, Pawel | 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

5.
Mathematical Foundations of Computer Science 2005 [Recurso electrónico] / 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings edited by Joanna Jedrzejowicz, Andrzej Szepietowski.

by Jedrzejowicz, Joanna | Szepietowski, Andrzej | 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

6.
Mathematical Foundations of Computer Science 2007 [Recurso electrónico] : 32nd International Symposium, MFCS 2007 CeskÃư Krumlov, Czech Republic, August 26-31, 2007 Proceedings / edited by Ludek Kucera, AntonÃ{u037F}n Kucera.

by Kucera, Ludek | Kucera, AntonÃ{u037F}n | 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

7.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings edited by R. Ramanujam, Sandeep Sen.

by Ramanujam, R | Sen, Sandeep | 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.
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [Recurso electrónico] / 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings edited by S. Arun-Kumar, Naveen Garg.

by Arun-Kumar, S | Garg, Naveen | 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

9.
Scale Space and Variational Methods in Computer Vision [Recurso electrónico] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 Ì{u1498}£ June 2, 2011, Revised Selected Papers / edited by Alfred M. Bruckstein, Bart M. Haar Romeny, Alexander M. Bronstein, Michael M. Bronstein.

by Bruckstein, Alfred M | Haar Romeny, Bart M | Bronstein, Alexander M | Bronstein, Michael M.

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.
Energy Minimization Methods in Computer Vision and Pattern Recognition [Recurso electrónico] / 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings edited by Anand Rangarajan, Baba Vemuri, Alan L.

by Rangarajan, Anand | Vemuri, Baba | Yuille, Alan L | 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.
Mathematical Modeling and Computational Science [Recurso electrónico] : International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers / edited by Gheorghe Adam, Ján BuÃ{u2861}, Michal HnatiÃ{u17C0}

by Adam, Gheorghe | BuÃ{u2861}, Ján | HnatiÃ{u17EC} Michal.

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

12.
13.
Foundations of Software Science and Computational Structures (vol. # 3921) [Recurso electrónico] / 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn

by Aceto, Luca | Ingólfsdóttir, Anna | 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

14.
Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite

by Sassone, Vladimiro | 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

15.
Advances in Artificial Life [Recurso electrónico] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings. Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, António Coutinho.

by Almeida e Costa, Fernando | Costa, Ernesto | Coutinho, António | Harvey, Inman | Rocha, Luis Mateus | 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

16.
Algorithms in Bioinformatics [Recurso electrónico] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.

by Giancarlo, Raffaele | Hannenhalli, Sridhar | 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.
Progress in Artificial Intelligence [Recurso electrónico] / 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings edited by Carlos Bento, Amilcar Cardoso, Gael Dias.

by Bento, Carlos | Cardoso, Amilcar | Dias, Gael | 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.
Advances in Swarm Intelligence [Recurso electrónico] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Zhen Ji.

by Tan, Ying | Shi, Yuhui | Ji, Zhen.

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

19.
Advances in Swarm Intelligence [Recurso electrónico] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Zhen Ji.

by Tan, Ying | Shi, Yuhui | Ji, Zhen.

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

20.
Advances in Artificial Life [Recurso electrónico] / 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings edited by Peter J. BentleyMathieu Capcarrere, Alex A. Freitas, Colin G. Johnson et al.

by Bentley, Peter J | Capcarrere, Mathieu | Freitas, Alex A | Johnson, Colin G | Timmis, Jon | 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

Powered by Koha