Your search returned 17 results.

Not what you expected? Check for suggestions

Results
	1.	Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Luís Caires. by Caires, Luís [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11423 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Mikołaj Bojańczyk, Alex Simpson. by Bojańczyk, Mikołaj [editor.] Simpson, Alex [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11425 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König. by Goubault-Larrecq, Jean [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12077 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	TouchDevelop [electronic resource] : Programming on the Go / by Nigel Horspool, Nikolai Tillmann, Judith Bishop. by Horspool, Nigel [author.] Tillmann, Nikolai [author.] Bishop, Judith [author.] SpringerLink (Online service) Edition: 3rd ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Peter Müller. by Müller, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12075 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Data Parallel C++ [electronic resource] : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL / by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian. by Reinders, James [author.] Ashbaugh, Ben [author.] Brodman, James [author.] Kinsner, Michael [author.] Pennycook, John [author.] Tian, Xinmin [author.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 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 Alessandra Russo, Andy Schürr. by Russo, Alessandra [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10802 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Rethinking Productivity in Software Engineering [electronic resource] / edited by Caitlin Sadowski, Thomas Zimmermann. by Sadowski, Caitlin [editor.] Zimmermann, Thomas [editor.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / edited by Nobuko Yoshida. by Yoshida, Nobuko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12648 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks / by Michael Voss, Rafael Asenjo, James Reinders. by Voss, Michael [author.] Asenjo, Rafael [author.] Reinders, James [author.] SpringerLink (Online service) Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	XcalableMP PGAS Programming Language [electronic resource] : From Programming Model to Applications / edited by Mitsuhisa Sato. by Sato, Mitsuhisa [editor.] SpringerLink (Online service) Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	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) Series: Theoretical Computer Science and General Issues ; 10801 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Programming Languages and Systems [electronic resource] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings / edited by Ilya Sergey. by Sergey, Ilya [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13240 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 Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Programming Languages and Systems [electronic resource] : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / edited by Thomas Wies. by Wies, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13990 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Optimizing HPC Applications with Intel Cluster Tools [electronic resource] : Hunting Petaflops / by Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm. by Supalov, Alexander [author.] Semin, Andrey [author.] Dahnken, Christopher [author.] Klemm, Michael [author.] SpringerLink (Online service) Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)

© 2023-2026 | Set-up, configured and customized by ViEl

Report a problem

Powered by Koha