Your search returned 37 results.

Not what you expected? Check for suggestions

Results per page:

Results
			Specification in B : an introduction using the B toolkit / Kevin Lano, Howard Haughton. by Lano, K Haughton, H Material type: Text; Format: available online ; Literary form: Not fiction Publication details: London : Singapore ; River Edge, NJ : Imperial College Press ; Distributed by World Scientific Pub., ©1996 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computational thinking : a beginner's guide to problem-solving and programming / Karl Beecher. by Beecher, Karl [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Swindon, UK : BCS : The Chartered Institute for IT, [2017]Copyright date: ©2017 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Mobile testing : an ASTQB-BCS foundation guide / Rex Black. by Black, Rex, 1964- [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Swindon, United Kingdom : BCS, the Chartered Institute for IT, [2018]Copyright date: ©2018 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			User experience foundations / Nick de Voil. by Voil, Nick de [author.] Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Swindon : BCS, [2020]Copyright date: ©2020 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			No cover image available Code/Space : Software and Everyday Life by Kitchin, Rob [auth] Dodge, Martin [auth] Material type: Article Language: English Publication details: Cambridge The MIT Press 2011 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)
			Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André [edt] Sutcliffe, Geoff [edt] Platzer, André [oth] Sutcliffe, Geoff [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)
			Fundamental Approaches to Software Engineering : 24th International Conference, FASE 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 Guerra, Esther [edt] Stoelinga, Mariëlle [edt] Guerra, Esther [oth] Stoelinga, Mariëlle [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)
			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)
			Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 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 Kiefer, Stefan [edt] Tasson, Christine [edt] Kiefer, Stefan [oth] Tasson, Christine [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)
			The Once-Only Principle : The TOOP Project by Krimmer, Robert [edt] Prentza, Andriana [edt] Mamrot, Szymon [edt] Krimmer, Robert [oth] Prentza, Andriana [oth] Mamrot, Szymon [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)
			Critical Perspectives on Open Development : Empirical Interrogation of Theory Construction by Chib, Arul [edt] Bentley, Caitlin M [edt] Smith, Matthew L [edt] Chib, Arul [oth] Bentley, Caitlin M [oth] Smith, Matthew L [oth] Material type: Article Language: English Publication details: Cambridge The MIT Press 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)
			Programming Languages and Systems : 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 by Caires, Luís [edt] Caires, Luís [oth] Material type: Article Language: English Publication details: Springer Nature 2019 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)
			No cover image available Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant by Chlipala, Adam [auth] Material type: Article Language: English Publication details: Cambridge The MIT Press 2013 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)
			Foundations of Software Science and Computation Structures : 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 by Goubault-Larrecq, Jean [edt] König, Barbara [edt] Goubault-Larrecq, Jean [oth] König, Barbara [oth] Material type: Article Language: English Publication details: Cham Springer Nature 2020 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)
			No cover image available Interfaces on Trial 2.0 by Band, Jonathan [auth] Katoh, Masanobu [auth] Material type: Article Language: English Publication details: Cambridge The MIT Press 2011 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)
			Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings by Platzer, André [edt] Sutcliffe, Geoff [edt] Platzer, André [oth] Sutcliffe, Geoff [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			The Once-Only Principle : The TOOP Project by Krimmer, Robert [edt] Prentza, Andriana [edt] Mamrot, Szymon [edt] Krimmer, Robert [oth] Prentza, Andriana [oth] Mamrot, Szymon [oth] Material type: Article Language: English Publication details: Springer Nature 2021 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Introduction to Scientific Programming with Python by Sundnes, Joakim [auth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Programming Languages and Systems : 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 by Caires, Luís [edt] Caires, Luís [oth] Material type: Article Language: English Publication details: Springer Nature 2019 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Introduction to Scientific Programming with Python by Sundnes, Joakim [auth] Material type: Article Language: English Publication details: Springer Nature 2020 Online resources: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)