Refine your search

Your search returned 622 results.

|
1.
Unconventional Computation (vol. # 4135) [Recurso electrónico] / 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg et al.

by Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Rozenberg, Grzegorz | Stepney, Susan | 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.
Unconventional Computation (vol. # 3699) [Recurso electrónico] / 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings edited by Cristian S. CaludeMichael J. Dinneen, Gheorghe Paun, Mario de Jesus Pérez-Jiménez et al

by Calude, Cristian S | Dinneen, Michael J | Paun, Gheorghe | Pérez-Jiménez, Mario de Jesus | Rozenberg, Grzegorz | 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.
Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa

by Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | 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.
Unconventional Computation [Recurso electrónico] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings / edited by Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, H. Todd Wareham.

by Akl, Selim G | Calude, Cristian S | Dinneen, Michael J | Rozenberg, Grzegorz | Wareham, H. Todd | 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

5.
Evolutionary Multi-Criterion Optimization [Recurso electrónico] / Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings edited by Carlos A. Coello Coello, Arturo Hernández Aguirre, Eckart Zitzler.

by Coello Coello, Carlos A | Hernández Aguirre, Arturo | Zitzler, Eckart | 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.
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

7.
Transactions on Computational Systems Biology VI [Recurso electrónico] / edited by Gordon Plotkin.

by Plotkin, Gordon | 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

8.
DNA Computing (vol. # 4287) [Recurso electrónico] / 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers edited by Chengde Mao, Takashi Yokomori.

by Mao, Chengde | Yokomori, Takashi | 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.
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [Recurso electrónico] / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V

by Hermanns, Holger | Palsberg, Jens | 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

10.
Logical Approaches to Computational Barriers [Recurso electrónico] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings edited by Arnold Beckmann, Ulrich Berger, Benedikt LÃœwe, John V. Tucke

by Beckmann, Arnold | Berger, Ulrich | LÃœwe, Benedikt | Tucker, John V | 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

11.
Structural Information and Communication Complexity (vol. # 4056) [Recurso electrónico] / 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings edited by Paola Flocchini, Leszek Gasieniec.

by Flocchini, Paola | Gasieniec, Leszek | 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.
Swarm Robotics [Recurso electrónico] / SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers edited by Erol Sahin, William M. Spears.

by Sahin, Erol | Spears, William M | 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.
Graph Drawing (vol. # 3383) [Recurso electrónico] / 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers edited by János Pach.

by Pach, János | 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

14.
Machines, Computations, and Universality [Recurso electrónico] / 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers edited by Maurice Margenstern.

by Margenstern, Maurice | 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.
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

16.
Integer Programming and Combinatorial Optimization [Recurso electrónico] / 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings edited by Michael JÃơnger, Volker Kaibel.

by JÃơnger, Michael | Kaibel, Volker | 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

17.
Integer Programming and Combinatorial Optimization [Recurso electrónico] / 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings edited by Matteo Fischetti, David P. Williamson.

by Fischetti, Matteo | Williamson, David P | SpringerLink (Online service).

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

18.
Computation and Logic in the Real World [Recurso electrónico] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings edited by S. Barry Cooper, Benedikt LÃœwe, Andrea Sorbi.

by Cooper, S. Barry | LÃœwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online 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.
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

Powered by Koha