Your search returned 13 results.

Results
		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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags 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 eBooks Online resources: Click here to access online Availability: No items available. Log in to add tags Add to cart (remove)
		No cover image available Journal of Software Engineering Research and Development [electronic resource] / edited by André van der Hoek, Alessandro Garcia, Leonardo Murta. by van der Hoek, André [editor.] Garcia, Alessandro [editor.] Murta, Leonardo [editor.] SpringerLink (Online service) Material type: Continuing resource; Format: available online ; Type of continuing resource: periodical Publisher: Berlin/Heidelberg : Springer Berlin Heidelberg : Imprint: Springer. Online resources: Open Access Availability: No items available. Log in to add tags Add to cart (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.