|
|
|
|
|
|
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao. by Kleine Büning, Hans [editor.] | Zhao, Xishun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4996Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Computer Performance Engineering [electronic resource] : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings / edited by Nigel Thomas, Carlos Juiz. by Thomas, Nigel [editor.] | Juiz, Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5261Source: 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): .
|
|
|
|
|
Transactions on Computational Science II [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang. by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | Wang, Yingxu [editor.] | Yao, Yiyu [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5150Source: 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): .
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael D. Harrison, Mark-Alexander Sujan. by Harrison, Michael D [editor.] | Sujan, Mark-Alexander [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5219Source: 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): .
|
|
|
|
|
Parallel Problem Solving from Nature – PPSN X [electronic resource] : 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings / edited by Günter Rudolph, Thomas Jansen, Nicola Beume, Simon Lucas, Carlo Poloni. by Rudolph, Günter [editor.] | Jansen, Thomas [editor.] | Beume, Nicola [editor.] | Lucas, Simon [editor.] | Poloni, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5199Source: 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): .
|
|
|
|
|
|
|
|
|
|
Quality of Software Architectures. Models and Architectures [electronic resource] : 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Steffen Becker, Frantisek Plasil, Ralf Reussner. by Becker, Steffen [editor.] | Plasil, Frantisek [editor.] | Reussner, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5281Source: 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): .
|
|
|
|
|
Component-Based Software Engineering [electronic resource] : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings / edited by Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner. by Chaudron, Michel R. V [editor.] | Szyperski, Clemens [editor.] | Reussner, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5282Source: 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): .
|
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5220Source: 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 Architecture [electronic resource] : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings / edited by Ron Morrison, Dharini Balasubramaniam, Katrina Falkner. by Morrison, Ron [editor.] | Balasubramaniam, Dharini [editor.] | Falkner, Katrina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5292Source: 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 Information and Computer Security [electronic resource] : Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings / edited by Kanta Matsuura, Eiichiro Fujisaki. by Matsuura, Kanta [editor.] | Fujisaki, Eiichiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5312Source: 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 Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino. by Börger, Egon [editor.] | Cisternino, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5316Source: 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): .
|
