Results
|
|
1841.
|
|
|
|
1842.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 7795
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
1843.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Ranjit Jhala, Koen De Bosschere. by Series: Lecture Notes in Computer Science ; 7791
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
1844.
|
|
|
|
1845.
|
|
|
|
1846.
|
|
|
|
1847.
|
|
|
|
1848.
|
|
|
|
1849.
|
|
|
|
1850.
|
|
|
|
1851.
|
|
|
|
1852.
|
|
|
|
1853.
|
|
|
|
1854.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Series: Lecture Notes in Computer Science ; 7795
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Availability: Items available for loan: National Library of India (1).
|
|
|
1855.
|
MSP 430 microcontroller basics / John H. Davies by
Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Adult;
Language: English
Publication details: New Delhi : Elsevier, 2015
Availability: Items available for loan: National Library of India (1)Call number: E 621.3916 D 287.
|
|
|
1856.
|
|
|
|
1857.
|
|
|
|
1858.
|
|
|
|
1859.
|
Manual on LabVIEW / Lizy Abraham by
Material type: Text; Format:
print
; Audience:
General;
Language: English
Publication details: Chennai: Scitech Publitions (India) pvt. ltd., 2011
Availability: Items available for loan: National Library of India (1)Call number: E/O 006 Ab 82 man.
|
|
|
1860.
|
|