Su búsqueda retornó 555 resultados.

Resultados
		Database Theory and Application, Bio-Science and Bio-Technology [recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song. por Zhang, Yanchun [editor.] \| Cuzzocrea, Alfredo [editor.] \| Ma, Jianhua [editor.] \| Chung, Kyo-il [editor.] \| Arslan, Tughrul [editor.] \| Song, Xiaofeng [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 118Origen: 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 .C65.
		Decision Diagrams for Optimization [recurso electrónico] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. por Bergman, David [author.] \| Cire, Andre A [author.] \| van Hoeve, Willem-Jan [author.] \| Hooker, John [author.] \| SpringerLink (Online service). Series Artificial Intelligence: Foundations, Theory, and AlgorithmsOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision Procedures [recurso electrónico] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesEdición: 2nd ed. 2016.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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deontic Logic in Computer Science [recurso electrónico] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor. por Governatori, Guido [editor.] \| Sartor, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6181Origen: 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.
		Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu. por Xu, Yejun [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptional Complexity of Formal Systems [recurso electrónico] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. por Holzer, Markus [editor.] \| Kutrib, Martin [editor.] \| Pighizzini, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6808Origen: 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.
		Descriptional Complexity of Formal Systems [recurso electrónico] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit. por Câmpeanu, Cezar [editor.] \| Manea, Florin [editor.] \| Shallit, Jeffrey [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9777Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptive Set Theoretic Methods in Automata Theory [recurso electrónico] : Decidability and Topological Complexity / by Micha? Skrzypczak. por Skrzypczak, Micha? [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9802Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deterministic Extraction from Weak Random Sources [recurso electrónico] / by Ariel Gabizon. por Gabizon, Ariel [author.] \| SpringerLink (Online service). Series Monographs in Theoretical Computer Science. An EATCS 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 : Imprint: Springer, 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.
		Developments in Language Theory [recurso electrónico] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. por Gao, Yuan [editor.] \| Lu, Hanlin [editor.] \| Seki, Shinnosuke [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6224Origen: 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 .A43.
		Developments in Language Theory [recurso electrónico] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. por Mauri, Giancarlo [editor.] \| Leporati, Alberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6795Origen: 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 .A43.
		Developments in Language Theory [recurso electrónico] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Sre?ko Brlek, Christophe Reutenauer. por Brlek, Sre?ko [editor.] \| Reutenauer, Christophe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9840Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Digital Synaptic Neural Substrate [recurso electrónico] : A New Approach to Computational Creativity / by Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi. por Iqbal, Azlan [author.] \| Guid, Matej [author.] \| Colton, Simon [author.] \| Krivec, Jana [author.] \| Azman, Shazril [author.] \| Haghighi, Boshra [author.] \| SpringerLink (Online service). Series SpringerBriefs in Cognitive Computation ; 3Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Directed Algebraic Topology and Concurrency [recurso electrónico] / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen. por Fajstrup, Lisbeth [author.] \| Goubault, Eric [author.] \| Haucourt, Emmanuel [author.] \| Mimram, Samuel [author.] \| Raussen, Martin [author.] \| SpringerLink (Online service). Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [recurso electrónico] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers / edited by Yasubumi Sakakibara, Yongli Mi. por Sakakibara, Yasubumi [editor.] \| Mi, Yongli [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6518Origen: 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.
		DNA Computing and Molecular Programming [recurso electrónico] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings / edited by Luca Cardelli, William Shih. por Cardelli, Luca [editor.] \| Shih, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6937Origen: 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.
		DNA Computing and Molecular Programming [recurso electrónico] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / edited by Yannick Rondelez, Damien Woods. por Rondelez, Yannick [editor.] \| Woods, Damien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9818Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings / edited by David Doty, Hendrik Dietz. por Doty, David [editor.] \| Dietz, Hendrik [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11145Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings / edited by David Doty, Hendrik Dietz. por Doty, David [editor.] \| Dietz, Hendrik [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11145Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Economics of Grids, Clouds, Systems, and Services [recurso electrónico] : 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings / edited by Jörn Altmann, Omer F. Rana. por Altmann, Jörn [editor.] \| Rana, Omer F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6296Origen: 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.76 .A65.

		Database Theory and Application, Bio-Science and Bio-Technology [recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song. por Zhang, Yanchun [editor.] \| Cuzzocrea, Alfredo [editor.] \| Ma, Jianhua [editor.] \| Chung, Kyo-il [editor.] \| Arslan, Tughrul [editor.] \| Song, Xiaofeng [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 118Origen: 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 .C65.
		Decision Diagrams for Optimization [recurso electrónico] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. por Bergman, David [author.] \| Cire, Andre A [author.] \| van Hoeve, Willem-Jan [author.] \| Hooker, John [author.] \| SpringerLink (Online service). Series Artificial Intelligence: Foundations, Theory, and AlgorithmsOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision Procedures [recurso electrónico] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman. por Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Series Texts in Theoretical Computer Science. An EATCS SeriesEdición: 2nd ed. 2016.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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deontic Logic in Computer Science [recurso electrónico] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor. por Governatori, Guido [editor.] \| Sartor, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6181Origen: 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.
		Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu. por Xu, Yejun [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptional Complexity of Formal Systems [recurso electrónico] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini. por Holzer, Markus [editor.] \| Kutrib, Martin [editor.] \| Pighizzini, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6808Origen: 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.
		Descriptional Complexity of Formal Systems [recurso electrónico] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit. por Câmpeanu, Cezar [editor.] \| Manea, Florin [editor.] \| Shallit, Jeffrey [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9777Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptive Set Theoretic Methods in Automata Theory [recurso electrónico] : Decidability and Topological Complexity / by Micha? Skrzypczak. por Skrzypczak, Micha? [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9802Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deterministic Extraction from Weak Random Sources [recurso electrónico] / by Ariel Gabizon. por Gabizon, Ariel [author.] \| SpringerLink (Online service). Series Monographs in Theoretical Computer Science. An EATCS 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 : Imprint: Springer, 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.
		Developments in Language Theory [recurso electrónico] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. por Gao, Yuan [editor.] \| Lu, Hanlin [editor.] \| Seki, Shinnosuke [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6224Origen: 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 .A43.
		Developments in Language Theory [recurso electrónico] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. por Mauri, Giancarlo [editor.] \| Leporati, Alberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6795Origen: 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 .A43.
		Developments in Language Theory [recurso electrónico] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Sre?ko Brlek, Christophe Reutenauer. por Brlek, Sre?ko [editor.] \| Reutenauer, Christophe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9840Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Digital Synaptic Neural Substrate [recurso electrónico] : A New Approach to Computational Creativity / by Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi. por Iqbal, Azlan [author.] \| Guid, Matej [author.] \| Colton, Simon [author.] \| Krivec, Jana [author.] \| Azman, Shazril [author.] \| Haghighi, Boshra [author.] \| SpringerLink (Online service). Series SpringerBriefs in Cognitive Computation ; 3Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Directed Algebraic Topology and Concurrency [recurso electrónico] / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen. por Fajstrup, Lisbeth [author.] \| Goubault, Eric [author.] \| Haucourt, Emmanuel [author.] \| Mimram, Samuel [author.] \| Raussen, Martin [author.] \| SpringerLink (Online service). Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [recurso electrónico] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers / edited by Yasubumi Sakakibara, Yongli Mi. por Sakakibara, Yasubumi [editor.] \| Mi, Yongli [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6518Origen: 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.
		DNA Computing and Molecular Programming [recurso electrónico] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings / edited by Luca Cardelli, William Shih. por Cardelli, Luca [editor.] \| Shih, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6937Origen: 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.
		DNA Computing and Molecular Programming [recurso electrónico] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / edited by Yannick Rondelez, Damien Woods. por Rondelez, Yannick [editor.] \| Woods, Damien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9818Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings / edited by David Doty, Hendrik Dietz. por Doty, David [editor.] \| Dietz, Hendrik [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11145Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [electronic resource] : 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings / edited by David Doty, Hendrik Dietz. por Doty, David [editor.] \| Dietz, Hendrik [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11145Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Economics of Grids, Clouds, Systems, and Services [recurso electrónico] : 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings / edited by Jörn Altmann, Omer F. Rana. por Altmann, Jörn [editor.] \| Rana, Omer F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6296Origen: 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.76 .A65.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 555 resultados.