|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
An Attribute Grammar for the Semantic Analysis of Ada [electronic resource] / edited by Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner. by Uhl, Jürgen [editor.] | Drossopoulou, Sophia [editor.] | Persch, Guido [editor.] | Goos, Gerhard [editor.] | Dausmann, Manfred [editor.] | Winterstein, Georg [editor.] | Kirchgässner, Walter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 139Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Distributed Systems [electronic resource] : Methods and Tools for Specification An Advanced Course / edited by M. Paul, H. J. Siegert, M. W. Alford, J. P. Ansart, G. Hommel, L. Lamport, B. Liskov, G. P. Mullery, F. B. Schneider. by Paul, M [editor.] | Siegert, H. J [editor.] | Alford, M. W [editor.] | Ansart, J. P [editor.] | Hommel, G [editor.] | Lamport, L [editor.] | Liskov, B [editor.] | Mullery, G. P [editor.] | Schneider, F. B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 190Source: 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): .
|
|
|
|
|
|
|
|
|
|
Multimedia Content Representation, Classification and Security [electronic resource] : International Workshop, MRCS 2006, Istanbul, Turkey, September 11-13, 2006. Proceedings / edited by Bilge Gunsel, Anil K. Jain, A. Murat Tekalp, Bülent Sankur. by Gunsel, Bilge [editor.] | Jain, Anil K [editor.] | Tekalp, A. Murat [editor.] | Sankur, Bülent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4105Source: 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): .
|
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003. Proceedings / edited by Thomas Rist, Ruth S. Aylett, Daniel Ballin, Jeff Rickel. by Rist, Thomas [editor.] | Aylett, Ruth S [editor.] | Ballin, Daniel [editor.] | Rickel, Jeff [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2792Source: 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): .
|
|
|
|
|
Text, Speech and Dialogue [electronic resource] : 6th International Conference, TSD 2003, České Budéjovice, Czech Republic, September 8-12, 2003. Proceedings / edited by Václav Matoušek, Pavel Mautner. by Matoušek, Václav [editor.] | Mautner, Pavel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2807Source: 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): .
|
|
|
|
|
Advances in Databases and Information Systems [electronic resource] : 7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003. Proceedings / edited by Leonid Kalinichenko, Rainer Manthey, Bernhard Thalheim, Uwe Wloka. by Kalinichenko, Leonid [editor.] | Manthey, Rainer [editor.] | Thalheim, Bernhard [editor.] | Wloka, Uwe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2798Source: 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): .
|
