Refine your search

Your search returned 194 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
2.
No cover image available
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
3.
No cover image available
Network-on-Chip The Next Generation of System-on-Chip Integration by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
4.
No cover image available
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
5.
No cover image available
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
6.
No cover image available
The Once-Only Principle The TOOP Project by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
7.
No cover image available
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
8.
No cover image available
9.
No cover image available
10.
No cover image available
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
11.
No cover image available
12.
No cover image available
13.
Computer organization and design by
Edition: 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi PHI Learning 2000
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.22 PAL/C.

Place hold Add to cart
14.
No cover image available
Computer architecture and organization by
Edition: 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston McGraw Hill 1998
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.22 HAY/C.

Place hold Add to cart
15.
No cover image available
Computer architecture and organization by
Edition: 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boston McGraw Hill 1998
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 004.22 HAY/C.

Place hold Add to cart
16.
No cover image available
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
17.
No cover image available
The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
18.
No cover image available
Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
19.
No cover image available
Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools by
Material type: Text Text
Online resources:
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).

Place hold Add to cart
20.
Beautiful architecture: Leading thinkers reveal the hidden beauty in software design edited by Diomidis Spinellis; Georgios Gousios by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Mumbai, O'Reilly, 2009
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.12 SPI/B.

Place hold Add to cart
Pages