|
|
|
|
Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. by Bernardo, Marco [editor.] | Cortellessa, Vittorio [editor.] | Pierantonio, Alfonso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7320Source: 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): .
|
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Zhen Ji. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Ji, Zhen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7332Source: 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): .
|
|
|
|
|
Persuasive Technology. Design for Health and Safety [electronic resource] : 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings / edited by Magnus Bang, Eva L. Ragnemalm. by Bang, Magnus [editor.] | Ragnemalm, Eva L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7284Source: 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): .
|
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings / edited by Olivier Bodenreider, Bastien Rance. by Bodenreider, Olivier [editor.] | Rance, Bastien [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7348Source: 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): .
|
|
|
|
|
|
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings / edited by Oscar Dieste, Andreas Jedlitschka, Natalia Juristo. by Dieste, Oscar [editor.] | Jedlitschka, Andreas [editor.] | Juristo, Natalia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7343Source: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7334Source: 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): .
|
|
|
|
|
Advanced Research in Applied Artificial Intelligence [electronic resource] : 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings / edited by He Jiang, Wei Ding, Moonis Ali, Xindong Wu. by Jiang, He [editor.] | Ding, Wei [editor.] | Ali, Moonis [editor.] | Wu, Xindong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7345Source: 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): .
|
|
|
|
|
Advanced Information Systems Engineering [electronic resource] : 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings / edited by Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza. by Ralyté, Jolita [editor.] | Franch, Xavier [editor.] | Brinkkemper, Sjaak [editor.] | Wrycza, Stanislaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7328Source: 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): .
|
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson. by Even, Guy [editor.] | Halldórsson, Magnús M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7355Source: 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): .
|
|
|
|
|
Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira. by Gibbons, Jeremy [editor.] | Nogueira, Pablo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7342Source: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7333Source: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7336Source: 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): .
|
|
|
|
|
Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by Haddad, Serge [editor.] | Pomello, Lucia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7347Source: 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): .
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7335Source: 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): .
|
|
|
|
|
Pattern Recognition [electronic resource] : 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings / edited by Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera López, Kim L. Boyer. by Carrasco-Ochoa, Jesús Ariel [editor.] | Martínez-Trinidad, José Francisco [editor.] | Olvera López, José Arturo [editor.] | Boyer, Kim L [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7329Source: 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): .
|
|
|
|
|
|
|
|
|
|
Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E. Fuchs. by Rosner, Michael [editor.] | Fuchs, Norbert E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7175Source: 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): .
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 17th International Conference on Applications of Natural Language to Information Systems, NLDB 2012, Groningen, The Netherlands, June 26-28, 2012. Proceedings / edited by Gosse Bouma, Ashwin Ittoo, Elisabeth Métais, Hans Wortmann. by Bouma, Gosse [editor.] | Ittoo, Ashwin [editor.] | Métais, Elisabeth [editor.] | Wortmann, Hans [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7337Source: 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): .
|
|
|
|
|
Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Victor Pankratius, Michael Philippsen. by Pankratius, Victor [editor.] | Philippsen, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7303Source: 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): .
|
