Refine your search

Your search returned 306 results.

|
21.
Learning Theory (vol. # 4005) [Recurso electrónico] / 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings edited by Hans Ulrich Simon, Gábor Lugosi.

by Simon, Hans Ulrich | Lugosi, Gábor | 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

22.
CONCUR 2006 - Concurrency Theory [Recurso electrónico] / 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 edited by Christel Baier, Holger Hermanns.

by Baier, Christel | Hermanns, Holger | 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

23.
Software Service and Application Engineering [Recurso electrónico] : Essays Dedicated to Bernd KrÃ{uD972} on the Occasion of His 65th Birthday / edited by Maritta Heisel.

by Heisel, Maritta.

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

24.
Information Processign in Cells and Tissues [Recurso electrónico] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 Ì{u1498}£ April 2, 2012. Proceedings / edited by Michael A. Lones, Stephen L. Smith, Sarah Teichmann, Felix Naef, James A. Walker, Martin A. Trefzer.

by Lones, Michael A | Smith, Stephen L | Teichmann, Sarah | Naef, Felix | Walker, James A | Trefzer, Martin A.

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

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

26.
Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | 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

27.
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) [Recurso electrónico] / 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings edited by Bernd Mohr, Jesper Larsson

by Mohr, Bernd | Dongarra, Jack | Larsson TrÃÞff, Jesper | Worringen, Joachim | 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

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

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

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

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

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

33.
Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust.

by Rust, Heinrich | 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

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

35.
Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite

by Sassone, Vladimiro | 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

36.
Learning Theory (vol. # 3559) [Recurso electrónico] / 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings edited by Peter Auer, Ron Meir.

by Auer, Peter | Meir, Ron | 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

37.
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) [Recurso electrónico] / 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja

by Di Martino, Beniamino | Dongarra, Jack | KranzlmÃơller, Dieter | 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

38.
Theoretical Aspects of Computing - ICTAC 2005 [Recurso electrónico] / Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings edited by Dang Van Hung, Martin Wirsing.

by Hung, Dang Van | Wirsing, Martin | 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

39.
MICAI 2005: Advances in Artificial Intelligence [Recurso electrónico] / 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings edited by Alexander Gelbukh, Hugo Terashima.

by Gelbukh, Alexander | Terashima, Hugo | 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

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