|
|
|
|
|
|
|
|
|
|
|
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Sokolsky, Oleg [editor.] | Taşıran, Serdar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Computing and Networking [electronic resource] : 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / edited by Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha. by Rao, Shrisha [editor.] | Chatterjee, Mainak [editor.] | Jayanti, Prasad [editor.] | Murthy, C. Siva Ram [editor.] | Saha, Sanjoy Kumar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4904Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Web Based Learning – ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers / edited by Howard Leung, Frederick Li, Rynson Lau, Qing Li. by Leung, Howard [editor.] | Li, Frederick [editor.] | Lau, Rynson [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4823Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers / edited by Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura. by Satoh, Ken [editor.] | Inokuchi, Akihiro [editor.] | Nagao, Katashi [editor.] | Kawamura, Takahiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4914Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel. by Dumas, Marlon [editor.] | Heckel, Reiko [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4937Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
OpenMP in a New Era of Parallelism [electronic resource] : 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings / edited by Rudolf Eigenmann, Bronis R. Supinski. by Eigenmann, Rudolf [editor.] | Supinski, Bronis R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5004Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Cryptographic Hardware and Embedded Systems – CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / edited by Elisabeth Oswald, Pankaj Rohatgi. by Oswald, Elisabeth [editor.] | Rohatgi, Pankaj [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5154Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Secure Data Management [electronic resource] : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5159Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter. by Meyer, Bertrand [editor.] | Nawrocki, Jerzy R [editor.] | Walter, Bartosz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5082Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Software Process and Product Measurement [electronic resource] : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers / edited by Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran. by Cuadrado-Gallego, Juan J [editor.] | Braungarten, René [editor.] | Dumke, Reiner R [editor.] | Abran, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4895Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Architecting Dependable Systems V [electronic resource] / edited by Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira. by Lemos, Rogério [editor.] | Giandomenico, Felicita [editor.] | Gacek, Cristina [editor.] | Muccini, Henry [editor.] | Vieira, Marlon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5135Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S [editor.] | Haxthausen, Anne E [editor.] | Yenigun, Husnu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings / edited by Changjie Tang, Charles X. Ling, Xiaofang Zhou, Nick J. Cercone, Xue Li. by Tang, Changjie [editor.] | Ling, Charles X [editor.] | Zhou, Xiaofang [editor.] | Cercone, Nick J [editor.] | Li, Xue [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5139Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Artificial Intelligence – IBERAMIA 2008 [electronic resource] : 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David. by Geffner, Hector [editor.] | Prada, Rui [editor.] | Machado Alexandre, Isabel [editor.] | David, Nuno [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5290Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings / edited by Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du. by Li, Yingshu [editor.] | Huynh, Dung T [editor.] | Das, Sajal K [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5258Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings / edited by Sandeep Kulkarni, André Schiper. by Kulkarni, Sandeep [editor.] | Schiper, André [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5340Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advanced Web and Network Technologies, and Applications [electronic resource] : APWeb 2008 International Workshops: BIDM, IWHDM, and DeWeb Shenyang, China, April 26-28, 2008. Revised Selected Papers / edited by Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang. by Ishikawa, Yoshiharu [editor.] | He, Jing [editor.] | Xu, Guandong [editor.] | Shi, Yong [editor.] | Huang, Guangyan [editor.] | Pang, Chaoyi [editor.] | Zhang, Qing [editor.] | Wang, Guoren [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4977Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|