Results
|
|
261.
|
|
|
|
262.
|
|
|
|
263.
|
|
|
|
264.
|
|
|
|
265.
|
|
|
|
266.
|
|
|
|
267.
|
|
|
|
268.
|
|
|
|
269.
|
|
|
|
270.
|
|
|
|
271.
|
|
|
|
272.
|
|
|
|
273.
|
|
|
|
274.
|
|
|
|
275.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Series: Lecture Notes in Computer Science ; 8368
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
276.
|
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer. by Series: Lecture Notes in Computer Science ; 7241
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Availability: Items available for loan: National Library of India (1).
|
|
|
277.
|
|
|
|
278.
|
|
|
|
279.
|
|
|
|
280.
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin. 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: 004.6.
|