|
|
|
Agent-Mediated Electronic Commerce V. Designing Mechanisms and Systems [electronic resource] : AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15, 2003, Revised Selected Papers / edited by Peyman Faratin, David C. Parkes, Juan A. Rodríguez-Aguilar, William E. Walsh. by Faratin, Peyman [editor.] | Parkes, David C [editor.] | Rodríguez-Aguilar, Juan A [editor.] | Walsh, William E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3048Source: 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): .
|
|
|
|
Mathematical Knowledge Management [electronic resource] : Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec. by Asperti, Andrea [editor.] | Bancerek, Grzegorz [editor.] | Trybulec, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3119Source: 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): .
|
|
|
|
|
|
|
|
System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / edited by Daniel Amyot, Alan W. Williams. by Amyot, Daniel [editor.] | Williams, Alan W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3319Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Law and the Semantic Web [electronic resource] : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications / edited by V. Richard Benjamins, Pompeu Casanovas, Joost Breuker, Aldo Gangemi. by Benjamins, V. Richard [editor.] | Casanovas, Pompeu [editor.] | Breuker, Joost [editor.] | Gangemi, Aldo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3369Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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): .
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Program Construction [electronic resource] : International Summer School / edited by Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner. by Bauer, Friedrich L [editor.] | Broy, Manfred [editor.] | Dijkstra, E. W [editor.] | Gerhart, S. L [editor.] | Gries, D [editor.] | Griffiths, M [editor.] | Guttag, J. V [editor.] | Horning, J. J [editor.] | Owicki, S. S [editor.] | Pair, C [editor.] | Partsch, H [editor.] | Pepper, P [editor.] | Wirsing, M [editor.] | Wössner, H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 69Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : Fifth Colloquium, Udine, Italy, July 17–21, 1978 / edited by Giorgio Ausiello, Corrado Böhm. by Ausiello, Giorgio [editor.] | Böhm, Corrado [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 62Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1978Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|