Results
|
|
1301.
|
|
|
|
1302.
|
|
|
|
1303.
|
|
|
|
1304.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori. by Series: Lecture Notes in Computer Science ; 7486
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).
|
|
|
1305.
|
|
|
|
1306.
|
|
|
|
1307.
|
|
|
|
1308.
|
|
|
|
1309.
|
On the Move to Meaningful Internet Systems: OTM 2015 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-García, Alok Mishra, Anna Fensel, Fernando Ferri. by Series: Lecture Notes in Computer Science ; 9416
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
1310.
|
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [electronic resource] : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos. by Series: Lecture Notes in Computer Science ; 7991
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Availability: Items available for loan: National Library of India (1).
|
|
|
1311.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Series: Lecture Notes in Computer Science ; 9035
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Availability: Items available for loan: National Library of India (1).
|
|
|
1312.
|
|
|
|
1313.
|
|
|
|
1314.
|
|
|
|
1315.
|
|
|
|
1316.
|
|
|
|
1317.
|
|
|
|
1318.
|
Artificial Intelligence and Digitalization for Sustainable Development [electronic resource] : 10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022, Proceedings / edited by Bereket H. Woldegiorgis, Kibret Mequanint, Mekuanint A. Bitew, Teketay B. Beza, Abdulkerim M. Yibre. 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: 006.3.
|
|
|
1319.
|
|
|
|
1320.
|
Computer Information Systems and Industrial Management [electronic resource] : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings / edited by Agostino Cortesi, Nabendu Chaki, Khalid Saeed, Sławomir Wierzchoń. by Series: Lecture Notes in Computer Science ; 7564
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).
|