-
601
-
602
-
603
-
604
-
605
-
606
-
607
-
608Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated...Έκδοση 2018Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
609ανά Theroux, PaulΘέματα: “…Naipaul, V. S. (Vidiadhar Surajprasad), 1932-2018 Φίλοι και συνεργάτες 203907…”
Έκδοση 1998
Βιβλίο -
610
-
611
-
612
-
613Έκδοση 2018Πίνακας περιεχομένων: “…BPMDS 2018 -- Context-Awareness in Business Processes -- Mining Expressive and Executable Resource…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
614
-
615
-
616
-
617
-
618Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated...Έκδοση 2018Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
619
-
620