|
|
|
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): .
|
|
|
|
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): .
|
|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings / edited by Xinbing Wang, Rong Zheng, Tao Jing, Kai Xing. by Wang, Xinbing [editor.] | Zheng, Rong [editor.] | Jing, Tao [editor.] | Xing, Kai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7405Source: 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 - ICSOC 2011 Workshops [electronic resource] : ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers / edited by George Pallis, Mohamed Jmaiel, Anis Charfi, Sven Graupner, Yücel Karabulut, Sam Guinea, Florian Rosenberg, Quan Z. Sheng, Cesare Pautasso, Sonia Mokhtar. by Pallis, George [editor.] | Jmaiel, Mohamed [editor.] | Charfi, Anis [editor.] | Graupner, Sven [editor.] | Karabulut, Yücel [editor.] | Guinea, Sam [editor.] | Rosenberg, Florian [editor.] | Sheng, Quan Z [editor.] | Pautasso, Cesare [editor.] | Mokhtar, Sonia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7221Source: 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): .
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini. by Dennis, Louise [editor.] | Boissier, Olivier [editor.] | Bordini, Rafael H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7217Source: 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): .
|
|
|
|
Speech, Sound and Music Processing: Embracing Research in India [electronic resource] : 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers / edited by Sølvi Ystad, Mitsuko Aramaki, Richard Kronland-Martinet, Kristoffer Jensen, Sanghamitra Mohanty. by Ystad, Sølvi [editor.] | Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Jensen, Kristoffer [editor.] | Mohanty, Sanghamitra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7172Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer. by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7241Source: 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 for Educational Games and Simulations [electronic resource] : International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers / edited by Martin Beer, Cyril Brom, Frank Dignum, Von-Wun Soo. by Beer, Martin [editor.] | Brom, Cyril [editor.] | Dignum, Frank [editor.] | Soo, Von-Wun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7471Source: 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): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty. by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7406Source: 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): .
|
|
|
|
Business System Management and Engineering [electronic resource] : From Open Issues to Applications / edited by Claudio A. Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin. by Ardagna, Claudio A [editor.] | Damiani, Ernesto [editor.] | Maciaszek, Leszek A [editor.] | Missikoff, Michele [editor.] | Parkin, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7350Source: 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 for Industrial Critical Systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings / edited by Mariëlle Stoelinga, Ralf Pinger. by Stoelinga, Mariëlle [editor.] | Pinger, Ralf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7437Source: 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): .
|
|
|
|
Foundational and Practical Aspects of Resource Analysis [electronic resource] : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / edited by Ricardo Peña, Marko Eekelen, Olha Shkaravska. by Peña, Ricardo [editor.] | Eekelen, Marko [editor.] | Shkaravska, Olha [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7177Source: 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): .
|
|
|
|
ICT as Key Technology against Global Warming [electronic resource] : Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings / edited by Axel Auweter, Dieter Kranzlmüller, Amirreza Tahamtan, A Min Tjoa. by Auweter, Axel [editor.] | Kranzlmüller, Dieter [editor.] | Tahamtan, Amirreza [editor.] | Tjoa, A Min [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7453Source: 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): .
|
|
|
|
Cooperative Design, Visualization, and Engineering [electronic resource] : 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7467Source: 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): .
|