Your search returned 622 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.

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

Series: Lecture Notes in Computer Science ; 4618Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online 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.

Artificial Intelligence Applications and Innovations [Recurso electrónico] : IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7â€{u9B20}2005, Beijing, China / edited by Daoliang Li, Baoji Wang.

by Li, Daoliang | Wang, Baoji | SpringerLink (Online service).

Series: IFIP â€{u0528}e International Federation for Information Processing ; 187Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 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.

Domain Modeling and the Duration Calculus [Recurso electrónico] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock.

by George, Chris W | Liu, Zhiming | Woodcock, Jim | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4710Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online 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.

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

Series: Lecture Notes in Computer Science ; 4455Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online 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.

Pages

Powered by Koha