Resultados
|
|
Semantic Systems. In the Era of Knowledge Graphs [electronic resource] : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7-10, 2020, Proceedings / edited by Eva Blomqvist, Paul Groth, Victor de Boer, Tassilo Pellegrini, Mehwish Alam, Tobias Käfer, Peter Kieseberg, Sabrina Kirrane, Albert Meroño-Peñuela, Harshvardhan J. Pandit. por
- Blomqvist, Eva [editor.]
- Groth, Paul [editor.]
- de Boer, Victor [editor.]
- Pellegrini, Tassilo [editor.]
- Alam, Mehwish [editor.]
- Käfer, Tobias [editor.]
- Kieseberg, Peter [editor.]
- Kirrane, Sabrina [editor.]
- Meroño-Peñuela, Albert [editor.]
- Pandit, Harshvardhan J [editor.]
- SpringerLink (Online service)
Series Information Systems and Applications, incl. Internet/Web, and HCI ; 12378
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König. por Series Theoretical Computer Science and General Issues ; 12077
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. por Series Theoretical Computer Science and General Issues ; 11561
Edición: 1st ed. 2019.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. por Series Theoretical Computer Science and General Issues ; 12224
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. por Series Theoretical Computer Science and General Issues ; 12225
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov. por Series Theoretical Computer Science and General Issues ; 12339
Edición: 1st ed. 2021.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr. por Series Theoretical Computer Science and General Issues ; 10802
Edición: 1st ed. 2018.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen. por Series Theoretical Computer Science and General Issues ; 12651
Edición: 1st ed. 2021.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen. por Series Theoretical Computer Science and General Issues ; 12652
Edición: 1st ed. 2021.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Advances in Intelligent Data Analysis XVIII [electronic resource] : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings / edited by Michael R. Berthold, Ad Feelders, Georg Krempl. por Series Information Systems and Applications, incl. Internet/Web, and HCI ; 12080
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman. por Series Theoretical Computer Science and General Issues ; 10806
Edición: 1st ed. 2018.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems / edited by Ivan Ganchev, Nuno M. Garcia, Ciprian Dobre, Constandinos X. Mavromoustakis, Rossitza Goleva. por Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11369
Edición: 1st ed. 2019.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
Haptics: Science, Technology, Applications [electronic resource] : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings / edited by Hasti Seifi, Astrid M. L. Kappers, Oliver Schneider, Knut Drewing, Claudio Pacchierotti, Alireza Abbasimoshaei, Gijs Huisman, Thorsten A. Kern. por Series Lecture Notes in Computer Science ; 13235
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. por Series Lecture Notes in Computer Science ; 13243
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. por Series Lecture Notes in Computer Science ; 13244
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|