Results
|
|
|
Generating plans from proofs: the interpolation-based approach to query reformulation / Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura. by Benedikt, Michael [author.] | Leblay, Julien [author.] | Cate, Balder David ten [author.] | Tsamoura, Efthymia [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on data management ; # 43.Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
|
|
|
|
|
|
|
Metaphor, a computational perspective / Tony Veale, Ekaterina Shutova, Beata Beigman Klebanov. by Veale, Tony, 1967- [author.] | Shutova, Ekaterina [author.] | Klebanov, Beata Beigman [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on human language technologies ; # 31.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
|
|
|
|
|
|
|
|
|
|
|
Compound semiconductor materials and devices / Zhaojun Liu, Tongde Huang, Qiang Li, Xing Lu, Xinbo Zou. by Liu, Zhaojun [author.] | Huang, Tongde [author.] | Li, Qiang [author.] | Lu, Xing [author.] | Zou, Xinbo [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on emerging engineering technologies ; # 3.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Database anonymization : privacy models, data utility, and microaggregation-based inter-model connections / Josep Domingo-Ferrer, David Sánchez, and Jordi Soria-Comas. by Domingo-Ferrer, Josep [author.] | Sánchez, David [author.] | Soria-Comas, Jordi [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on information security, privacy, and trust ; # 15.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
|
|
|
|
|
|
|
|
|
|
|
An introduction to verification of visualization techniques / Tiago Etiene, Robert M. Kirby, Cláudio T. Silva. by Etiene, Tiago [author.] | Kirby, Robert M, 1975- [author.] | Silva, Cláudio T [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on visual computing ; # 22.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
|
|
|
|
|
|
|
|
|
|
|
Automated software diversity / Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, Michael Franz. by Larsen, Per [author.] | Brunthaler, Stefan [author.] | Davi, Lucas [author.] | Sadeghi, Ahmad-Reza [author.] | Franz, Michael [author.]. Series: Synthesis digital library of engineering and computer science | Synthesis lectures on information security, privacy, and trust ; # 14.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016Online access: Abstract with links to resource Availability: Items available for loan: Indian Institute of Technology Delhi - Central Library (1) .
|
