|
|
|
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] | Bensalem, Saddek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8174Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by Bitsch, Friedemann [editor.] | Guiochet, Jérémie [editor.] | Kaâniche, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8153Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Network and Parallel Computing [electronic resource] : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings / edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng. by Hsu, Ching-Hsien [editor.] | Li, Xiaoming [editor.] | Shi, Xuanhua [editor.] | Zheng, Ran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions [electronic resource] : 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Hongen Liao, Cristian A. Linte, Ken Masamune, Terry M. Peters, Guoyan Zheng. by Liao, Hongen [editor.] | Linte, Cristian A [editor.] | Masamune, Ken [editor.] | Peters, Terry M [editor.] | Zheng, Guoyan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8090Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Michał Woźniak, André C. P. L. F. Carvalho, Héctor Quintián, Emilio Corchado. by Pan, Jeng-Shyang [editor.] | Polycarpou, Marios M [editor.] | Woźniak, Michał [editor.] | Carvalho, André C. P. L. F [editor.] | Quintián, Héctor [editor.] | Corchado, Emilio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8073Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher. by Kari, Jarkko [editor.] | Kutrib, Martin [editor.] | Malcher, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8155Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by Fontaine, Pascal [editor.] | Ringeissen, Christophe [editor.] | Schmidt, Renate A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8152Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Discovery Science [electronic resource] : 16th International Conference, DS 2013, Singapore, October 6-9, 2013. Proceedings / edited by Johannes Fürnkranz, Eyke Hüllermeier, Tomoyuki Higuchi. by Fürnkranz, Johannes [editor.] | Hüllermeier, Eyke [editor.] | Higuchi, Tomoyuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8140Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Information Systems and Industrial Management [electronic resource] : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings / edited by Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń. by Saeed, Khalid [editor.] | Chaki, Rituparna [editor.] | Cortesi, Agostino [editor.] | Wierzchoń, Sławomir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8104Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann. by Jain, Sanjay [editor.] | Munos, Rémi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8139Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen. by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8197Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8169Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Similarity Search and Applications [electronic resource] : 6th International Conference, SISAP 2013, A Coruña, Spain, October 2-4, 2013, Proceedings / edited by Nieves Brisaboa, Oscar Pedreira, Pavel Zezula. by Brisaboa, Nieves [editor.] | Pedreira, Oscar [editor.] | Zezula, Pavel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8199Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [editor.] | Ranise, Silvio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8203Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by Palamidessi, Catuscia [editor.] | Ryan, Mark D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8191Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Groves, Lindsay [editor.] | Sun, Jing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8144Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Data Engineering and Automated Learning – IDEAL 2013 [electronic resource] : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings / edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao. by Yin, Hujun [editor.] | Tang, Ke [editor.] | Gao, Yang [editor.] | Klawonn, Frank [editor.] | Lee, Minho [editor.] | Weise, Thomas [editor.] | Li, Bin [editor.] | Yao, Xin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8206Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Information and Computer Security [electronic resource] : 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings / edited by Kazuo Sakiyama, Masayuki Terada. by Sakiyama, Kazuo [editor.] | Terada, Masayuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8231Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
