Refine your search

Your search returned 105 results. Subscribe to this search

|
61. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
62. Static Analysis (vol. # 4134) [Recurso electrónico] / 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings edited by Kwangkeun Yi. by Yi, Kwangkeun. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

63. Parallel Problem Solving from Nature - PPSN IX [Recurso electrónico] / 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings edited by Thomas Philip RunarssonHans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós by Runarsson, Thomas Philip. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

64. Modular Programming Languages [Recurso electrónico] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski. by Lightfoot, David. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

65. Multiagent System Technologies (vol. # 4196) [Recurso electrónico] / 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings edited by Klaus Fischer, Elisabeth André, Ingo J. Timm, Ning Zhong. by Fischer, Klaus. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

66. Generative and Transformational Techniques in Software Engineering [Recurso electrónico] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers edited by Ralf LÃÞmmel, João Saraiva, Joost Visser. by LÃÞmmel, Ralf. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

67. Refinement Techniques in Software Engineering [Recurso electrónico] / First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures edited by Ana Cavalcanti, Augusto Sampaio, by Cavalcanti, Ana. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

68. Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by Zoltán Horváth. by Horváth, Zoltán. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

69. Rigorous Engineering of Fault-Tolerant Systems [Recurso electrónico] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna. by Butler, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

70. Logic for Programming, Aritficial Intelligence, and Reasoning [Recurso electrónico] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

71. Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

72. Middleware 2006 [Recurso electrónico] / ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings edited by Maarten van Steen, Michi Henning. by van Steen, Maarten. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

73. Principles of Distributed Systems (vol. # 4305) [Recurso electrónico] / 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings edited by Alexander A. Shvartsman. by Shvartsman, Alexander A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

74. Distributed Computing and Networking [Recurso electrónico] / 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura. by Chaudhuri, Soma. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

75. Distributed Computing and Internet Technology (vol. # 4317) [Recurso electrónico] / Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 edited by Sanjay K. MadriaKajal Claypool, Rajgopal Kannan, Prem Uppuluri by Madria, Sanjay K. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

76. Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

77. Agent-Oriented Software Engineering VII [Recurso electrónico] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Padgham, Lin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

78. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

79. Distributed Applications and Interoperable Systems [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

80. Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

Powered by Koha