|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Intelligent Agents IV Agent Theories, Architectures, and Languages [electronic resource] : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24–26, 1997 Proceedings / edited by Munindar P. Singh, Anand Rao, Michael J. Wooldridge. by Singh, Munindar P [editor.] | Rao, Anand [editor.] | Wooldridge, Michael J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1365Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Database Technology — EDBT'98 [electronic resource] : 6th International Conference on Extending Database Technology Valencia, Spain, March 23–27, 1998 Proceedings / edited by Hans-Jörg Schek, Gustavo Alonso, Felix Saltor, Isidro Ramos. by Schek, Hans-Jörg [editor.] | Alonso, Gustavo [editor.] | Saltor, Felix [editor.] | Ramos, Isidro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1377Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Cook, Byron [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4349Source: 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): .
|
|
|
|
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings / edited by Thomas A. Henzinger, Shankar Sastry. by Henzinger, Thomas A [editor.] | Sastry, Shankar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1386Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | Rückert, Roland [editor.] | Posegga, Joachim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1385Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition Amsterdam, The Netherlands, April 21–23, 1998 Proceedings / edited by Peter Sloot, Marian Bubak, Bob Hertzberger. by Sloot, Peter [editor.] | Bubak, Marian [editor.] | Hertzberger, Bob [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1401Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|