Resultados
|
|
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edició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) .
|
|
|
NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] | Muñoz, César [editor.] | Narkawicz, Anthony [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edició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) .
|
|
|
NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri. por Rozier, Kristin Yvonne [editor.] | Chaudhuri, Swarat [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13903Edició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) .
|
|
|
Natural Computing [recurso electrónico] : 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings / edited by F. Peper, H. Umeo, N. Matsui, T. Isokawa. por Peper, F [editor.] | Umeo, H [editor.] | Matsui, N [editor.] | Isokawa, T [editor.] | SpringerLink (Online service). Series Proceedings in Information and Communications Technology ; 2Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Tokyo : Springer Japan, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.
|
|
|
Nature of Computation and Communication [recurso electrónico] : Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers / edited by Phan Cong Vinh, Leonard Barolli. por Vinh, Phan Cong [editor.] | Barolli, Leonard [editor.] | SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 168Origen: 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) .
|
|
|
Neural Information Processing [recurso electrónico] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part I / edited by Bao-Liang Lu, Liqing Zhang, James Kwok. por Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7062Origen: 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.
|
|
|
Neural Information Processing [recurso electrónico] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part II / edited by Bao-Liang Lu, Liqing Zhang, James Kwok. por Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7063Origen: 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.
|
|
|
Neural Information Processing [recurso electrónico] : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, Proceedings, Part III / edited by Bao-Liang Lu, Liqing Zhang, James Kwok. por Lu, Bao-Liang [editor.] | Zhang, Liqing [editor.] | Kwok, James [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7064Origen: 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.
|
|
|
Neural Information Processing [recurso electrónico] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16?21, 2016, Proceedings, Part IV / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. por Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9950Origen: 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) .
|
|
|
Neural Information Processing [recurso electrónico] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16?21, 2016, Proceedings, Part III / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. por Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9949Origen: 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) .
|
|
|
Neural Information Processing [recurso electrónico] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16?21, 2016, Proceedings, Part II / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. por Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9948Origen: 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) .
|
|
|
Neural Information Processing [recurso electrónico] : 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16?21, 2016, Proceedings, Part I / edited by Akira Hirose, Seiichi Ozawa, Kenji Doya, Kazushi Ikeda, Minho Lee, Derong Liu. por Hirose, Akira [editor.] | Ozawa, Seiichi [editor.] | Doya, Kenji [editor.] | Ikeda, Kazushi [editor.] | Lee, Minho [editor.] | Liu, Derong [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9947Origen: 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) .
|
|
|
Neural Information Processing. Models and Applications [recurso electrónico] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part II / edited by Kok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum. por Wong, Kok Wai [editor.] | Mendis, B. Sumudu U [editor.] | Bouzerdoum, Abdesselam [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6444Origen: 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.
|
|
|
Neural Information Processing. Theory and Algorithms [recurso electrónico] : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I / edited by Kok Wai Wong, B. Sumudu U. Mendis, Abdesselam Bouzerdoum. por Wong, Kok Wai [editor.] | Mendis, B. Sumudu U [editor.] | Bouzerdoum, Abdesselam [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6443Origen: 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.
|
|
|
New Challenges on Bioinspired Applications [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 II / 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 ; 6687Origen: 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.
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022, Revised Selected Papers / edited by Yasufumi Takama, Katsutoshi Yada, Ken Satoh, Sachiyo Arai. por Takama, Yasufumi [editor.] | Yada, Katsutoshi [editor.] | Satoh, Ken [editor.] | Arai, Sachiyo [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13859Edició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) .
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers / edited by Katsutoshi Yada, Yasufumi Takama, Koji Mineshima, Ken Satoh. por Yada, Katsutoshi [editor.] | Takama, Yasufumi [editor.] | Mineshima, Koji [editor.] | Satoh, Ken [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13856Edició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) .
|
|
|
|
|
|
|
|
|
New Trends in Model and Data Engineering [electronic resource] : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] | Bellatreche, Ladjel [editor.] | Benslimane, Djamal [editor.] | Golfarelli, Matteo [editor.] | Jean, Stéphane [editor.] | Mery, Dominique [editor.] | Nakamatsu, Kazumi [editor.] | Ordonez, Carlos [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 929Edició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) .
|