Results
|
|
381.
|
|
|
|
382.
|
|
|
|
383.
|
|
|
|
384.
|
|
|
|
385.
|
Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9632
Edition: 1st ed. 2016.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
386.
|
|
|
|
387.
|
Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4960
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
|
388.
|
|
|
|
389.
|
|
|
|
390.
|
|
|
|
391.
|
|
|
|
392.
|
|
|
|
393.
|
|
|
|
394.
|
|
|
|
395.
|
|
|
|
396.
|
|
|
|
397.
|
|
|
|
398.
|
|
|
|
399.
|
Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by Series: Programming and Software Engineering ; 13124
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
400.
|
|
