|
|
|
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen [editor.] | Li, Wei [editor.] | Znati, Taieb [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4138Source: 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): .
|
|
|
|
FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4085Source: 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): .
|
|
|
|
Ad-Hoc, Mobile, and Wireless Networks [electronic resource] : 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings / edited by Thomas Kunz, S. S. Ravi. by Kunz, Thomas [editor.] | Ravi, S. S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4104Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas [editor.] | Jones, Robert B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4144Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Software Engineering [electronic resource] : An Advanced Course / edited by F. L. Bauer, J. B. Dennis, W. M. Waite, C. C. Gotlieb, R. M. Graham, M. Griffiths, H. J. Helms, B. Morton, P. C. Poole, D. Tsichritzis. by Bauer, F. L [editor.] | Dennis, J. B [editor.] | Waite, W. M [editor.] | Gotlieb, C. C [editor.] | Graham, R. M [editor.] | Griffiths, M [editor.] | Helms, H. J [editor.] | Morton, B [editor.] | Poole, P. C [editor.] | Tsichritzis, D [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 30Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings / edited by Hermann Meer, James P. G. Sterbenz. by Meer, Hermann [editor.] | Sterbenz, James P. G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4124Source: 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): .
|
|
|
|
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4147Source: 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 Plan-Based Control of Robotic Agents [electronic resource] : International Seminar Dagstuhl Castle, Germany, October 21–26, 2001 Revised Papers / edited by Michael Beetz, Joachim Hertzberg, Malik Ghallab, Martha E. Pollack. by Beetz, Michael [editor.] | Hertzberg, Joachim [editor.] | Ghallab, Malik [editor.] | Pollack, Martha E [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2466Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Nagel, Wolfgang E [editor.] | Walter, Wolfgang V [editor.] | Lehner, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4128Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Secure Mobile Ad-hoc Networks and Sensors [electronic resource] : First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers / edited by Mike Burmester, Alec Yasinsac. by Burmester, Mike [editor.] | Yasinsac, Alec [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4074Source: 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): .
|
|
|
|
|
|
|
|
|