Results
|
|
1341.
|
|
|
|
1342.
|
|
|
|
1343.
|
|
|
|
1344.
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by Series: Lecture Notes in Computer Science ; 7871
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).
|
|
|
1345.
|
Learning Basic / Laxman Mohanty and Pratap K. Rath by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Bhubaneswar : Education, 1996
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.362 M 726.
|
|
|
1346.
|
|
|
|
1347.
|
High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 - June 2, 2022, Proceedings / edited by Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc. by Series: Lecture Notes in Computer Science ; 13289
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.
|
|
|
1348.
|
Big Data and Security [electronic resource] : 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings / edited by Yuan Tian, Tinghuai Ma, Qingshan Jiang, Qi Liu, Muhammad Khurram Khan. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.
|
|
|
1349.
|
Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch. by Series: Lecture Notes in Computer Science ; 13414
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Availability: Items available for loan: National Library of India (1)Call number: 621.39 | 004.6.
|
|
|
1350.
|
Object-oriented systems development/ Ali Bahrami by
Material type: Text; Format:
print
; Literary form:
Not fiction
; Audience:
Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.12 B 148.
|
|
|
1351.
|
|
|
|
1352.
|
|
|
|
1353.
|
Computer program for incentives / prepade by DOD Poesmic
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Washington, D. C. : United States Government Printing Office, 1970
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 C 739.
|
|
|
1354.
|
|
|
|
1355.
|
|
|
|
1356.
|
|
|
|
1357.
|
|
|
|
1358.
|
|
|
|
1359.
|
|
|
|
1360.
|
|