Su búsqueda retornó 555 resultados.

Resultados
		Mathematical Foundations of Advanced Informatics [electronic resource] : Volume 1: Inductive Approaches / by Bernhard Steffen, Oliver Rüthing, Michael Huth. por Steffen, Bernhard [author.] \| Rüthing, Oliver [author.] \| Huth, Michael [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) .
		Mathematical Foundations of Computer Science 2010 [recurso electrónico] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hlinený, Antonín Kucera. por Hlinený, Petr [editor.] \| Kucera, Antonín [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6281Origen: 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.
		Mathematical Foundations of Computer Science 2011 [recurso electrónico] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. por Murlak, Filip [editor.] \| Sankowski, Piotr [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6907Origen: 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.
		Mathematical Software – ICMS 2010 [recurso electrónico] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. por Fukuda, Komei [editor.] \| Hoeven, Joris van der [editor.] \| Joswig, Michael [editor.] \| Takayama, Nobuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6327Origen: 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 .M35B.
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: 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.
		The Mathematics of Language [recurso electrónico] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. por Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6878Origen: 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.
		Medical Imaging and Augmented Reality [recurso electrónico] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings / edited by Hongen Liao, P. J. "Eddie" Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang. por Liao, Hongen [editor.] \| Edwards, P. J. "Eddie" [editor.] \| Pan, Xiaochuan [editor.] \| Fan, Yong [editor.] \| Yang, Guang-Zhong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6326Origen: 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: TA1637 -1638.
		Membrane Computing [recurso electrónico] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. por Paun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| Riscos-Núñez, Agustín [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5957Origen: 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: QA75.5 -76.95.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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.
		Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone. por Di Gaspero, Luca [editor.] \| Festa, Paola [editor.] \| Nakib, Amir [editor.] \| Pavone, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13838Edició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) .
		Mobility in Process Calculi and Natural Computing [recurso electrónico] / by Bogdan Aman, Gabriel Ciobanu. por Aman, Bogdan [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). Series Natural Computing 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, 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.
		Modeling Decisions for Artificial Intelligence [recurso electrónico] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Daumas, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6408Origen: 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.
		Modelling and Simulation for Autonomous Systems [recurso electrónico] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / edited by Jan Hodicky. por Hodicky, Jan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9991Origen: 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) .
		Modelling Autonomic Communication Environments [recurso electrónico] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer. por Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6473Origen: 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.
		Models of Computation in Context [recurso electrónico] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. por Löwe, Benedikt [editor.] \| Normann, Dag [editor.] \| Soskov, Ivan [editor.] \| Soskova, Alexandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6735Origen: 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.
		Multi-Agent-Based Simulation XI [recurso electrónico] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. por Bosse, Tibor [editor.] \| Geller, Armando [editor.] \| Jonker, Catholijn M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6532Origen: 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.
		Multi-Agent Based Simulation XVI [recurso electrónico] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / edited by Benoit Gaudou, Jaime Simão Sichman. por Gaudou, Benoit [editor.] \| Sichman, Jaime Simão [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9568Edició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) .
		Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Graçaliz Pereira Dimuro, Luis Antunes. por Dimuro, Graçaliz Pereira [editor.] \| Antunes, Luis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10798Edició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) .
		Multiple Classifier Systems [recurso electrónico] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings / edited by Neamat Gayar, Josef Kittler, Fabio Roli. por Gayar, Neamat [editor.] \| Kittler, Josef [editor.] \| Roli, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5997Origen: 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.
		Multiple Classifier Systems [recurso electrónico] : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings / edited by Carlo Sansone, Josef Kittler, Fabio Roli. por Sansone, Carlo [editor.] \| Kittler, Josef [editor.] \| Roli, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6713Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

		Mathematical Foundations of Advanced Informatics [electronic resource] : Volume 1: Inductive Approaches / by Bernhard Steffen, Oliver Rüthing, Michael Huth. por Steffen, Bernhard [author.] \| Rüthing, Oliver [author.] \| Huth, Michael [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) .
		Mathematical Foundations of Computer Science 2010 [recurso electrónico] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hlinený, Antonín Kucera. por Hlinený, Petr [editor.] \| Kucera, Antonín [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6281Origen: 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.
		Mathematical Foundations of Computer Science 2011 [recurso electrónico] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. por Murlak, Filip [editor.] \| Sankowski, Piotr [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6907Origen: 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.
		Mathematical Software – ICMS 2010 [recurso electrónico] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama. por Fukuda, Komei [editor.] \| Hoeven, Joris van der [editor.] \| Joswig, Michael [editor.] \| Takayama, Nobuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6327Origen: 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 .M35B.
		The Mathematics of Language [recurso electrónico] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. por Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Michaelis, Jens [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6149Origen: 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.
		The Mathematics of Language [recurso electrónico] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. por Kanazawa, Makoto [editor.] \| Kornai, András [editor.] \| Kracht, Marcus [editor.] \| Seki, Hiroyuki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6878Origen: 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.
		Medical Imaging and Augmented Reality [recurso electrónico] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings / edited by Hongen Liao, P. J. "Eddie" Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang. por Liao, Hongen [editor.] \| Edwards, P. J. "Eddie" [editor.] \| Pan, Xiaochuan [editor.] \| Fan, Yong [editor.] \| Yang, Guang-Zhong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6326Origen: 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: TA1637 -1638.
		Membrane Computing [recurso electrónico] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. por Paun, Gheorghe [editor.] \| Pérez-Jiménez, Mario J [editor.] \| Riscos-Núñez, Agustín [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5957Origen: 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: QA75.5 -76.95.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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.
		Metaheuristics [electronic resource] : 14th International Conference, MIC 2022, Syracuse, Italy, July 11-14, 2022, Proceedings / edited by Luca Di Gaspero, Paola Festa, Amir Nakib, Mario Pavone. por Di Gaspero, Luca [editor.] \| Festa, Paola [editor.] \| Nakib, Amir [editor.] \| Pavone, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13838Edició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) .
		Mobility in Process Calculi and Natural Computing [recurso electrónico] / by Bogdan Aman, Gabriel Ciobanu. por Aman, Bogdan [author.] \| Ciobanu, Gabriel [author.] \| SpringerLink (Online service). Series Natural Computing 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, 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.
		Modeling Decisions for Artificial Intelligence [recurso electrónico] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Daumas, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6408Origen: 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.
		Modelling and Simulation for Autonomous Systems [recurso electrónico] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / edited by Jan Hodicky. por Hodicky, Jan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9991Origen: 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) .
		Modelling Autonomic Communication Environments [recurso electrónico] : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings / edited by Rob Brennan, Joel Fleck, Sven Meer. por Brennan, Rob [editor.] \| Fleck, Joel [editor.] \| Meer, Sven [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6473Origen: 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.
		Models of Computation in Context [recurso electrónico] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. por Löwe, Benedikt [editor.] \| Normann, Dag [editor.] \| Soskov, Ivan [editor.] \| Soskova, Alexandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6735Origen: 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.
		Multi-Agent-Based Simulation XI [recurso electrónico] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. por Bosse, Tibor [editor.] \| Geller, Armando [editor.] \| Jonker, Catholijn M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6532Origen: 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.
		Multi-Agent Based Simulation XVI [recurso electrónico] : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / edited by Benoit Gaudou, Jaime Simão Sichman. por Gaudou, Benoit [editor.] \| Sichman, Jaime Simão [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9568Edició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) .
		Multi-Agent Based Simulation XVIII [electronic resource] : International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Graçaliz Pereira Dimuro, Luis Antunes. por Dimuro, Graçaliz Pereira [editor.] \| Antunes, Luis [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10798Edició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) .
		Multiple Classifier Systems [recurso electrónico] : 9th International Workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010. Proceedings / edited by Neamat Gayar, Josef Kittler, Fabio Roli. por Gayar, Neamat [editor.] \| Kittler, Josef [editor.] \| Roli, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5997Origen: 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.
		Multiple Classifier Systems [recurso electrónico] : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings / edited by Carlo Sansone, Josef Kittler, Fabio Roli. por Sansone, Carlo [editor.] \| Kittler, Josef [editor.] \| Roli, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6713Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.76 .A65.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 555 resultados.