|
|
|
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Dunne, Steve [editor.] | Stoddart, Bill [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4010Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Codes for Boundary-Value Problems in Ordinary Differential Equations [electronic resource] : Proceedings of a Working Conference May 14–17, 1978 / edited by B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson. by Childs, B [editor.] | Scott, M [editor.] | Daniel, J. W [editor.] | Denman, E [editor.] | Nelson, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 76Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto [editor.] | Wehrheim, Heike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4037Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in XML Information Retrieval and Evaluation [electronic resource] : 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers / edited by Norbert Fuhr, Mounia Lalmas, Saadia Malik, Gabriella Kazai. by Fuhr, Norbert [editor.] | Lalmas, Mounia [editor.] | Malik, Saadia [editor.] | Kazai, Gabriella [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3977Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Studies of Information Processing [electronic resource] : Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978 / edited by E. K. Blum, M. Paul, S. Takasu. by Blum, E. K [editor.] | Paul, M [editor.] | Takasu, S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 75Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi. by Abrahamsson, Pekka [editor.] | Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4044Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor. by Eliassen, Frank [editor.] | Montresor, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4025Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Public Key Infrastructure [electronic resource] : Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings / edited by Andrea S. Atzeni, Antonio Lioy. by Atzeni, Andrea S [editor.] | Lioy, Antonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4043Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings / edited by Ralf Reulke, Ulrich Eckardt, Boris Flach, Uwe Knauer, Konrad Polthier. by Reulke, Ralf [editor.] | Eckardt, Ulrich [editor.] | Flach, Boris [editor.] | Knauer, Uwe [editor.] | Polthier, Konrad [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4040Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings / edited by Siu-Wing Cheng, Chung Keung Poon. by Cheng, Siu-Wing [editor.] | Poon, Chung Keung [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4041Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006. Proceedings / edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan. by Ikeda, Mitsuru [editor.] | Ashley, Kevin D [editor.] | Chan, Tak-Wai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4053Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers / edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda. by Boissier, Olivier [editor.] | Padget, Julian [editor.] | Dignum, Virginia [editor.] | Lindemann, Gabriela [editor.] | Matson, Eric [editor.] | Ossowski, Sascha [editor.] | Sichman, Jaime Simão [editor.] | Vázquez-Salceda, Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3913Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Web-Age Information Management [electronic resource] : 7th International Conference, WAIM 2006, Hong Kong, China, June 17-19, 2006. Proceedings / edited by Jeffrey Xu Yu, Masaru Kitsuregawa, Hong Va Leong. by Yu, Jeffrey Xu [editor.] | Kitsuregawa, Masaru [editor.] | Leong, Hong Va [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4016Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings / edited by Phillip B. Gibbons, Tarek Abdelzaher, James Aspnes, Ramesh Rao. by Gibbons, Phillip B [editor.] | Abdelzaher, Tarek [editor.] | Aspnes, James [editor.] | Rao, Ramesh [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4026Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Learning Theory [electronic resource] : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings / edited by Gábor Lugosi, Hans Ulrich Simon. by Lugosi, Gábor [editor.] | Simon, Hans Ulrich [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4005Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|