-
4001
-
4002Published 2018Subjects: “…Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product…”
Full Text via HEAL-Link
Electronic eBook -
4003
-
4004
-
4005
-
4006
-
4007
-
4008Published 2018Subjects: “…Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product…”
Full Text via HEAL-Link
Electronic eBook -
4009
-
4010Published 2019Table of Contents: “… Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data…”
Full Text via HEAL-Link
Electronic eBook -
4011
-
4012
-
4013
-
4014
-
4015
-
4016
-
4017
-
4018
-
4019
-
4020