Your search returned 20 results.

Not what you expected? Check for suggestions

Results
			Approximations for digital computers / by Cecil Hastings, Jr. ; assisted by Jeanne T. Hayward, James P. Wong, Jr. by Hastings, Cecil, Jr, 1920- Hayward, Jeanne T [author.] Wong, James P., Jr, 1926- [author.] Series: Princeton legacy library Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Princeton, NJ : Princeton University Press, 2015 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Certifications of Critical Systems - The CECRIS Experience. by Bondavalli, Andrea Brancati, Francesco Series: River Publishers series in information science and technology Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Aalborg : River Publishers, 2017 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 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] : 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)
			Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11562 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)
			Principles of Security and Trust [electronic resource] : 8th International Conference, POST 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 Flemming Nielson, David Sands. by Nielson, Flemming [editor.] Sands, David [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11426 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)
			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 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, Part I / edited by Tomáš Vojnar, Lijun Zhang. by Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11427 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] : 21st International Conference, FOSSACS 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 Christel Baier, Ugo Dal Lago. by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 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)
			Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman. by Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10805 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)
			Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 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 Christel Baier, Ugo Dal Lago. by Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10803 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)
			Principles of Security and Trust [electronic resource] : 7th International Conference, POST 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 Lujo Bauer, Ralf Küsters. by Bauer, Lujo [editor.] Küsters, Ralf [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10804 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)
			The trouble with computers : usefulness, usability, and productivity / Thomas K. Landauer. by Landauer, Thomas K Series: A Bradford Book Ser Material type: Text; Format: available online ; Literary form: Not fiction Copyright date: ©1995 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Representation and reality / Hilary Putnam. by Putnam, Hilary Series: Representation and mind Material type: Text; Format: available online ; Literary form: Not fiction Copyright date: ©1988 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Information technology and the conduct of research : the user's view / report of the Panel on Information Technology and the Conduct of Research [and others]. by Panel on Information Technology and the Conduct of Research (U.S.) Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Washington, D.C. : National Academy Press, 1989 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			The designer's guide to VHDL / Peter J. Ashenden. by Ashenden, Peter J Series: Morgan Kaufmann series in systems on silicon Edition: 2nd ed. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: San Francisco, CA : Morgan Kaufmann, ©2002 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Global trends in computer technology and their impact on export control / Committee to Study International Developments in Computer Science and Technology, Computer Science and Technology Board, Commission on Physical Sciences, Mathematics, and Resources, National Research Council. by National Research Council (U.S.). Committee to Study International Developments in Computer Science and Technology Goodman, Seymour E National Research Council (U.S.). Computer Science and Technology Board National Research Council (U.S.). Commission on Physical Sciences, Mathematics, and Resources Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Washington, D.C. : National Academy Press, 1988 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Heidegger, authenticity, and modernity / edited by Mark A. Wrathall and Jeff Malpas. by Dreyfus, Hubert L Wrathall, Mark A Malpas, J. E Series: Essays in honor of Hubert L. Dreyfus ; v. 1. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 2000 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Gödel, Putnam, and functionalism : a new reading of Representation and reality / Jeff Buechner. by Buechner, Jeff Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, [2008]Copyright date: ©2008 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Gerotechnology : research and practice in technology and aging : a textbook and reference for multiple disciplines / [edited by] David C. Burdick, Sunkyo Kwon. by Burdick, David C Kwon, Sunkyo Material type: Text; Format: available online ; Literary form: Not fiction Publication details: New York, NY : Springer Pub. Co., ©2004 Online resources: Click here to access online Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)