Results
|
881.
|
|
|
882.
|
|
|
883.
|
Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Series: Programming and Software Engineering ; 12549
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.
|
|
884.
|
|
|
885.
|
|
|
886.
|
|
|
887.
|
|
|
888.
|
|
|
889.
|
|
|
890.
|
|
|
891.
|
|
|
892.
|
|
|
893.
|
|
|
894.
|
|
|
895.
|
|
|
896.
|
|
|
897.
|
|
|
898.
|
HCI International 2020 – Late Breaking Papers: Cognition, Learning and Games [electronic resource] : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by
- Stephanidis, Constantine [editor.]
- Harris, Don [editor.]
- Li, Wen-Chin [editor.]
- Schmorrow, Dylan D [editor.]
- Fidopiastis, Cali M [editor.]
- Zaphiris, Panayiotis [editor.]
- Ioannou, Andri [editor.]
- Fang, Xiaowen [editor.]
- Sottilare, Robert A [editor.]
- Schwarz, Jessica [editor.]
- SpringerLink (Online service)
Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12425
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.
|
|
899.
|
|
|
900.
|
|