Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
Spin model checker by
Material type:  Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston Addison Wesley 2003
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 HOL/S.
|
|
|
5.
|
Software engineering by
Edition: 9
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi Pearson Education 2011
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.1 SOM/S.
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I by
Material type: Text
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).
|
|
|
10.
|
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II by
Material type: Text
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).
|
|
|
11.
|
Applied and Computational Statistics by
Material type: Text
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1).
|
|
|
12.
|
|
|
|
13.
|
Software fault tolerance techniques and implementation by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Boston Artech House 2001
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 PUL/S.
|
|
|
14.
|
|
|
|
15.
|
Genomic profile analyser by
Material type: Text; Format:
print
; Literary form:
Not fiction
Dissertation note: PGDIT 2001-2002 INT Dimensions Cybertech, Technopark,Thiruvananthapuram
Availability: Items available for reference: IIITM-K: Not for loan (1).
|
|
|
16.
|
Swift voice controller by
Material type: Text; Format:
print
; Literary form:
Not fiction
Dissertation note: PGDIT 2004- 2005 INT Dimensions Cybertech, Technopark,Thiruvananthapuram
Availability: Items available for reference: IIITM-K: Not for loan (1).
|
|
|
17.
|
Asset management system by
Material type: Text; Format:
print
; Literary form:
Not fiction
Dissertation note: MSc. IT 2012 - 2014 INT "ACIS, Thiruvananthapuram"
Availability: Items available for reference: IIITM-K: Not for loan (1).
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
Software testing techniques: Finding the defects that matter by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Mumbai Oreilly/Shroff Publishers and Distributors 2005
Availability: Items available for loan: Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre (1)Call number: 005.14 LOV/S.
|
