Su búsqueda retornó 2235 resultados.

Resultados
		Logic, Language, and Computation [recurso electrónico] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. por Bezhanishvili, Nick [editor.] \| Löbner, Sebastian [editor.] \| Schwabe, Kerstin [editor.] \| Spada, Luca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6618Origen: 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.
		Model Checking Software [recurso electrónico] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. por Groce, Alex [editor.] \| Musuvathi, Madanlal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6823Origen: 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.
		Natural Language Processing and Information Systems [recurso electrónico] : 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings / edited by Rafael Muñoz, Andrés Montoyo, Elisabeth Métais. por Muñoz, Rafael [editor.] \| Montoyo, Andrés [editor.] \| Métais, Elisabeth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6716Origen: 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: P98 -98.5.
		Transactions on Computational Science XII [recurso electrónico] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| Sourin, Alexei [editor.] \| Sourina, Olga [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6670Origen: 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 .U83.
		Scientific and Statistical Database Management [recurso electrónico] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / edited by Judith Bayard Cushing, James French, Shawn Bowers. por Bayard Cushing, Judith [editor.] \| French, James [editor.] \| Bowers, Shawn [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6809Origen: 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.
		User Modeling, Adaption and Personalization [recurso electrónico] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings / edited by Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver. por Konstan, Joseph A [editor.] \| Conejo, Ricardo [editor.] \| Marzo, José L [editor.] \| Oliver, Nuria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6787Origen: 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.
		Software Engineering Techniques [recurso electrónico] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka. por Huzar, Zbigniew [editor.] \| Koci, Radek [editor.] \| Meyer, Bertrand [editor.] \| Walter, Bartosz [editor.] \| Zendulka, Jaroslav [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 4980Origen: 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.
		Security and Trust Management [recurso electrónico] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner. por Cuellar, Jorge [editor.] \| Lopez, Javier [editor.] \| Barthe, Gilles [editor.] \| Pretschner, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6710Origen: 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.
		Optical Supercomputing [recurso electrónico] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. por Dolev, Shlomi [editor.] \| Oltean, Mihai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6748Origen: 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.
		Information Security and Privacy [recurso electrónico] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes. por Parampalli, Udaya [editor.] \| Hawkes, Philip [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6812Origen: 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.
		Rule-Based Reasoning, Programming, and Applications [recurso electrónico] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. por Bassiliades, Nick [editor.] \| Governatori, Guido [editor.] \| Paschke, Adrian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6826Origen: 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.
		Smart Graphics [recurso electrónico] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings / edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier. por Dickmann, Lutz [editor.] \| Volkmann, Gerald [editor.] \| Malaka, Rainer [editor.] \| Boll, Susanne [editor.] \| Krüger, Antonio [editor.] \| Olivier, Patrick [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6815Origen: 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 .U83.
		A Hybrid Deliberative Layer for Robotic Agents [recurso electrónico] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto. por Hartanto, Ronny [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6798Origen: 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.
		Modeling Decision for Artificial Intelligence [recurso electrónico] : 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings / edited by Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long. por Torra, Vicenç [editor.] \| Narakawa, Yasuo [editor.] \| Yin, Jianping [editor.] \| Long, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6820Origen: 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.
		Transactions on Computational Science XIII [recurso electrónico] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6750Origen: 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 .U83.
		Journal on Data Semantics XV [recurso electrónico] / edited by Stefano Spaccapietra. por Spaccapietra, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6720Origen: 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 .D343.
		Public Key Infrastructures, Services and Applications [recurso electrónico] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers / edited by Jan Camenisch, Costas Lambrinoudakis. por Camenisch, Jan [editor.] \| Lambrinoudakis, Costas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6711Origen: 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.
		Transactions on Edutainment VI [recurso electrónico] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller. por Pan, Zhigeng [editor.] \| Cheok, Adrian David [editor.] \| Müller, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6758Origen: 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 .U83.
		Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [recurso electrónico] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich. por Goldreich, Oded [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6650Origen: 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.
		Intelligent Computer Mathematics [recurso electrónico] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. por Davenport, James H [editor.] \| Farmer, William M [editor.] \| Urban, Josef [editor.] \| Rabe, Florian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6824Origen: 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.

		Logic, Language, and Computation [recurso electrónico] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. por Bezhanishvili, Nick [editor.] \| Löbner, Sebastian [editor.] \| Schwabe, Kerstin [editor.] \| Spada, Luca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6618Origen: 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.
		Model Checking Software [recurso electrónico] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. por Groce, Alex [editor.] \| Musuvathi, Madanlal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6823Origen: 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.
		Natural Language Processing and Information Systems [recurso electrónico] : 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings / edited by Rafael Muñoz, Andrés Montoyo, Elisabeth Métais. por Muñoz, Rafael [editor.] \| Montoyo, Andrés [editor.] \| Métais, Elisabeth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6716Origen: 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: P98 -98.5.
		Transactions on Computational Science XII [recurso electrónico] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| Sourin, Alexei [editor.] \| Sourina, Olga [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6670Origen: 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 .U83.
		Scientific and Statistical Database Management [recurso electrónico] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / edited by Judith Bayard Cushing, James French, Shawn Bowers. por Bayard Cushing, Judith [editor.] \| French, James [editor.] \| Bowers, Shawn [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6809Origen: 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.
		User Modeling, Adaption and Personalization [recurso electrónico] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings / edited by Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver. por Konstan, Joseph A [editor.] \| Conejo, Ricardo [editor.] \| Marzo, José L [editor.] \| Oliver, Nuria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6787Origen: 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.
		Software Engineering Techniques [recurso electrónico] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka. por Huzar, Zbigniew [editor.] \| Koci, Radek [editor.] \| Meyer, Bertrand [editor.] \| Walter, Bartosz [editor.] \| Zendulka, Jaroslav [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 4980Origen: 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.
		Security and Trust Management [recurso electrónico] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner. por Cuellar, Jorge [editor.] \| Lopez, Javier [editor.] \| Barthe, Gilles [editor.] \| Pretschner, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6710Origen: 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.
		Optical Supercomputing [recurso electrónico] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. por Dolev, Shlomi [editor.] \| Oltean, Mihai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6748Origen: 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.
		Information Security and Privacy [recurso electrónico] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes. por Parampalli, Udaya [editor.] \| Hawkes, Philip [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6812Origen: 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.
		Rule-Based Reasoning, Programming, and Applications [recurso electrónico] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke. por Bassiliades, Nick [editor.] \| Governatori, Guido [editor.] \| Paschke, Adrian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6826Origen: 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.
		Smart Graphics [recurso electrónico] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings / edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier. por Dickmann, Lutz [editor.] \| Volkmann, Gerald [editor.] \| Malaka, Rainer [editor.] \| Boll, Susanne [editor.] \| Krüger, Antonio [editor.] \| Olivier, Patrick [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6815Origen: 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 .U83.
		A Hybrid Deliberative Layer for Robotic Agents [recurso electrónico] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto. por Hartanto, Ronny [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6798Origen: 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.
		Modeling Decision for Artificial Intelligence [recurso electrónico] : 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings / edited by Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long. por Torra, Vicenç [editor.] \| Narakawa, Yasuo [editor.] \| Yin, Jianping [editor.] \| Long, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6820Origen: 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.
		Transactions on Computational Science XIII [recurso electrónico] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6750Origen: 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 .U83.
		Journal on Data Semantics XV [recurso electrónico] / edited by Stefano Spaccapietra. por Spaccapietra, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6720Origen: 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 .D343.
		Public Key Infrastructures, Services and Applications [recurso electrónico] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers / edited by Jan Camenisch, Costas Lambrinoudakis. por Camenisch, Jan [editor.] \| Lambrinoudakis, Costas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6711Origen: 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.
		Transactions on Edutainment VI [recurso electrónico] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller. por Pan, Zhigeng [editor.] \| Cheok, Adrian David [editor.] \| Müller, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6758Origen: 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 .U83.
		Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [recurso electrónico] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich. por Goldreich, Oded [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6650Origen: 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.
		Intelligent Computer Mathematics [recurso electrónico] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe. por Davenport, James H [editor.] \| Farmer, William M [editor.] \| Urban, Josef [editor.] \| Rabe, Florian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6824Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.