Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
HDL with Digital Design. by
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Bloomfield : Mercury Learning & Information, 2015
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 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
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
|
|
|
|
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 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
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
|
|
|
|
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 II / edited by Dirk Beyer, Marieke Huisman. by Series: Theoretical Computer Science and General Issues ; 10806
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
Availability: Items available for loan: OPJGU Sonepat- Campus (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|