Refine your search

Your search returned 306 results.

|
41.
Implementation and Application of Automata (vol. # 4094) [Recurso electrónico] / 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings edited by Oscar H. Ibarra, Hsu-Chun Yen.

by Ibarra, Oscar H | Yen, Hsu-Chun | 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

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

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

43.
Electron Transport in Nanosystems [Recurso electrónico] / edited by Janez BonÄ{u1B20}Sergei Kruchinin.

by BonÄ{u1B20}Janez | Kruchinin, Sergei | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Dordrecht : Springer Netherlands, 2009Online access: Texto completo Availability: No items available

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

45.
Languages and Compilers for Parallel Computing (vol. # 2481) [Recurso electrónico] / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng.

by Pugh, Bill | Tseng, Chau-Wen | 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

46.
Mathematics of Program Construction [Recurso electrónico] / 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu.

by Uustalu, Tarmo | 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

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

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

48.
Bioinformatics Research and Applications [Recurso electrónico] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings / edited by Ion Mandoiu, Alexander Zelikovsky.

by Mandoiu, Ion | Zelikovsky, Alexander | 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

49.
Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek.

by Murphy, Amy L | Vitek, Jan | 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

50.
CONCUR 2007 - Concurrency Theory [Recurso electrónico] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by LuÃ{u037F}s Caires, Vasco T. Vasconcelos.

by Caires, LuÃ{u037F}s | Vasconcelos, Vasco T | 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

51.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [Recurso electrónico] : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings. Franck Cappello, Thomas Herault, Ja

by Cappello, Franck | Dongarra, Jack | Herault, Thomas | 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

52.
Machines, Computations, and Universality [Recurso electrónico] : 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / edited by JérÃḿe Durand-Lose, Maurice Margenstern.

by Durand-Lose, JérÃḿe | Margenstern, Maurice | 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

53.
Distributed Computing [Recurso electrónico] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.

by Pelc, Andrzej | 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

54.
MICAI 2006: Advances in Artificial Intelligence [Recurso electrónico] / 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings edited by Alexander Gelbukh, Carlos Alberto Reyes-Garc

by Gelbukh, Alexander | Reyes-Garcia, Carlos Alberto | 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

55.
Membrane Computing (vol. # 4361) [Recurso electrónico] / 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers edited by Hendrik Jan Hoogeboom, Gheorghe Paun, Grzegorz Rozenberg, Ar

by Hoogeboom, Hendrik Jan | Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | 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

56.
Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco.

by Jacquet, Jean-Marie | Picco, Gian Pietro | 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

57.
Languages and Compilers for High Performance Computing [Recurso electrónico] / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M

by Eigenmann, Rudolf | Li, Zhiyuan | Midkiff, Samuel P | 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

58.
Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru

by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | 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

59.
Implementation and Application of Automata (vol. # 3845) [Recurso electrónico] / 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers edited by Jacques Farré, Igor Litovsky, Sylvain Sch

by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | 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

60.
Computational and Ambient Intelligence [Recurso electrónico] : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007. Proceedings. Francisco Sandoval, Alberto Prieto, Joan Cab

by Sandoval, Francisco | Cabestany, Joan | Graña, Manuel | Prieto, Alberto | 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

Powered by Koha