Refine your search

Your search returned 523 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
2.
No cover image available
Pro TBB C++ Parallel Programming with Threading Building Blocks 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
4.
No cover image available
5.
No cover image available
Introduction to Scientific Programming with Python 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
Introduction to Scientific Programming with Python 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
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
8.
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
9.
No cover image available
10.
No cover image available
11.
No cover image available
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, 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
12.
No cover image available
13.
No cover image available
14.
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
15.
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
16.
Hadoop operations by
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.74 SAM/H.

Place hold Add to cart
17.
No cover image available
18.
No cover image available
The Informatics of Time and Events 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.
The Python workbook : A brief introduction with exercises and solutions by Series: Texts in computer science
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Switzerland, Springer, 2019
Availability: Not available: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre: Checked out (1).

Place hold Add to cart
20.
No cover image available
Pages