|
|
|
High-Speed Networks and Multimedia Communications [electronic resource] : 6th IEEE International Conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003. Proceedings / edited by Mário M. Freire, Pascal Lorenz, Mike Myung-Ok Lee. by Freire, Mário M [editor.] | Lorenz, Pascal [editor.] | Lee, Mike Myung-Ok [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2720Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Symbolic and Numerical Scientific Computation [electronic resource] : Second International Conference, SNSC 2001, Hagenberg, Austria, September 12–14, 2001. Revised Papers / edited by Franz Winkler, Ulrich Langer. by Winkler, Franz [editor.] | Langer, Ulrich [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2630Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings / edited by Manfred Nagl, Andreas Schürr, Manfred Münch. by Nagl, Manfred [editor.] | Schürr, Andreas [editor.] | Münch, Manfred [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1779Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000 Montréal, Canada, June 19–23, 2000 Proceedings / edited by Gilles Gauthier, Claude Frasson, Kurt VanLehn. by Gauthier, Gilles [editor.] | Frasson, Claude [editor.] | VanLehn, Kurt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1839Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Information Assurance in Computer Networks [electronic resource] : Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings / edited by Vladimir I. Gorodetski, Victor A. Skormin, Leonard J. Popyack. by Gorodetski, Vladimir I [editor.] | Skormin, Victor A [editor.] | Popyack, Leonard J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2052Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings / edited by Frank Maurer, Don Wells. by Maurer, Frank [editor.] | Wells, Don [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2753Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff. by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2758Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears. by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|