Su búsqueda retornó 555 resultados.

Resultados
		Fault-Tolerant Message-Passing Distributed Systems [electronic resource] : An Algorithmic Approach / by Michel Raynal. por Raynal, Michel [author.] \| SpringerLink (Online service). Edició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) .
		Finitely Supported Mathematics [recurso electrónico] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu. por Alexandru, Andrei [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). 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) .
		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) .
		Foraging-Inspired Optimisation Algorithms [electronic resource] / by Anthony Brabazon, Seán McGarraghy. por Brabazon, Anthony [author.] \| McGarraghy, Seán [author.] \| SpringerLink (Online service). Series Natural Computing SeriesEdició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 Concept Analysis [electronic resource] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings / edited by Dominik Dürrschnabel, Domingo López Rodríguez. por Dürrschnabel, Dominik [editor.] \| López Rodríguez, Domingo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13934Edició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) .
		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 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 and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. por Li, Yi [editor.] \| Tahar, Sofiène [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14308Edició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) .
		Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat. por Howar, Falk [editor.] \| Barnat, Jiří [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11119Edició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 for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Alessandro Cimatti, Laura Titolo. por Cimatti, Alessandro [editor.] \| Titolo, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14290Edició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) .
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] \| Markey, Nicolas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: 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 Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston. por Petrucci, Laure [editor.] \| Sproston, Jeremy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14138Edició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) .
		Formal Techniques for Distributed Objects, Components, and Systems [recurso electrónico] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. por Albert, Elvira [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9688Origen: 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 Techniques for Safety-Critical Systems [recurso electrónico] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky. por Artho, Cyrille [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 596Edició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) .
		Foundations of Intelligent Systems [recurso electrónico] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings / edited by Marzena Kryszkiewicz, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Ras. por Kryszkiewicz, Marzena [editor.] \| Rybinski, Henryk [editor.] \| Skowron, Andrzej [editor.] \| Ras, Zbigniew W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6804Origen: 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.
		Foundations of Software Science and Computation Structures [recurso electrónico] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding. por Jacobs, Bart [editor.] \| Löding, Christof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9634Edición: 1st 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) .
		Foundations of Software Science and Computational Structures [recurso electrónico] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong. por Ong, Luke [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6014Origen: 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: QA8.9 -QA10.3.
		Foundations of Software Science and Computational Structures [recurso electrónico] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann. por Hofmann, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6604Origen: 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: QA8.9 -QA10.3.
		Foundations on Natural and Artificial Computation [recurso electrónico] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. por Ferrández, José Manuel [editor.] \| Álvarez Sánchez, José Ramón [editor.] \| Paz, Félix [editor.] \| Toledo, F. Javier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6686Origen: 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.

		Fault-Tolerant Message-Passing Distributed Systems [electronic resource] : An Algorithmic Approach / by Michel Raynal. por Raynal, Michel [author.] \| SpringerLink (Online service). Edició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) .
		Finitely Supported Mathematics [recurso electrónico] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu. por Alexandru, Andrei [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). 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) .
		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) .
		Foraging-Inspired Optimisation Algorithms [electronic resource] / by Anthony Brabazon, Seán McGarraghy. por Brabazon, Anthony [author.] \| McGarraghy, Seán [author.] \| SpringerLink (Online service). Series Natural Computing SeriesEdició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 Concept Analysis [electronic resource] : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings / edited by Dominik Dürrschnabel, Domingo López Rodríguez. por Dürrschnabel, Dominik [editor.] \| López Rodríguez, Domingo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13934Edició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) .
		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 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 and Software Engineering [electronic resource] : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / edited by Yi Li, Sofiène Tahar. por Li, Yi [editor.] \| Tahar, Sofiène [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14308Edició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) .
		Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat. por Howar, Falk [editor.] \| Barnat, Jiří [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11119Edició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 for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings / edited by Alessandro Cimatti, Laura Titolo. por Cimatti, Alessandro [editor.] \| Titolo, Laura [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14290Edició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) .
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. por Fränzle, Martin [editor.] \| Markey, Nicolas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9884Origen: 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 Modeling and Analysis of Timed Systems [electronic resource] : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings / edited by Laure Petrucci, Jeremy Sproston. por Petrucci, Laure [editor.] \| Sproston, Jeremy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14138Edició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) .
		Formal Techniques for Distributed Objects, Components, and Systems [recurso electrónico] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. por Albert, Elvira [editor.] \| Lanese, Ivan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9688Origen: 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 Techniques for Safety-Critical Systems [recurso electrónico] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky. por Artho, Cyrille [editor.] \| Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 596Edició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) .
		Foundations of Intelligent Systems [recurso electrónico] : 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings / edited by Marzena Kryszkiewicz, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Ras. por Kryszkiewicz, Marzena [editor.] \| Rybinski, Henryk [editor.] \| Skowron, Andrzej [editor.] \| Ras, Zbigniew W [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6804Origen: 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.
		Foundations of Software Science and Computation Structures [recurso electrónico] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2?8, 2016, Proceedings / edited by Bart Jacobs, Christof Löding. por Jacobs, Bart [editor.] \| Löding, Christof [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9634Edición: 1st 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) .
		Foundations of Software Science and Computational Structures [recurso electrónico] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Luke Ong. por Ong, Luke [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6014Origen: 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: QA8.9 -QA10.3.
		Foundations of Software Science and Computational Structures [recurso electrónico] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann. por Hofmann, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6604Origen: 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: QA8.9 -QA10.3.
		Foundations on Natural and Artificial Computation [recurso electrónico] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. por Ferrández, José Manuel [editor.] \| Álvarez Sánchez, José Ramón [editor.] \| Paz, Félix [editor.] \| Toledo, F. Javier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6686Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 555 resultados.