Results
|
|
1.
|
Federal software exchange catalog by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Washington : United States Government Printing Office, 1979
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.3 Us 3 f.
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
Parallel Processing and Applied Mathematics [electronic resource] : 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I / edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
6.
|
Distributed Applications and Interoperable Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Marta Patiño-Martínez, João Paulo. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
7.
|
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Marieke Huisman, António Ravara. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|
|
|
8.
|
NASA Formal Methods [electronic resource] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez. by Series: Lecture Notes in Computer Science ; 13260
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: (1)Call number: 005.1.
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
Software engineering / R. Karthiyayini by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Krishnagiri : Bharathi and Bharathi Publishers, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 K 149 d.
|
|
|
18.
|
guideline for planning and using a data dictionary system : software by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1980
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.3 Un 3 g.
|
|
|
19.
|
|
|
|
20.
|
Coordination Models and Languages [electronic resource] : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings / edited by Sung-Shik Jongmans, Antónia Lopes. by Series:
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Availability: Items available for loan: National Library of India (1)Call number: 005.1.
|