|
|
|
Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker.
by Chechik, Marsha [editor.] | Katoen, Joost-Pieter [editor.] | Leucker, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Genetic Programming [electronic resource] : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings / edited by Gisele Pappa, Mario Giacobini, Zdenek Vasicek.
by Pappa, Gisele [editor.] | Giacobini, Mario [editor.] | Vasicek, Zdenek [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran.
by Li, Xiaoming [editor.] | Chandrasekaran, Sunita [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin.
by Bañares, José Ángel [editor.] | Altmann, Jörn [editor.] | Agmon Ben-Yehuda, Orna [editor.] | Djemame, Karim [editor.] | Stankovski, Vlado [editor.] | Tuffin, Bruno [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri.
by Cheney, James [editor.] | Perri, Simona [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Trends in Functional Programming [electronic resource] : 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers / edited by Stephen Chang.
by Chang, Stephen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Eric Medvet, Gisele Pappa, Bing Xue.
by Medvet, Eric [editor.] | Pappa, Gisele [editor.] | Xue, Bing [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi.
by Hanus, Michael [editor.] | Igarashi, Atsushi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira.
by Chapman, Barbara [editor.] | Moreira, José [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone.
by Cerone, Antonio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings / edited by Martin Gebser, Ilya Sergey.
by Gebser, Martin [editor.] | Sergey, Ilya [editor.] | SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
|
