Su búsqueda retornó 7749 resultados.

Resultados
		Implementation and Application of Functional Languages [recurso electrónico] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil. por Scholz, Sven-Bodo [editor.] \| Chitil, Olaf [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5836Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne. por Whittle, Jon [editor.] \| Clark, Tony [editor.] \| Kühne, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6981Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Dependable and Historic Computing [recurso electrónico] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd. por Jones, Cliff B [editor.] \| Lloyd, John L [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6875Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.17.
		Stabilization, Safety, and Security of Distributed Systems [recurso electrónico] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. por Défago, Xavier [editor.] \| Petit, Franck [editor.] \| Villain, Vincent [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6976Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		Formal Methods and Software Engineering [recurso electrónico] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. por Qin, Shengchao [editor.] \| Qiu, Zongyan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6991Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Testing Software and Systems [recurso electrónico] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. por Wolff, Burkhart [editor.] \| Zaïdi, Fatiha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7019Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Multiagent System Technologies [recurso electrónico] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings / edited by Franziska Klügl, Sascha Ossowski. por Klügl, Franziska [editor.] \| Ossowski, Sascha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6973Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Conceptual Modeling – ER 2011 [recurso electrónico] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling. por Jeusfeld, Manfred [editor.] \| Delcambre, Lois [editor.] \| Ling, Tok-Wang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6998Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Software Engineering and Formal Methods [recurso electrónico] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. por Barthe, Gilles [editor.] \| Pardo, Alberto [editor.] \| Schneider, Gerardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7041Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Computer Performance Engineering [recurso electrónico] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas. por Thomas, Nigel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6977Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Towards a Service-Based Internet [recurso electrónico] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière. por Abramowicz, Witold [editor.] \| Llorente, Ignacio M [editor.] \| Surridge, Mike [editor.] \| Zisman, Andrea [editor.] \| Vayssière, Julien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6994Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		New Studies in Global IT and Business Service Outsourcing [recurso electrónico] : 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers / edited by Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri. por Kotlarsky, Julia [editor.] \| Willcocks, Leslie P [editor.] \| Oshri, Ilan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 91Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .M3.
		Engineering Education and Management [recurso electrónico] : Vol 1, Results of the 2011 International Conference on Engineering Education and Management (ICEEM2011) / edited by Liangchi Zhang, Chunliang Zhang. por Zhang, Liangchi [editor.] \| Zhang, Chunliang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 111Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA177.4 -185.
		Information Security [recurso electrónico] : 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings / edited by Xuejia Lai, Jianying Zhou, Hui Li. por Lai, Xuejia [editor.] \| Zhou, Jianying [editor.] \| Li, Hui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7001Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Mobility in Process Calculi and Natural Computing [recurso electrónico] / by Bogdan Aman, Gabriel Ciobanu. por Aman, Bogdan [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). Series Natural Computing SeriesOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
		Rule - Based Modeling and Computing on the Semantic Web [recurso electrónico] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara. por Olken, Frank [editor.] \| Palmirani, Monica [editor.] \| Sottara, Davide [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7018Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Formal Modeling: Actors, Open Systems, Biological Systems [recurso electrónico] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. por Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7000Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Formal Methods, Foundations and Applications [recurso electrónico] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. por Simao, Adenilso [editor.] \| Morgan, Carroll [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7021Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		On the Move to Meaningful Internet Systems: OTM 2011 [recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. por Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| Kumar, Akhil [editor.] \| Reichert, Manfred [editor.] \| Qing, Li [editor.] \| Ooi, Beng-Chin [editor.] \| Damiani, Ernesto [editor.] \| Schmidt, Douglas C [editor.] \| White, Jules [editor.] \| Hauswirth, Manfred [editor.] \| Hitzler, Pascal [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7045Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		On the Move to Meaningful Internet Systems: OTM 2011 [recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. por Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| Kumar, Akhil [editor.] \| Reichert, Manfred [editor.] \| Qing, Li [editor.] \| Ooi, Beng-Chin [editor.] \| Damiani, Ernesto [editor.] \| Schmidt, Douglas C [editor.] \| White, Jules [editor.] \| Hauswirth, Manfred [editor.] \| Hitzler, Pascal [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7044Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

		Implementation and Application of Functional Languages [recurso electrónico] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil. por Scholz, Sven-Bodo [editor.] \| Chitil, Olaf [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5836Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne. por Whittle, Jon [editor.] \| Clark, Tony [editor.] \| Kühne, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6981Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Dependable and Historic Computing [recurso electrónico] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd. por Jones, Cliff B [editor.] \| Lloyd, John L [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6875Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.17.
		Stabilization, Safety, and Security of Distributed Systems [recurso electrónico] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. por Défago, Xavier [editor.] \| Petit, Franck [editor.] \| Villain, Vincent [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6976Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		Formal Methods and Software Engineering [recurso electrónico] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. por Qin, Shengchao [editor.] \| Qiu, Zongyan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6991Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Testing Software and Systems [recurso electrónico] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. por Wolff, Burkhart [editor.] \| Zaïdi, Fatiha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7019Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Multiagent System Technologies [recurso electrónico] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings / edited by Franziska Klügl, Sascha Ossowski. por Klügl, Franziska [editor.] \| Ossowski, Sascha [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6973Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Conceptual Modeling – ER 2011 [recurso electrónico] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling. por Jeusfeld, Manfred [editor.] \| Delcambre, Lois [editor.] \| Ling, Tok-Wang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6998Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Software Engineering and Formal Methods [recurso electrónico] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. por Barthe, Gilles [editor.] \| Pardo, Alberto [editor.] \| Schneider, Gerardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7041Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Computer Performance Engineering [recurso electrónico] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings / edited by Nigel Thomas. por Thomas, Nigel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6977Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Towards a Service-Based Internet [recurso electrónico] : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings / edited by Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière. por Abramowicz, Witold [editor.] \| Llorente, Ignacio M [editor.] \| Surridge, Mike [editor.] \| Zisman, Andrea [editor.] \| Vayssière, Julien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6994Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		New Studies in Global IT and Business Service Outsourcing [recurso electrónico] : 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers / edited by Julia Kotlarsky, Leslie P. Willcocks, Ilan Oshri. por Kotlarsky, Julia [editor.] \| Willcocks, Leslie P [editor.] \| Oshri, Ilan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 91Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .M3.
		Engineering Education and Management [recurso electrónico] : Vol 1, Results of the 2011 International Conference on Engineering Education and Management (ICEEM2011) / edited by Liangchi Zhang, Chunliang Zhang. por Zhang, Liangchi [editor.] \| Zhang, Chunliang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Electrical Engineering ; 111Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA177.4 -185.
		Information Security [recurso electrónico] : 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings / edited by Xuejia Lai, Jianying Zhou, Hui Li. por Lai, Xuejia [editor.] \| Zhou, Jianying [editor.] \| Li, Hui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7001Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Mobility in Process Calculi and Natural Computing [recurso electrónico] / by Bogdan Aman, Gabriel Ciobanu. por Aman, Bogdan [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). Series Natural Computing SeriesOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA75.5 -76.95.
		Rule - Based Modeling and Computing on the Semantic Web [recurso electrónico] : 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings / edited by Frank Olken, Monica Palmirani, Davide Sottara. por Olken, Frank [editor.] \| Palmirani, Monica [editor.] \| Sottara, Davide [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7018Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.
		Formal Modeling: Actors, Open Systems, Biological Systems [recurso electrónico] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. por Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7000Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Formal Methods, Foundations and Applications [recurso electrónico] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. por Simao, Adenilso [editor.] \| Morgan, Carroll [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7021Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		On the Move to Meaningful Internet Systems: OTM 2011 [recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. por Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| Kumar, Akhil [editor.] \| Reichert, Manfred [editor.] \| Qing, Li [editor.] \| Ooi, Beng-Chin [editor.] \| Damiani, Ernesto [editor.] \| Schmidt, Douglas C [editor.] \| White, Jules [editor.] \| Hauswirth, Manfred [editor.] \| Hitzler, Pascal [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7045Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
		On the Move to Meaningful Internet Systems: OTM 2011 [recurso electrónico] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. por Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Herrero, Pilar [editor.] \| Kumar, Akhil [editor.] \| Reichert, Manfred [editor.] \| Qing, Li [editor.] \| Ooi, Beng-Chin [editor.] \| Damiani, Ernesto [editor.] \| Schmidt, Douglas C [editor.] \| White, Jules [editor.] \| Hauswirth, Manfred [editor.] \| Hitzler, Pascal [editor.] \| Mohania, Mukesh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7044Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 7749 resultados.