|
|
|
|
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. by Ågotnes, Thomas [editor.] | Broersen, Jan [editor.] | Elgesem, Dag [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7393Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computing Theories and Applications [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Jianhua Ma, Kang-Hyun Jo, M. Michael Gromiha. by Huang, De-Shuang [editor.] | Ma, Jianhua [editor.] | Jo, Kang-Hyun [editor.] | Gromiha, M. Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7390Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] | Mehlhorn, Kurt [editor.] | Pitts, Andrew [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7392Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Intelligent Computing Technology [electronic resource] : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / edited by De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa. by Huang, De-Shuang [editor.] | Jiang, Changjun [editor.] | Bevilacqua, Vitoantonio [editor.] | Figueroa, Juan Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7389Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / edited by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. by Czumaj, Artur [editor.] | Mehlhorn, Kurt [editor.] | Pitts, Andrew [editor.] | Wattenhofer, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7391Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / edited by Nelma Moreira, Rogério Reis. by Moreira, Nelma [editor.] | Reis, Rogério [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7381Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis. by Kutrib, Martin [editor.] | Moreira, Nelma [editor.] | Reis, Rogério [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7386Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings / edited by Xiang-Yang Li, Symeon Papavassiliou, Stefan Ruehrup. by Li, Xiang-Yang [editor.] | Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7363Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / edited by Hsu-Chun Yen, Oscar H. Ibarra. by Yen, Hsu-Chun [editor.] | Ibarra, Oscar H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7410Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012. Proceedings / edited by Ferruh Özbudak, Francisco Rodríguez-Henríquez. by Özbudak, Ferruh [editor.] | Rodríguez-Henríquez, Francisco [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7369Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012. Proceedings / edited by Simone Fischer-Hübner, Matthew Wright. by Fischer-Hübner, Simone [editor.] | Wright, Matthew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7384Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Methodologies and Technologies for Networked Enterprises [electronic resource] : ArtDeco: Adaptive Infrastructures for Decentralised Organisations / edited by Giuseppe Anastasi, Emilio Bellini, Elisabetta Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo. by Anastasi, Giuseppe [editor.] | Bellini, Emilio [editor.] | Nitto, Elisabetta [editor.] | Ghezzi, Carlo [editor.] | Tanca, Letizia [editor.] | Zimeo, Eugenio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7200Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Engineering [electronic resource] : 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings / edited by Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf. by Brambilla, Marco [editor.] | Tokuda, Takehiro [editor.] | Tolksdorf, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7387Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker. by Donaldson, Alastair [editor.] | Parker, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7385Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. by Beckert, Bernhard [editor.] | Damiani, Ferruccio [editor.] | Gurov, Dilian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7421Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Agents and Peer-to-Peer Computing [electronic resource] : 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009. Revised Selected Papers / edited by Domenico Beneventano, Zoran Despotovic, Francesco Guerra, Sam Joseph, Gianluca Moro, Adrián Perreau Pinninck. by Beneventano, Domenico [editor.] | Despotovic, Zoran [editor.] | Guerra, Francesco [editor.] | Joseph, Sam [editor.] | Moro, Gianluca [editor.] | Pinninck, Adrián Perreau [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6573Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
