Refine your search

Your search returned 50 results.

|
1.
Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia.

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

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

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

4.
Learning and Intelligent Optimization [Recurso electrónico] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers / edited by Youssef Hamadi, Marc Schoenauer.

by Hamadi, Youssef | Schoenauer, Marc.

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

5.
Internet and Network Economics [Recurso electrónico] : 8th International Workshop, WINE 2012, Liverpool, UK, December 10-12, 2012. Proceedings / edited by Paul W. Goldberg.

by Goldberg, Paul W.

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

6.
STACS 2006 [Recurso electrónico] / 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings edited by Bruno Durand, Wolfgang Thomas.

by Durand, Bruno | Thomas, Wolfgang | 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

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

8.
Algorithms in Bioinformatics (vol. # 3692) [Recurso electrónico] / 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings edited by Rita Casadio, Gene Myers.

by Casadio, Rita | Myers, Gene | 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

9.
Fundamentals of Computation Theory [Recurso electrónico] / 15th International Symposium, FCT 2005, LÃơbeck, Gemany, August 17-20, 2005, Proceedings edited by Maciej Liskiewicz, RÃơdiger Reischuk.

by Liskiewicz, Maciej | Reischuk, RÃơdiger | 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

10.
LATIN 2012: Theoretical Informatics [Recurso electrónico] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / edited by David Fernández-Baca.

by Fernández-Baca, David.

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

11.
Evolutionary Computation in Combinatorial Optimization (vol. # 3448) [Recurso electrónico] / 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl.

by Gottlieb, Jens | Raidl, GÃơnther R | 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

12.
Developments in Language Theory (vol. # 3572) [Recurso electrónico] / 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings edited by Clelia De Felice, Antonio Restivo.

by De Felice, Clelia | Restivo, Antonio | 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

13.
Evolutionary Computation in Combinatorial Optimization (vol. # 3906) [Recurso electrónico] / 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Jens Gottlieb, GÃơnther R. Raidl.

by Gottlieb, Jens | Raidl, GÃơnther R | 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.
Parameterized and Exact Computation [Recurso electrónico] : 6th International Symposium, IPEC 2011, Saarbr©ơcken, Germany, September 6-8, 2011. Revised Selected Papers / edited by D©Å{uEA65}l Marx, Peter Rossmanith.

by Marx, D婁{uEA65}l | Rossmanith, 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

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

16.
Algorithms in Bioinformatics (vol. # 4175) [Recurso electrónico] / 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings edited by Philipp BÃơcher, Bernard M.E. Moret.

by BÃơcher, Philipp | Moret, Bernard M.E | 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

17.
Advances in Neural Networks - ISNN 2005 (vol. # 3496) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I edited by Xiaofeng Liao, Jun Wang, Zhang Yi.

by Liao, Xiaofeng | Wang, Jun | Yi, Zhang | 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 Neural Networks - ISNN 2005 (vol. # 3497) [Recurso electrónico] / Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II edited by Xiaofeng Liao, Jun Wang, Zhang Yi.

by Liao, Xiaofeng | Wang, Jun | Yi, Zhang | 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.
How the World Computes [Recurso electrónico] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Cooper, S. Barry | Dawar, Anuj | Löwe, Benedikt.

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

Powered by Koha