Your search returned 9 results.

Not what you expected? Check for suggestions

Results
			Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn. by Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy Series: Foundations of computing 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)
			Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 by Ulidowski, Irek [edt] Lanese, Ivan [edt] Schultz, Ulrik Pagh [edt] Ferreira, Carla [edt] Ulidowski, Irek [oth] Lanese, Ivan [oth] Schultz, Ulrik Pagh [oth] Ferreira, Carla [oth] Material type: Article Language: English Publication details: 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)
			Symmetry Measures on Complex Networks by Angel Garrido (Ed.) [auth] Material type: Article Language: English Publication details: MDPI - Multidisciplinary Digital Publishing Institute 2017 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)
			Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 by Ulidowski, Irek [edt] Lanese, Ivan [edt] Schultz, Ulrik Pagh [edt] Ferreira, Carla [edt] Ulidowski, Irek [oth] Lanese, Ivan [oth] Schultz, Ulrik Pagh [oth] Ferreira, Carla [oth] 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)
			Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II by Shoham, Sharon [edt] Shoham, Sharon [oth] Vizel, Yakir [edt] Vizel, Yakir [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Cham Springer Nature 2022 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I by Shoham, Sharon [edt] Shoham, Sharon [oth] Vizel, Yakir [edt] Vizel, Yakir [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Cham Springer Nature 2022 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings by Blanchette, Jasmin [edt] Blanchette, Jasmin [oth] Kovc̀s, Laura [edt] Kovc̀s, Laura [oth] Pattinson, Dirk [edt] Pattinson, Dirk [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Cham Springer Nature 2022 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 by Ulidowski, Irek [edt] Ferreira, Carla [edt] Ferreira, Carla [oth] Lanese, Ivan [edt] Lanese, Ivan [oth] Schultz, Ulrik Pagh [edt] Schultz, Ulrik Pagh [oth] Ulidowski, Irek [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Springer Nature 2020 Online resources: Open Access: OAPEN Library: description of the publication Open Access: OAPEN Library, download the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)
			Algorithms for Big Data DFG Priority Program 1736 by Bast, Hannah [edt] Bast, Hannah [oth] Korzen, Claudius [edt] Korzen, Claudius [oth] Meyer, Ulrich [edt] Meyer, Ulrich [oth] Penschuck, Manuel [edt] Penschuck, Manuel [oth] Series: Material type: Text; Format: available online ; Literary form: Not fiction Language: English Publication details: Cham Springer Nature 2022 Online resources: Open Access: OAPEN Library, download the publication Open Access: OAPEN Library: description of the publication Availability: Items available for loan: OPJGU Sonepat- Campus (1). Place hold Add to cart (remove)

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies | Maintained by: Global Library