Resultados
|
|
|
|
|
Progress in Advanced Computing and Intelligent Engineering [electronic resource] : Proceedings of ICACIE 2016, Volume 1 / edited by Khalid Saeed, Nabendu Chaki, Bibudhendu Pati, Sambit Bakshi, Durga Prasad Mohapatra. por Saeed, Khalid [editor.] | Chaki, Nabendu [editor.] | Pati, Bibudhendu [editor.] | Bakshi, Sambit [editor.] | Mohapatra, Durga Prasad [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 563Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
Cloud Computing for Optimization: Foundations, Applications, and Challenges [electronic resource] / edited by Bhabani Shankar Prasad Mishra, Himansu Das, Satchidananda Dehuri, Alok Kumar Jagadev. por Mishra, Bhabani Shankar Prasad [editor.] | Das, Himansu [editor.] | Dehuri, Satchidananda [editor.] | Jagadev, Alok Kumar [editor.] | SpringerLink (Online service). Series Studies in Big Data ; 39Edició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) .
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / edited by Antonio Cerone, Marco Roveri. por Cerone, Antonio [editor.] | Roveri, Marco [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 10729Edició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) .
|
|
|
|
|
|
Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / edited by Peng Liu, Sjouke Mauw, Ketil Stolen. por Liu, Peng [editor.] | Mauw, Sjouke [editor.] | Stolen, Ketil [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 10744Edició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) .
|
|
|
Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani. por Galmiche, Didier [editor.] | Schulz, Stephan [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10900Edició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) .
|
|
|
|
|
|
Automated Reasoning [electronic resource] : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / edited by Didier Galmiche, Stephan Schulz, Roberto Sebastiani. por Galmiche, Didier [editor.] | Schulz, Stephan [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10900Edició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) .
|
|
|
Computing, Analytics and Networks [electronic resource] : First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers / edited by Rajnish Sharma, Archana Mantri, Sumeet Dua. por Sharma, Rajnish [editor.] | Mantri, Archana [editor.] | Dua, Sumeet [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 805Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure. por Vouloutsi, Vasiliki [editor.] | Halloy, José [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Lepora, Nathan [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F.M.J [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10928Edició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) .
|
|
|
HCI International 2018 - Posters' Extended Abstracts [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / edited by Constantine Stephanidis. por Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 851Edició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) .
|
|
|
HCI International 2018 - Posters' Extended Abstracts [electronic resource] : 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III / edited by Constantine Stephanidis. por Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 852Edició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) .
|
|
|
|
|
|
|
|
|
Simulation and Modeling Methodologies, Technologies and Applications [electronic resource] : International Conference, SIMULTECH 2016 Lisbon, Portugal, July 29-31, 2016, Revised Selected Papers / edited by Mohammad S. Obaidat, Tuncer Ören, Yuri Merkuryev. por Obaidat, Mohammad S [editor.] | Ören, Tuncer [editor.] | Merkuryev, Yuri [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 676Edició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) .
|