|
|
|
|
Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / edited by Oleg Sokolsky, Serdar Taşıran. by Sokolsky, Oleg [editor.] | Taşıran, Serdar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4839Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings / edited by Paul Hudak, David S. Warren. by Hudak, Paul [editor.] | Warren, David S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4902Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers / edited by Mitsu Okada, Ichiro Satoh. by Okada, Mitsu [editor.] | Satoh, Ichiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4435Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Declarative Agent Languages and Technologies V [electronic resource] : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo [editor.] | Son, Tran Cao [editor.] | Riemsdijk, M. Birna [editor.] | Winikoff, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4897Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford. by Overhage, Sven [editor.] | Szyperski, Clemens A [editor.] | Reussner, Ralf [editor.] | Stafford, Judith A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4880Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / edited by Sven Hartmann, Gabriele Kern-Isberner. by Hartmann, Sven [editor.] | Kern-Isberner, Gabriele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4932Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko. by Tuyls, Karl [editor.] | Nowe, Ann [editor.] | Guessoum, Zahia [editor.] | Kudenko, Daniel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4865Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. by Logozzo, Francesco [editor.] | Peled, Doron A [editor.] | Zuck, Lenore D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4905Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / edited by Roberto Amadio. by Amadio, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4962Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cédric Fournet. by Barthe, Gilles [editor.] | Fournet, Cédric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by Sophia Drossopoulou. by Drossopoulou, Sophia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4960Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by José Luiz Fiadeiro, Paola Inverardi. by Fiadeiro, José Luiz [editor.] | Inverardi, Paola [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4961Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings / edited by Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria. by Laber, Eduardo Sany [editor.] | Bornstein, Claudson [editor.] | Nogueira, Loana Tito [editor.] | Faria, Luerbio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4957Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter. by Pautasso, Cesare [editor.] | Tanter, Éric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4954Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / edited by Laurie Hendren. by Hendren, Laurie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4959Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Ramakrishnan, C. R [editor.] | Rehof, Jakob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4963Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
