|
|
|
Testing of Communicating Systems [electronic resource] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. Proceedings / edited by Roland Groz, Robert M. Hierons. by Groz, Roland [editor.] | Hierons, Robert M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2978Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Science and Its Applications – ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I / edited by Antonio Laganá, Marina L. Gavrilova, Vipin Kumar, Youngsong Mun, C. J. Kenneth Tan, Osvaldo Gervasi. by Laganá, Antonio [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Mun, Youngsong [editor.] | Tan, C. J. Kenneth [editor.] | Gervasi, Osvaldo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3043Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Science and Its Applications – ICCSA 2004 [electronic resource] : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II / edited by Antonio Laganá, Marina L. Gavrilova, Vipin Kumar, Youngsong Mun, C. J. Kenneth Tan, Osvaldo Gervasi. by Laganá, Antonio [editor.] | Gavrilova, Marina L [editor.] | Kumar, Vipin [editor.] | Mun, Youngsong [editor.] | Tan, C. J. Kenneth [editor.] | Gervasi, Osvaldo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3044Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Organic and Pervasive Computing – ARCS 2004 [electronic resource] : International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004. Proceedings / edited by Christian Müller-Schloer, Theo Ungerer, Bernhard Bauer. by Müller-Schloer, Christian [editor.] | Ungerer, Theo [editor.] | Bauer, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2981Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Active Networks [electronic resource] : IFIP-TC6 5th InternationalWorking Conference, IWAN 2003, Kyoto, Japan, December 10-12, 2003. Proceedings / edited by Naoki Wakamiya, Marcin Solarski, James Sterbenz. by Wakamiya, Naoki [editor.] | Solarski, Marcin [editor.] | Sterbenz, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2982Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computational Methods for SNPs and Haplotype Inference [electronic resource] : DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002. Revised Papers / edited by Sorin Istrail, Michael Waterman, Andrew Clark. by Istrail, Sorin [editor.] | Waterman, Michael [editor.] | Clark, Andrew [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2983Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Michel Wermelinger, Tiziana Margaria-Steffen. by Wermelinger, Michel [editor.] | Margaria-Steffen, Tiziana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2984Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Evelyn Duesterwald. by Duesterwald, Evelyn [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2985Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Programming Languages and Systems [electronic resource] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by David Schmidt. by Schmidt, David [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2986Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings / edited by Igor Walukiewicz. by Walukiewicz, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2987Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski. by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2988Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers / edited by René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther. by Alt, René [editor.] | Frommer, Andreas [editor.] | Kearfott, R. Baker [editor.] | Luther, Wolfram [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2991Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Database Technology - EDBT 2004 [electronic resource] : 9th International Conference on Extending Database Technology, Heraklion, Crete, Greece, March 14-18, 2004 / edited by Elisa Bertino, Stavros Christodoulakis, Dimitris Plexousakis, Vassilis Christophides, Manolis Koubarakis, Klemens Böhm, Elena Ferrari. by Bertino, Elisa [editor.] | Christodoulakis, Stavros [editor.] | Plexousakis, Dimitris [editor.] | Christophides, Vassilis [editor.] | Koubarakis, Manolis [editor.] | Böhm, Klemens [editor.] | Ferrari, Elena [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2992Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings / edited by Rajeev Alur, George J. Pappas. by Alur, Rajeev [editor.] | Pappas, George J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2993Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Trust Management [electronic resource] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004. Proceedings / edited by Christian Jensen, Stefan Poslad, Theo Dimitrakos. by Jensen, Christian [editor.] | Poslad, Stefan [editor.] | Dimitrakos, Theo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2995Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Advances in Information Retrieval [electronic resource] : 26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004. Proceedings / edited by Sharon McDonald, John Tait. by McDonald, Sharon [editor.] | Tait, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2997Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|