Results
|
|
2941.
|
|
|
|
2942.
|
|
|
|
2943.
|
|
|
|
2944.
|
|
|
|
2945.
|
|
|
|
2946.
|
|
|
|
2947.
|
|
|
|
2948.
|
|
|
|
2949.
|
|
|
|
2950.
|
|
|
|
2951.
|
|
|
|
2952.
|
|
|
|
2953.
|
|
|
|
2954.
|
Interactivity, Game Creation, Design, Learning, and Innovation [electronic resource] : 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings / by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 265
Edition: 1st ed. 2019.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2955.
|
Database and Expert Systems Applications [electronic resource] : DEXA 2019 International Workshops BIOKDD, IWCFS, MLKgraphs and TIR, Linz, Austria, August 26–29, 2019, Proceedings / by
- Anderst-Kotsis, Gabriele [editor.]
- Tjoa, A Min [editor.]
- Khalil, Ismail [editor.]
- Elloumi, Mourad [editor.]
- Mashkoor, Atif [editor.]
- Sametinger, Johannes [editor.]
- Larrucea, Xabier [editor.]
- Fensel, Anna [editor.]
- Martinez-Gil, Jorge [editor.]
- Moser, Bernhard [editor.]
- Seifert, Christin [editor.]
- Stein, Benno [editor.]
- Granitzer, Michael [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1062
Edition: 1st ed. 2019.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2956.
|
Analysis of Images, Social Networks and Texts [electronic resource] : 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers / by
- van der Aalst, Wil M. P [editor.]
- Batagelj, Vladimir [editor.]
- Ignatov, Dmitry I [editor.]
- Khachay, Michael [editor.]
- Kuskova, Valentina [editor.]
- Kutuzov, Andrey [editor.]
- Kuznetsov, Sergei O [editor.]
- Lomazova, Irina A [editor.]
- Loukachevitch, Natalia [editor.]
- Napoli, Amedeo [editor.]
- Pardalos, Panos M [editor.]
- Pelillo, Marcello [editor.]
- Savchenko, Andrey V [editor.]
- Tutubalina, Elena [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1086
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2957.
|
|
|
|
2958.
|
|
|
|
2959.
|
|
|
|
2960.
|
Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13466
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
