|
341.
|
|
|
342.
|
|
|
343.
|
|
|
344.
|
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. by Chockler, Hana [editor.] | Weissenbacher, Georg [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature Open Access eBookMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available :
|
|
345.
|
|
|
346.
|
|
|
347.
|
|
|
348.
|
|
|
349.
|
The Codes of the Street in Risky Neighborhoods [electronic resource] : A Cross-Cultural Comparison of Youth Violence in Germany, Pakistan, and South Africa / by Wilhelm Heitmeyer, Simon Howell, Sebastian Kurtenbach, Abdul Rauf, Muhammad Zaman, Steffen Zdun. by Heitmeyer, Wilhelm [author.] | Howell, Simon [author.] | Kurtenbach, Sebastian [author.] | Rauf, Abdul [author.] | Zaman, Muhammad [author.] | Zdun, Steffen [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available :
|
|
350.
|
Equitable Research Partnerships [electronic resource] : A Global Code of Conduct to Counter Ethics Dumping / by Doris Schroeder, Kate Chatfield, Michelle Singh, Roger Chennells, Peter Herissone-Kelly. by Schroeder, Doris [author.] | Chatfield, Kate [author.] | Singh, Michelle [author.] | Chennells, Roger [author.] | Herissone-Kelly, Peter [author.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available :
|
|
351.
|
|
|
352.
|
|
|
353.
|
|
|
354.
|
|
|
355.
|
|
|
356.
|
|
|
357.
|
Semantic Systems. The Power of AI and Knowledge Graphs [electronic resource] : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings / edited by Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter. by Acosta, Maribel [editor.] | Cudré-Mauroux, Philippe [editor.] | Maleshkova, Maria [editor.] | Pellegrini, Tassilo [editor.] | Sack, Harald [editor.] | Sure-Vetter, York [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature Open Access eBookMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available :
|
|
358.
|
|
|
359.
|
|
|
360.
|
|