Su búsqueda retornó 2235 resultados.

Resultados
		Decision and Game Theory for Security [electronic resource] : 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings / edited by Fei Fang, Haifeng Xu, Yezekael Hayel. por Fang, Fei [editor.] \| Xu, Haifeng [editor.] \| Hayel, Yezekael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13727Edició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: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision and Game Theory for Security [electronic resource] : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings / edited by Jie Fu, Tomas Kroupa, Yezekael Hayel. por Fu, Jie [editor.] \| Kroupa, Tomas [editor.] \| Hayel, Yezekael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14167Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Declarative Agent Languages and Technologies VII [recurso electrónico] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. por Baldoni, Matteo [editor.] \| Bentahar, Jamal [editor.] \| Riemsdijk, M. Birna [editor.] \| Lloyd, John [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5948Origen: 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.
		Declarative Agent Languages and Technologies VIII [recurso electrónico] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. por Omicini, Andrea [editor.] \| Sardina, Sebastian [editor.] \| Vasconcelos, Wamberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6619Origen: 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.
		No hay imagen de cubierta disponible Deductive and object-oriented databases / ed. Stefano Ceri,Katsumi Tanaka, Shalom Tsur. por International Conference on Deductive and Object-Oriented Databases (3 : Phoenix, Ariz.) \| Ceri, Stefano, 1955- \| Tanaka, Katsumi, 1951- \| Tsur, Shalom. Series Lecture Notes in Computer Science ; 760.Tipo de material: Texto Idioma: Inglés Detalles de publicación: New York : Springer-Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.9 .D3 I58 1993.
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Deep Learning and Data Labeling for Medical Applications [recurso electrónico] : First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / edited by Gustavo Carneiro, Diana Mateus, Loïc Peter, Andrew Bradley, João Manuel R. S. Tavares, Vasileios Belagiannis, João Paulo Papa, Jacinto C. Nascimento, Marco Loog, Zhi Lu, Jaime S. Cardoso, Julien Cornebise. por Carneiro, Gustavo [editor.] \| Mateus, Diana [editor.] \| Peter, Loïc [editor.] \| Bradley, Andrew [editor.] \| Tavares, João Manuel R. S [editor.] \| Belagiannis, Vasileios [editor.] \| Papa, João Paulo [editor.] \| Nascimento, Jacinto C [editor.] \| Loog, Marco [editor.] \| Lu, Zhi [editor.] \| Cardoso, Jaime S [editor.] \| Cornebise, Julien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10008Origen: 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) .
		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.
		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.
		Dependable Software Engineering: Theories, Tools, and Applications [recurso electrónico] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. por Fränzle, Martin [editor.] \| Kapur, Deepak [editor.] \| Zhan, Naijun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9984Origen: 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) .
		Dependency Structures and Lexicalized Grammars [recurso electrónico] : An Algebraic Approach / by Marco Kuhlmann. por Kuhlmann, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6270Origen: 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.
		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) .
		Descriptional Complexity of Formal Systems [electronic resource] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / edited by Henning Bordihn, Nicholas Tran, György Vaszil. por Bordihn, Henning [editor.] \| Tran, Nicholas [editor.] \| Vaszil, György [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13918Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso 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) .
		Design and Architecture for Signal and Image Processing [electronic resource] : 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings / edited by Miguel Chavarrías, Alfonso Rodríguez. por Chavarrías, Miguel [editor.] \| Rodríguez, Alfonso [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13879Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, Operation and Evaluation of Mobile Communications [electronic resource] : 4th International Conference, MOBILE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings / edited by Gavriel Salvendy, June Wei. por Salvendy, Gavriel [editor.] \| Wei, June [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14052Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design Science Research for a New Society: Society 5.0 [electronic resource] : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings / edited by Aurona Gerber, Richard Baskerville. por Gerber, Aurona [editor.] \| Baskerville, Richard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13873Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares. por Marcus, Aaron [editor.] \| Rosenzweig, Elizabeth [editor.] \| Soares, Marcelo M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14031Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares. por Marcus, Aaron [editor.] \| Rosenzweig, Elizabeth [editor.] \| Soares, Marcelo M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14030Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Decision and Game Theory for Security [electronic resource] : 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings / edited by Fei Fang, Haifeng Xu, Yezekael Hayel. por Fang, Fei [editor.] \| Xu, Haifeng [editor.] \| Hayel, Yezekael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13727Edició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: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision and Game Theory for Security [electronic resource] : 14th International Conference, GameSec 2023, Avignon, France, October 18-20, 2023, Proceedings / edited by Jie Fu, Tomas Kroupa, Yezekael Hayel. por Fu, Jie [editor.] \| Kroupa, Tomas [editor.] \| Hayel, Yezekael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14167Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Declarative Agent Languages and Technologies VII [recurso electrónico] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. por Baldoni, Matteo [editor.] \| Bentahar, Jamal [editor.] \| Riemsdijk, M. Birna [editor.] \| Lloyd, John [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5948Origen: 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.
		Declarative Agent Languages and Technologies VIII [recurso electrónico] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. por Omicini, Andrea [editor.] \| Sardina, Sebastian [editor.] \| Vasconcelos, Wamberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6619Origen: 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.
		No hay imagen de cubierta disponible Deductive and object-oriented databases / ed. Stefano Ceri,Katsumi Tanaka, Shalom Tsur. por International Conference on Deductive and Object-Oriented Databases (3 : Phoenix, Ariz.) \| Ceri, Stefano, 1955- \| Tanaka, Katsumi, 1951- \| Tsur, Shalom. Series Lecture Notes in Computer Science ; 760.Tipo de material: Texto Idioma: Inglés Detalles de publicación: New York : Springer-Verlag, 1993Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central Ensenada (1) Signatura topográfica: QA76.9 .D3 I58 1993.
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Deep Learning and Data Labeling for Medical Applications [recurso electrónico] : First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / edited by Gustavo Carneiro, Diana Mateus, Loïc Peter, Andrew Bradley, João Manuel R. S. Tavares, Vasileios Belagiannis, João Paulo Papa, Jacinto C. Nascimento, Marco Loog, Zhi Lu, Jaime S. Cardoso, Julien Cornebise. por Carneiro, Gustavo [editor.] \| Mateus, Diana [editor.] \| Peter, Loïc [editor.] \| Bradley, Andrew [editor.] \| Tavares, João Manuel R. S [editor.] \| Belagiannis, Vasileios [editor.] \| Papa, João Paulo [editor.] \| Nascimento, Jacinto C [editor.] \| Loog, Marco [editor.] \| Lu, Zhi [editor.] \| Cardoso, Jaime S [editor.] \| Cornebise, Julien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10008Origen: 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) .
		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.
		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.
		Dependable Software Engineering: Theories, Tools, and Applications [recurso electrónico] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. por Fränzle, Martin [editor.] \| Kapur, Deepak [editor.] \| Zhan, Naijun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9984Origen: 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) .
		Dependency Structures and Lexicalized Grammars [recurso electrónico] : An Algebraic Approach / by Marco Kuhlmann. por Kuhlmann, Marco [author.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6270Origen: 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.
		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) .
		Descriptional Complexity of Formal Systems [electronic resource] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / edited by Henning Bordihn, Nicholas Tran, György Vaszil. por Bordihn, Henning [editor.] \| Tran, Nicholas [editor.] \| Vaszil, György [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13918Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso 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) .
		Design and Architecture for Signal and Image Processing [electronic resource] : 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings / edited by Miguel Chavarrías, Alfonso Rodríguez. por Chavarrías, Miguel [editor.] \| Rodríguez, Alfonso [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13879Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, Operation and Evaluation of Mobile Communications [electronic resource] : 4th International Conference, MOBILE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings / edited by Gavriel Salvendy, June Wei. por Salvendy, Gavriel [editor.] \| Wei, June [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14052Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design Science Research for a New Society: Society 5.0 [electronic resource] : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings / edited by Aurona Gerber, Richard Baskerville. por Gerber, Aurona [editor.] \| Baskerville, Richard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13873Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares. por Marcus, Aaron [editor.] \| Rosenzweig, Elizabeth [editor.] \| Soares, Marcelo M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14031Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Design, User Experience, and Usability [electronic resource] : 12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares. por Marcus, Aaron [editor.] \| Rosenzweig, Elizabeth [editor.] \| Soares, Marcelo M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14030Edició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: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.