Su búsqueda retornó 1029 resultados.

Resultados
		Finite-State Methods and Natural Language Processing [recurso electrónico] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. por Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6062Origen: 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.
		The first word : the search for the origins of language / Christine Kenneally. por Kenneally, Christine. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: New York : Penguin Group, 2007Acceso en línea: Table of contents only \| Publisher description \| Contributor biographical information Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas (1) Signatura topográfica: P107 K45 2007.
		Flexible Query Answering Systems [electronic resource] : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, M. Dolores Ruiz, Troels Andreasen, Gloria Bordogna, Guy De Tré. por Larsen, Henrik Legind [editor.] \| Martin-Bautista, Maria J [editor.] \| Ruiz, M. Dolores [editor.] \| Andreasen, Troels [editor.] \| Bordogna, Gloria [editor.] \| De Tré, Guy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14113Edició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) .
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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.
		FM 2016: Formal Methods [recurso electrónico] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. por Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9995Origen: 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) .
		Formal Aspects of Component Software [recurso electrónico] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. por Braga, Christiano [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9539Edició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) .
		Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky. por Bae, Kyungmin [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11222Edició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) .
		Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / edited by Javier Cámara, Sung-Shik Jongmans. por Cámara, Javier [editor.] \| Jongmans, Sung-Shik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14485Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Aspects of Component Software [electronic resource] : 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings / edited by Diego Marmsoler, Meng Sun. por Marmsoler, Diego [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 15189Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Concept Analysis [recurso electrónico] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / edited by Léonard Kwuida, Baris Sertkaya. por Kwuida, Léonard [editor.] \| Sertkaya, Baris [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5986Origen: 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.
		Formal Concept Analysis [recurso electrónico] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. por Valtchev, Petko [editor.] \| Jäschke, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6628Origen: 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.
		Formal Grammar [recurso electrónico] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe Groote, Markus Egg, Laura Kallmeyer. por Groote, Philippe [editor.] \| Egg, Markus [editor.] \| Kallmeyer, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5591Origen: 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.
		Formal Grammar [recurso electrónico] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla. por Foret, Annie [editor.] \| Morrill, Glyn [editor.] \| Muskens, Reinhard [editor.] \| Osswald, Rainer [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9804Origen: 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) .
		Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / edited by Annie Foret, Reinhard Muskens, Sylvain Pogodalla. por Foret, Annie [editor.] \| Muskens, Reinhard [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10686Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / edited by Annie Foret, Reinhard Muskens, Sylvain Pogodalla. por Foret, Annie [editor.] \| Muskens, Reinhard [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10686Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / edited by Annie Foret, Greg Kobele, Sylvain Pogodalla. por Foret, Annie [editor.] \| Kobele, Greg [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10950Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edició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) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edició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) .
		Formal Methods and Software Engineering [recurso electrónico] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu. por Dong, Jin Song [editor.] \| Zhu, Huibiao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6447Origen: 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.
		Formal Methods and Software Engineering [recurso electrónico] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. por Qin, Shengchao [editor.] \| Qiu, Zongyan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6991Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

		Finite-State Methods and Natural Language Processing [recurso electrónico] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. por Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6062Origen: 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.
		The first word : the search for the origins of language / Christine Kenneally. por Kenneally, Christine. Tipo de material: Texto; Forma literaria: No es ficción ; Audiencia: General; Detalles de publicación: New York : Penguin Group, 2007Acceso en línea: Table of contents only \| Publisher description \| Contributor biographical information Disponibilidad: Ítems disponibles para préstamo: Facultad de Ciencias Humanas (1) Signatura topográfica: P107 K45 2007.
		Flexible Query Answering Systems [electronic resource] : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, M. Dolores Ruiz, Troels Andreasen, Gloria Bordogna, Guy De Tré. por Larsen, Henrik Legind [editor.] \| Martin-Bautista, Maria J [editor.] \| Ruiz, M. Dolores [editor.] \| Andreasen, Troels [editor.] \| Bordogna, Gloria [editor.] \| De Tré, Guy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14113Edició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) .
		FM 2011: Formal Methods [recurso electrónico] : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings / edited by Michael Butler, Wolfram Schulte. por Butler, Michael [editor.] \| Schulte, Wolfram [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6664Origen: 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.
		FM 2016: Formal Methods [recurso electrónico] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. por Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9995Origen: 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) .
		Formal Aspects of Component Software [recurso electrónico] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. por Braga, Christiano [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9539Edició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) .
		Formal Aspects of Component Software [electronic resource] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky. por Bae, Kyungmin [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11222Edició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) .
		Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / edited by Javier Cámara, Sung-Shik Jongmans. por Cámara, Javier [editor.] \| Jongmans, Sung-Shik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14485Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Aspects of Component Software [electronic resource] : 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings / edited by Diego Marmsoler, Meng Sun. por Marmsoler, Diego [editor.] \| Sun, Meng [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 15189Edición: 1st ed. 2024.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, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Concept Analysis [recurso electrónico] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / edited by Léonard Kwuida, Baris Sertkaya. por Kwuida, Léonard [editor.] \| Sertkaya, Baris [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5986Origen: 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.
		Formal Concept Analysis [recurso electrónico] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. por Valtchev, Petko [editor.] \| Jäschke, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6628Origen: 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.
		Formal Grammar [recurso electrónico] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe Groote, Markus Egg, Laura Kallmeyer. por Groote, Philippe [editor.] \| Egg, Markus [editor.] \| Kallmeyer, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5591Origen: 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.
		Formal Grammar [recurso electrónico] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla. por Foret, Annie [editor.] \| Morrill, Glyn [editor.] \| Muskens, Reinhard [editor.] \| Osswald, Rainer [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9804Origen: 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) .
		Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / edited by Annie Foret, Reinhard Muskens, Sylvain Pogodalla. por Foret, Annie [editor.] \| Muskens, Reinhard [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10686Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Grammar [electronic resource] : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers / edited by Annie Foret, Reinhard Muskens, Sylvain Pogodalla. por Foret, Annie [editor.] \| Muskens, Reinhard [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10686Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Grammar 2018 [electronic resource] : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings / edited by Annie Foret, Greg Kobele, Sylvain Pogodalla. por Foret, Annie [editor.] \| Kobele, Greg [editor.] \| Pogodalla, Sylvain [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10950Edició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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. por Havelund, Klaus [editor.] \| Peleska, Jan [editor.] \| Roscoe, Bill [editor.] \| de Vink, Erik [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10951Edició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) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edició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) .
		Formal Methods and Software Engineering [recurso electrónico] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings / edited by Jin Song Dong, Huibiao Zhu. por Dong, Jin Song [editor.] \| Zhu, Huibiao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6447Origen: 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.
		Formal Methods and Software Engineering [recurso electrónico] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. por Qin, Shengchao [editor.] \| Qiu, Zongyan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6991Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 1029 resultados.