|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings / edited by Annette Teije, Johanna Völker, Siegfried Handschuh, Heiner Stuckenschmidt, Mathieu d’Acquin, Andriy Nikolov, Nathalie Aussenac-Gilles, Nathalie Hernandez. by Teije, Annette [editor.] | Völker, Johanna [editor.] | Handschuh, Siegfried [editor.] | Stuckenschmidt, Heiner [editor.] | d’Acquin, Mathieu [editor.] | Nikolov, Andriy [editor.] | Aussenac-Gilles, Nathalie [editor.] | Hernandez, Nathalie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7603Source: 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): .
|
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings / edited by Silvana Castano, Panos Vassiliadis, Laks V. Lakshmanan, Mong Li Lee. by Castano, Silvana [editor.] | Vassiliadis, Panos [editor.] | Lakshmanan, Laks V [editor.] | Lee, Mong Li [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7518Source: 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): .
|
|
|
|
|
Conceptual Modeling [electronic resource] : 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings / edited by Paolo Atzeni, David Cheung, Sudha Ram. by Atzeni, Paolo [editor.] | Cheung, David [editor.] | Ram, Sudha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7532Source: 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): .
|
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7571Source: 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): .
|
|
|
|
|
Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers / edited by Francisco Cipolla-Ficarra, Kim Veltman, Domen Verber, Miguel Cipolla-Ficarra, Florian Kammüller. by Cipolla-Ficarra, Francisco [editor.] | Veltman, Kim [editor.] | Verber, Domen [editor.] | Cipolla-Ficarra, Miguel [editor.] | Kammüller, Florian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7547Source: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7609Source: 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): .
|
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7610Source: 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): .
|
|
|
|
|
Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan. by Calinescu, Radu [editor.] | Garlan, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7539Source: 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): .
|
|
|
|
|
Information Computing and Applications [electronic resource] : Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings / edited by Baoxiang Liu, Maode Ma, Jincai Chang. by Liu, Baoxiang [editor.] | Ma, Maode [editor.] | Chang, Jincai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7473Source: 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): .
|
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró. by Schürr, Andy [editor.] | Varró, Dániel [editor.] | Varró, Gergely [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7233Source: 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): .
|
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory. by Eder, Kerstin [editor.] | Lourenço, João [editor.] | Shehory, Onn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7261Source: 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 Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi. by Aoki, Toshiaki [editor.] | Taguchi, Kenji [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7635Source: 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): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu. by Liu, Chengfei [editor.] | Ludwig, Heiko [editor.] | Toumani, Farouk [editor.] | Yu, Qi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7636Source: 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): .
|
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner. by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7628Source: 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): .
|
|
|
|
|
Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt. by Winckler, Marco [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7623Source: 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): .
|
|
|
|
|
Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Gill, Andy [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7257Source: 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): .
|
|
|
|
|
Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / edited by Brian Nielsen, Carsten Weise. by Nielsen, Brian [editor.] | Weise, Carsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7641Source: 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): .
|
|
|
|
|
Advances in Multimedia Information Processing – PCM 2012 [electronic resource] : 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings / edited by Weisi Lin, Dong Xu, Anthony Ho, Jianxin Wu, Ying He, Jianfei Cai, Mohan Kankanhalli, Ming-Ting Sun. by Lin, Weisi [editor.] | Xu, Dong [editor.] | Ho, Anthony [editor.] | Wu, Jianxin [editor.] | He, Ying [editor.] | Cai, Jianfei [editor.] | Kankanhalli, Mohan [editor.] | Sun, Ming-Ting [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7674Source: 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): .
|
|
|
|
|
Multi-Agent Systems [electronic resource] : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers / edited by Massimo Cossentino, Michael Kaisers, Karl Tuyls, Gerhard Weiss. by Cossentino, Massimo [editor.] | Kaisers, Michael [editor.] | Tuyls, Karl [editor.] | Weiss, Gerhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7541Source: 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): .
|
