|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz. by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7565Source: 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 and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings / edited by Alberto Abelló, Ladjel Bellatreche, Boualem Benatallah. by Abelló, Alberto [editor.] | Bellatreche, Ladjel [editor.] | Benatallah, Boualem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7602Source: 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): .
|
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2012 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II / edited by Robert Meersman, Hervé Panetto, Tharam Dillon, Stefanie Rinderle-Ma, Peter Dadam, Xiaofang Zhou, Siani Pearson, Alois Ferscha, Sonia Bergamaschi, Isabel F. Cruz. by Meersman, Robert [editor.] | Panetto, Hervé [editor.] | Dillon, Tharam [editor.] | Rinderle-Ma, Stefanie [editor.] | Dadam, Peter [editor.] | Zhou, Xiaofang [editor.] | Pearson, Siani [editor.] | Ferscha, Alois [editor.] | Bergamaschi, Sonia [editor.] | Cruz, Isabel F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7566Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings / edited by Frank Ortmeier, Peter Daniel. by Ortmeier, Frank [editor.] | Daniel, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7613Source: 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): .
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe. by Eleftherakis, George [editor.] | Hinchey, Mike [editor.] | Holcombe, Mike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7504Source: 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): .
|
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7505Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
Ambient Intelligence [electronic resource] : Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings / edited by Fabio Paternò, Boris Ruyter, Panos Markopoulos, Carmen Santoro, Evert Loenen, Kris Luyten. by Paternò, Fabio [editor.] | Ruyter, Boris [editor.] | Markopoulos, Panos [editor.] | Santoro, Carmen [editor.] | Loenen, Evert [editor.] | Luyten, Kris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7683Source: 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): .
|
|
|
|
|
Middleware 2012 [electronic resource] : ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings / edited by Priya Narasimhan, Peter Triantafillou. by Narasimhan, Priya [editor.] | Triantafillou, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7662Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7650Source: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist. by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7649Source: 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): .
|
