Your search returned 289 results.

Sort
Results
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).

Series: Lecture Notes in Computer Science ; 4135Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3699Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3317Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3410Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

by Plotkin, Gordon | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4220Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Approximation, Randomization, and Combinatorial Optimization Algorithms and Techniques [Recurso electrónico] / 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International W

by Diaz, Josep | Jansen, Klaus | Rolim, José D.P | Zwick, Uri | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4110Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Transactions on Computational Systems Biology VII [Recurso electrónico] / edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson.

by Ingolfsdottir, Anna | Mishra, Bud | Nielson, Hanne Riis | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4230Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Active Mining [Recurso electrónico] / Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers edited by Hiroshi Motoda, Masayuki Numao, Shusaku Tsumoto, Takahira Yamaguchi.

by Motoda, Hiroshi | Numao, Masayuki | Tsumoto, Shusaku | Yamaguchi, Takahira | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3430Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [Recurso electrónico] / 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Wo

by Chekuri, Chandra | Jansen, Klaus | Rolim, José D.P | Trevisan, Luca | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3624Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3920Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) [Recurso electrónico] / 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed

by Halbwachs, Nicolas | Zuck, Lenore | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3440Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3342Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Cellular Automata [Recurso electrónico] / 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings edited by Samira El Yacoubi, Bastien Chopard, Stafania B

by El Yacoubi, Samira | Bandini, Stafania | Chopard, Bastien | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4173Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3625Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4167Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3509Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4287Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4513Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3724Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Structural Information and Communication Complexity (vol. # 3499) [Recurso electrónico] / 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings edited by Andrzej Pelc, Michel Raynal.

by Pelc, Andrzej | Raynal, Michel | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3499Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Pages

Powered by Koha