|
|
|
Software Language Engineering [electronic resource] : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers / edited by Anthony Sloane, Uwe Aßmann. by Sloane, Anthony [editor.] | Aßmann, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6940Source: 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): .
|
|
|
|
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7211Source: 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): .
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Juan Lara, Andrea Zisman. by Lara, Juan [editor.] | Zisman, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7212Source: 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): .
|
|
|
|
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Goodloe, Alwyn E [editor.] | Person, Suzette [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7226Source: 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): .
|
|
|
|
Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, Jürgen Dix, Peter Novák. by Collier, Rem [editor.] | Dix, Jürgen [editor.] | Novák, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6599Source: 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): .
|
|
|
|
|
|
|
|
Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers / edited by Chiaki Sakama, Sebastian Sardina, Wamberto Vasconcelos, Michael Winikoff. by Sakama, Chiaki [editor.] | Sardina, Sebastian [editor.] | Vasconcelos, Wamberto [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7169Source: 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 Computing, Networking and Security [electronic resource] : International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers / edited by P. Santhi Thilagam, Alwyn Roshan Pais, K. Chandrasekaran, N. Balakrishnan. by Thilagam, P. Santhi [editor.] | Pais, Alwyn Roshan [editor.] | Chandrasekaran, K [editor.] | Balakrishnan, N [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7135Source: 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): .
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7141Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday / edited by Alexander Artikis, Robert Craven, Nihan Kesim Çiçekli, Babak Sadighi, Kostas Stathis. by Artikis, Alexander [editor.] | Craven, Robert [editor.] | Kesim Çiçekli, Nihan [editor.] | Sadighi, Babak [editor.] | Stathis, Kostas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7360Source: 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): .
|
|
|
|
|
|
|
|
Reversible Computation [electronic resource] : Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / edited by Alexis Vos, Robert Wille. by Vos, Alexis [editor.] | Wille, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7165Source: 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): .
|
|
|
|
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings / edited by Alexey Vinel, Rashid Mehmood, Marion Berbineau, Cristina Rico Garcia, Chung-Ming Huang, Naveen Chilamkurti. by Vinel, Alexey [editor.] | Mehmood, Rashid [editor.] | Berbineau, Marion [editor.] | Garcia, Cristina Rico [editor.] | Huang, Chung-Ming [editor.] | Chilamkurti, Naveen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7266Source: 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): .
|
|
|
|
Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov. by Clarke, Edmund [editor.] | Virbitskaite, Irina [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7162Source: 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): .
|
|
|
|
Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I / edited by Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael [editor.] | D’Ambra, Pasqua [editor.] | Belloum, Adam [editor.] | Bosilca, George [editor.] | Cannataro, Mario [editor.] | Danelutto, Marco [editor.] | Martino, Beniamino [editor.] | Gerndt, Michael [editor.] | Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | Scott, Stephen L [editor.] | Traff, Jesper Larsson [editor.] | Vallée, Geoffroy [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7155Source: 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): .
|
|
|
|
Euro-Par 2011: Parallel Processing Workshops [electronic resource] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D’Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael [editor.] | D’Ambra, Pasqua [editor.] | Belloum, Adam [editor.] | Bosilca, George [editor.] | Cannataro, Mario [editor.] | Danelutto, Marco [editor.] | Martino, Beniamino [editor.] | Gerndt, Michael [editor.] | Jeannot, Emmanuel [editor.] | Namyst, Raymond [editor.] | Roman, Jean [editor.] | Scott, Stephen L [editor.] | Traff, Jesper Larsson [editor.] | Vallée, Geoffroy [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7156Source: 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): .
|
|
|
|
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings / edited by Tom Schrijvers, Peter Thiemann. by Schrijvers, Tom [editor.] | Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7294Source: 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): .
|