Results
|
4381.
|
|
|
4382.
|
Computer Aided Systems Theory - EUROCAST 2013 [electronic resource] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia. by Series: Lecture Notes in Computer Science ; 8111
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4383.
|
|
|
4384.
|
|
|
4385.
|
Advanced Data Mining and Applications [electronic resource] : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part I / edited by Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang. by Series: Lecture Notes in Computer Science ; 8346
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4386.
|
Advanced Data Mining and Applications [electronic resource] : 9th International Conference, ADMA 2013, Hangzhou, China, December 14-16, 2013, Proceedings, Part II / edited by Hiroshi Motoda, Zhaohui Wu, Longbing Cao, Osmar Zaiane, Min Yao, Wei Wang. by Series: Lecture Notes in Computer Science ; 8347
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4387.
|
Image and Video Technology – PSIVT 2013 Workshops [electronic resource] : GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013, Revised Selected Papers / edited by Fay Huang, Akihiro Sugimoto. by Series: Lecture Notes in Computer Science ; 8334
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4388.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / edited by Kenneth L. McMillan, Xavier Rival. by Series: Lecture Notes in Computer Science ; 8318
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4389.
|
Linked Data and Knowledge Graph [electronic resource] : 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers / edited by Guilin Qi, Jie Tang, Jianfeng Du, Jeff Z. Pan, Yong Yu. by Series: Communications in Computer and Information Science ; 406
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4390.
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe. by Series: Communications in Computer and Information Science ; 415
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4391.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers / edited by Ernie Cohen, Andrey Rybalchenko. by Series: Lecture Notes in Computer Science ; 8164
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4392.
|
Self-Organizing Systems [electronic resource] : 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers / edited by Wilfried Elmenreich, Falko Dressler, Vittorio Loreto. by Series: Lecture Notes in Computer Science ; 8221
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4393.
|
|
|
4394.
|
|
|
4395.
|
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
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4396.
|
Web Information Systems Engineering – WISE 2013 Workshops [electronic resource] : WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 2013, Revised Selected Papers / edited by Zhisheng Huang, Chengfei Liu, Jing He, Guangyan Huang. by Series: Lecture Notes in Computer Science ; 8182
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4397.
|
Theory and Applications of Formal Argumentation [electronic resource] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected papers / edited by Elizabeth Black, Sanjay Modgil, Nir Oren. by Series: Lecture Notes in Computer Science ; 8306
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
4398.
|
|
|
4399.
|
|
|
4400.
|
|