New Books, Music, E-Resources
Computer Science
December 2021 Total 1124 records. 100 records per page. Page # 11 / 12. 1
2
3
4
5
6
7
8
9
10
11
12
Software Ecosystems, Sustainability and Human Values in the Social Web 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, October 22, 2018
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Software foundations for data interoperability and large scale graph data analytics : 4th international workshop, SFDI 2020, and 2nd international workshop, LSGDA 2020, held in conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, proceedings /
Springer, [2020]
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings,
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Tools and Techniques for High Performance Computing Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Universal Access in Human-Computer Interaction. Applications and Practice 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Verified Software. Theories, Tools, and Experiments 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
Imprint Springer; Springer International Publishing, 2020.
Online resource ([QA76])
Check availability
Total 1124 records. 100 records per page. Page # 11 / 12. 1
2
3
4
5
6
7
8
9
10
11
12