Su búsqueda retornó 7749 resultados.

Resultados
		Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [recurso electrónico] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / edited by Asit Dan, Frédéric Gittler, Farouk Toumani. por Dan, Asit [editor.] \| Gittler, Frédéric [editor.] \| Toumani, Farouk [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6275Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6394Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Grey Systems [recurso electrónico] : Theory and Applications / by Sifeng Liu, Yi Lin. por Liu, Sifeng [author.] \| Lin, Yi [author.] \| SpringerLink (Online service). Series Understanding Complex Systems ; 68Origen: 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 .M35.
		Security and Privacy in Communication Networks [recurso electrónico] : 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings / edited by Sushil Jajodia, Jianying Zhou. por Jajodia, Sushil [editor.] \| Zhou, Jianying [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 50Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Model Checking Software [recurso electrónico] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / edited by Jaco Pol, Michael Weber. por Pol, Jaco [editor.] \| Weber, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6349Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Information Computing and Applications [recurso electrónico] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. por Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6377Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso 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.
		Multiagent System Technologies [recurso electrónico] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings / edited by Jürgen Dix, Cees Witteveen. por Dix, Jürgen [editor.] \| Witteveen, Cees [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6251Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Fusion Methods for Unsupervised Learning Ensembles [recurso electrónico] / by Bruno Baruque, Emilio Corchado. por Baruque, Bruno [author.] \| Corchado, Emilio [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 322Origen: 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: Q342.
		Power Grid Complexity [recurso electrónico] / by Shengwei Mei, Xuemin Zhang, Ming Cao. por Mei, Shengwei [author.] \| Zhang, Xuemin [author.] \| Cao, Ming [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7881.15.
		Indistinguishability Operators [recurso electrónico] : Modelling Fuzzy Equalities and Fuzzy Equivalence Relations / by Jordi Recasens. por Recasens, Jordi [author.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 260Origen: 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: Q342.
		Computational Methods for the Innovative Design of Electrical Devices [recurso electrónico] / edited by Slawomir Wiak, Ewa Napieralska-Juszczak. por Wiak, Slawomir [editor.] \| Napieralska-Juszczak, Ewa [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 327Origen: 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: Q342.
		Meshfree Methods for Partial Differential Equations V [recurso electrónico] / edited by Michael Griebel, Marc Alexander Schweitzer. por Griebel, Michael [editor.] \| Schweitzer, Marc Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 79Origen: 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: QA71 -90.
		Facing the Multicore-Challenge [recurso electrónico] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. por Keller, Rainer [editor.] \| Kramer, David [editor.] \| Weiss, Jan-Philipp [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6310Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA297 -299.4.
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Software Technologies for Embedded and Ubiquitous Systems [recurso electrónico] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. por Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Puschner, Peter [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6399Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Brain, Body and Machine [recurso electrónico] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines / edited by Jorge Angeles, Benoit Boulet, James J. Clark, József Kövecses, Kaleem Siddiqi. por Angeles, Jorge [editor.] \| Boulet, Benoit [editor.] \| Clark, James J [editor.] \| Kövecses, József [editor.] \| Siddiqi, Kaleem [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 83Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Nonlinear Dynamics in Human Behavior [recurso electrónico] / edited by Raoul Huys, Viktor K. Jirsa. por Huys, Raoul [editor.] \| Jirsa, Viktor K [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 328Origen: 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: TA329 -348.
		Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Software Services for e-World [recurso electrónico] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings / edited by Wojciech Cellary, Elsa Estevez. por Cellary, Wojciech [editor.] \| Estevez, Elsa [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 341Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C66.

		Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops [recurso electrónico] : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers / edited by Asit Dan, Frédéric Gittler, Farouk Toumani. por Dan, Asit [editor.] \| Gittler, Frédéric [editor.] \| Toumani, Farouk [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6275Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model Driven Engineering Languages and Systems [recurso electrónico] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. por Petriu, Dorina C [editor.] \| Rouquette, Nicolas [editor.] \| Haugen, Øystein [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6394Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Grey Systems [recurso electrónico] : Theory and Applications / by Sifeng Liu, Yi Lin. por Liu, Sifeng [author.] \| Lin, Yi [author.] \| SpringerLink (Online service). Series Understanding Complex Systems ; 68Origen: 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 .M35.
		Security and Privacy in Communication Networks [recurso electrónico] : 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings / edited by Sushil Jajodia, Jianying Zhou. por Jajodia, Sushil [editor.] \| Zhou, Jianying [editor.] \| SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 50Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Model Checking Software [recurso electrónico] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings / edited by Jaco Pol, Michael Weber. por Pol, Jaco [editor.] \| Weber, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6349Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Information Computing and Applications [recurso electrónico] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings / edited by Rongbo Zhu, Yanchun Zhang, Baoxiang Liu, Chunfeng Liu. por Zhu, Rongbo [editor.] \| Zhang, Yanchun [editor.] \| Liu, Baoxiang [editor.] \| Liu, Chunfeng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6377Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Acceso 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.
		Multiagent System Technologies [recurso electrónico] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings / edited by Jürgen Dix, Cees Witteveen. por Dix, Jürgen [editor.] \| Witteveen, Cees [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6251Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Fusion Methods for Unsupervised Learning Ensembles [recurso electrónico] / by Bruno Baruque, Emilio Corchado. por Baruque, Bruno [author.] \| Corchado, Emilio [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 322Origen: 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: Q342.
		Power Grid Complexity [recurso electrónico] / by Shengwei Mei, Xuemin Zhang, Ming Cao. por Mei, Shengwei [author.] \| Zhang, Xuemin [author.] \| Cao, Ming [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK7881.15.
		Indistinguishability Operators [recurso electrónico] : Modelling Fuzzy Equalities and Fuzzy Equivalence Relations / by Jordi Recasens. por Recasens, Jordi [author.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 260Origen: 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: Q342.
		Computational Methods for the Innovative Design of Electrical Devices [recurso electrónico] / edited by Slawomir Wiak, Ewa Napieralska-Juszczak. por Wiak, Slawomir [editor.] \| Napieralska-Juszczak, Ewa [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 327Origen: 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: Q342.
		Meshfree Methods for Partial Differential Equations V [recurso electrónico] / edited by Michael Griebel, Marc Alexander Schweitzer. por Griebel, Michael [editor.] \| Schweitzer, Marc Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computational Science and Engineering ; 79Origen: 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: QA71 -90.
		Facing the Multicore-Challenge [recurso electrónico] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. por Keller, Rainer [editor.] \| Kramer, David [editor.] \| Weiss, Jan-Philipp [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6310Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA297 -299.4.
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Software Technologies for Embedded and Ubiquitous Systems [recurso electrónico] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. por Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Puschner, Peter [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6399Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Brain, Body and Machine [recurso electrónico] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines / edited by Jorge Angeles, Benoit Boulet, James J. Clark, József Kövecses, Kaleem Siddiqi. por Angeles, Jorge [editor.] \| Boulet, Benoit [editor.] \| Clark, James J [editor.] \| Kövecses, József [editor.] \| Siddiqi, Kaleem [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 83Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.
		Nonlinear Dynamics in Human Behavior [recurso electrónico] / edited by Raoul Huys, Viktor K. Jirsa. por Huys, Raoul [editor.] \| Jirsa, Viktor K [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 328Origen: 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: TA329 -348.
		Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Software Services for e-World [recurso electrónico] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings / edited by Wojciech Cellary, Elsa Estevez. por Cellary, Wojciech [editor.] \| Estevez, Elsa [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 341Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C66.

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.