Refine your search

Your search returned 216 results.

|
21.
Ambient Networks [Recurso electrónico] / 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings edited by JÃơrgen SchÃœnwÃÞlder, Joan Serrat.

by SchÃœnwÃÞlder, JÃơrgen | Serrat, Joan | 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

22.
Functional and Logic Programming [Recurso electrónico] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings edited by Masami Hagiya, Philip Wadler.

by Hagiya, Masami | Wadler, Philip | 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 Composition (vol. # 4089) [Recurso electrónico] / 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers edited by Welf LÃœwe, Mario SÃơdholt.

by LÃœwe, Welf | SÃơdholt, Mario | 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

24.
Soft Computing Methods for Microwave and Millimeter-Wave Design Problems [Recurso electrónico] / by Narendra Chauhan, Machavaram Kartikeyan, Ankush Mittal.

by Chauhan, Narendra | Kartikeyan, Machavaram | Mittal, Ankush.

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.
Dependable Networks and Services [Recurso electrónico] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings / edited by Ramin Sadre, JirÃ{u03AF}votnÃ{uC810}avel Celeda, Martin Waldburger, Burkhard Stiller.

by Sadre, Ramin | NovotnÃ{uC80A}irÃ{uE029} | Celeda, Pavel | Waldburger, Martin | Stiller, Burkhard.

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

26.
Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders.

by Abdallah, Ali E | Jones, Cliff B | Sanders, Jeff W | 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

27.
Static Analysis (vol. # 3672) [Recurso electrónico] / 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings edited by Chris Hankin, Igor Siveroni.

by Hankin, Chris | Siveroni, Igor | 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

28.
Multiagent System Technologies (vol. # 3550) [Recurso electrónico] / Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings edited by Torsten EymannMichael N. Huhns, Franziska KlÃơgl, Matthias Klusch et al.

by Eymann, Torsten | Huhns, Michael N | KlÃơgl, Franziska | Klusch, Matthias | Lamersdorf, Winfried | 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

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

30.
Logic Based Program Synthesis and Transformation (vol. # 3901) [Recurso electrónico] / 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers edited by Patricia M. Hill.

by Hill, Patricia M | 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.
Software Engineering for Multi-Agent Systems IV [Recurso electrónico] / Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al.

by Garcia, Alessandro | Choren, Ricardo | Giorgini, Paolo | Holvoet, Tom | Lucena, Carlos | Romanovsky, Alexander | 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

32.
Logic Programming (vol. # 4079) [Recurso electrónico] / 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Sandro Etalle, Miroslav Truszczynski.

by Etalle, Sandro | Truszczynski, Miroslav | 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

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

34.
Static Analysis [Recurso electrónico] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.

by Nielson, Hanne Riis | Filé, Gilberto | 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

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

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

37.
Software Process Improvement [Recurso electrónico] : 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Juan Cuadrago Gallego, Ricardo Rejas Muslera, Kari Smolander, Richard Messnarz.

by Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Cuadrago Gallego, Juan | Rejas Muslera, Ricardo | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service).

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

38.
Logic Programming [Recurso electrónico] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka NiemelÃÞ.

by Dahl, Véronica | NiemelÃÞ, Ilkka | 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

39.
Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels

by Feitelson, Dror | 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

40.
Logic Based Program Synthesis and Transformation (vol. # 3573) [Recurso electrónico] / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers edited by Sandro Etalle.

by Etalle, Sandro | 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

Powered by Koha