Results
|
|
1921.
|
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by Series: Lecture Notes in Computer Science ; 7784
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).
|
|
|
1922.
|
|
|
|
1923.
|
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers / edited by Sarfraz Khurshid, Koushik Sen. by Series: Lecture Notes in Computer Science ; 7186
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).
|
|
|
1924.
|
|
|
|
1925.
|
|
|
|
1926.
|
Internet and Distributed Computing Systems [electronic resource] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / edited by Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang. by Series: Lecture Notes in Computer Science ; 7646
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).
|
|
|
1927.
|
|
|
|
1928.
|
Artificial Intelligence and Computational Intelligence [electronic resource] : 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao. by Series: Lecture Notes in Computer Science ; 7530
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).
|
|
|
1929.
|
|
|
|
1930.
|
|
|
|
1931.
|
|
|
|
1932.
|
|
|
|
1933.
|
Human-Computer Interaction - INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Series: Lecture Notes in Computer Science ; 8117
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).
|
|
|
1934.
|
Human-Computer Interaction - INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by Series: Lecture Notes in Computer Science ; 8119
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).
|
|
|
1935.
|
|
|
|
1936.
|
Human Factors in Computing and Informatics [electronic resource] : First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc. by Series: Lecture Notes in Computer Science ; 7946
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).
|
|
|
1937.
|
|
|
|
1938.
|
Web Information Systems Engineering - WISE 2011 and 2012 Workshops [electronic resource] : Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers / edited by Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng. by Series: Lecture Notes in Computer Science ; 7652
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).
|
|
|
1939.
|
|
|
|
1940.
|
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).
|