|
|
|
|
Mathematical Foundations of Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 Volume 1: Colloquium on Trees in Algebra and Programming (CAAP' 85) / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 185Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High Performance Computing and Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller. by Gerndt, Michael [editor.] | Kranzlmüller, Dieter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4208Source: 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): .
|
|
|
|
|
Group Communications and Charges. Technology and Business Models [electronic resource] : 5th COST 264 International Workshop on Networked Group Communications, NGC 2003 and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003. Proceedings / edited by Burkhard Stiller, Georg Carle, Martin Karsten, Peter Reichl. by Stiller, Burkhard [editor.] | Carle, Georg [editor.] | Karsten, Martin [editor.] | Reichl, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2816Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings / edited by Xingming Zhou, Ming Xu, Stefan Jähnichen, Jiannong Cao. by Zhou, Xingming [editor.] | Xu, Ming [editor.] | Jähnichen, Stefan [editor.] | Cao, Jiannong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2834Source: 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): .
|
|
|
|
|
Database and XML Technologies [electronic resource] : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 8, 2003, Proceedings / edited by Zohra Bellahsène, Akmal B. Chaudhri, Erhard Rahm, Michael Rys, Rainer Unland. by Bellahsène, Zohra [editor.] | Chaudhri, Akmal B [editor.] | Rahm, Erhard [editor.] | Rys, Michael [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2824Source: 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): .
|
|
|
|
|
RIMS Symposia on Software Science and Engineering [electronic resource] : Kyoto, 1982 Proceedings / edited by Eiichi Goto, Koichi Furukawa, Reiji Nakajima, Ikuo Nakata, Akinori Yonezawa. by Goto, Eiichi [editor.] | Furukawa, Koichi [editor.] | Nakajima, Reiji [editor.] | Nakata, Ikuo [editor.] | Yonezawa, Akinori [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 147Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel. by Alferes, Jóse Júlio [editor.] | Bailey, James [editor.] | May, Wolfgang [editor.] | Schwertel, Uta [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4187Source: 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] : Second International Conference, ADHOC-NOW2003, Montreal, Canada, October 8-10, 2003. Proceedings / edited by Samuel Pierre, Michel Barbeau, Evangelos Kranakis. by Pierre, Samuel [editor.] | Barbeau, Michel [editor.] | Kranakis, Evangelos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2865Source: 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): .
|
|
|
|
|
UbiComp 2006: Ubiquitous Computing [electronic resource] : 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings / edited by Paul Dourish, Adrian Friday. by Dourish, Paul [editor.] | Friday, Adrian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4206Source: 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): .
|
|
|
|
|
Mobile Agents for Telecommunication Applications [electronic resource] : 5th InternationalWorkshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003. Proceedings / edited by Eric Horlait, Thomas Magedanz, Roch H. Glitho. by Horlait, Eric [editor.] | Magedanz, Thomas [editor.] | Glitho, Roch H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2881Source: 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): .
|
|
|
|
|
Conceptual Modeling - ER 2003 [electronic resource] : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003. Proceedings / edited by Il-Yeol Song, Stephen W. Liddle, Tok-Wang Ling, Peter Scheuermann. by Song, Il-Yeol [editor.] | Liddle, Stephen W [editor.] | Ling, Tok-Wang [editor.] | Scheuermann, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2813Source: 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): .
|
|
|
|
|
UbiComp 2003: Ubiquitous Computing [electronic resource] : 5th International Conference, Seattle, WA, USA, October 12-15, 2003. Proceedings / edited by Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy. by Dey, Anind K [editor.] | Schmidt, Albrecht [editor.] | McCarthy, Joseph F [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2864Source: 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): .
|
