Your search returned 31 results.

Not what you expected? Check for suggestions

Results per page:

Results
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			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: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Programming Languages and Systems : 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 by Müller, Peter [edt] Müller, Peter [oth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Data Parallel C++ : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL by Reinders, James [auth] Ashbaugh, Ben [auth] Brodman, James [auth] Kinsner, Michael [auth] Pennycook, John [auth] Tian, Xinmin [auth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			XcalableMP PGAS Programming Language : From Programming Model to Applications by Sato, Mitsuhisa [auth] Sato, Mitsuhisa [edt] Sato, Mitsuhisa [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Programming Languages and Systems : 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 by Yoshida, Nobuko [edt] Yoshida, Nobuko [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: DOAB: download the publication DOAB: download the publication DOAB: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)