Your search returned 715 results.

Not what you expected? Check for suggestions

Results
			Representation Learning for Natural Language Processing [electronic resource] / by Zhiyuan Liu, Yankai Lin, Maosong Sun. by Liu, Zhiyuan [author.] Lin, Yankai [author.] Sun, Maosong [author.] SpringerLink (Online service) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : 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)
			Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 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)
			Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 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)
			Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe. by Platzer, André [editor.] Sutcliffe, Geoff [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12699 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)
			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)
			Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12224 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)
			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)
			Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12225 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)
			Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov. by Amunts, Katrin [editor.] Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12339 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)
			Handbook on Craniofacial Superimposition [electronic resource] : The MEPROCS Project / by Sergio Damas, Oscar Cordón, Oscar Ibáñez. by Damas, Sergio [author.] Cordón, Oscar [author.] Ibáñez, Oscar [author.] SpringerLink (Online service) 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)
			Dynamic Spectrum Management [electronic resource] : From Cognitive Radio to Blockchain and Artificial Intelligence / by Ying-Chang Liang. by Liang, Ying-Chang [author.] SpringerLink (Online service) Series: Signals and Communication Technology Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : 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)
			Artificial Intelligence for a Better Future [electronic resource] : An Ecosystem Perspective on the Ethics of AI and Emerging Digital Technologies / by Bernd Carsten Stahl. by Stahl, Bernd Carsten [author.] SpringerLink (Online service) Series: SpringerBriefs in Research and Innovation Governance 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)
			Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project / edited by Sören Auer, Volha Bryl, Sebastian Tramp. by Auer, Sören [editor.] Bryl, Volha [editor.] Tramp, Sebastian [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8661 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 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)
			The Impact of Digital Technologies on Public Health in Developed and Developing Countries [electronic resource] : 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings / edited by Mohamed Jmaiel, Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou, Slim Kallel. by Jmaiel, Mohamed [editor.] Mokhtari, Mounir [editor.] Abdulrazak, Bessam [editor.] Aloulou, Hamdi [editor.] Kallel, Slim [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12157 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)
			Anti-fragile ICT Systems [electronic resource] / by Kjell Jørgen Hole. by Hole, Kjell Jørgen [author.] SpringerLink (Online service) Series: Simula SpringerBriefs on Computing ; 1 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 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] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10982 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] : 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)
			Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. by Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10981 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)