|
461.
|
|
|
462.
|
|
|
463.
|
|
|
464.
|
|
|
465.
|
|
|
466.
|
|
|
467.
|
|
|
468.
|
|
|
469.
|
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed. by Ahmed, Amal [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 :
|
|
470.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman. by Beyer, Dirk [editor.] | Huisman, Marieke [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 :
|
|
471.
|
Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters. by Bauer, Lujo [editor.] | Küsters, Ralf [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 :
|
|
472.
|
The Third Sector as a Renewable Resource for Europe [electronic resource] : Concepts, Impacts, Challenges and Opportunities / by Bernard Enjolras, Lester M. Salamon, Karl Henrik Sivesind, Annette Zimmer. by Enjolras, Bernard [author.] | Salamon, Lester M [author.] | Sivesind, Karl Henrik [author.] | Zimmer, Annette [author.] | 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: Palgrave Macmillan, 2018Online access: Click here to access online Availability: No items available :
|
|
473.
|
|
|
474.
|
|
|
475.
|
|
|
476.
|
|
|
477.
|
|
|
478.
|
|
|
479.
|
|
|
480.
|
|