|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : Second International Conference, FASE’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Jean-Pierre Finance. by Finance, Jean-Pierre [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1577Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran. by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Compiler Construction [electronic resource] : 8th International Conference, CC’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings / edited by Stefan Jähnichen. by Jähnichen, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1575Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings / edited by Jörg P. Müller, Anand S. Rao, Munindar P. Singh. by Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1555Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Recent Trends in Data Type Specification [electronic resource] : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers / edited by Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki. by Astesiano, Egidio [editor.] | Reggio, Gianna [editor.] | Tarlecki, Andrzej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 906Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli. by Roever, Willem-Paul [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1536Source: 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): .
|
|
|
|
|
|
|
|
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 915Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computing in Object-Oriented Parallel Environments [electronic resource] : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings / edited by Denis Caromel, Rodney R. Oldehoeft, Marydell Tholburn. by Caromel, Denis [editor.] | Oldehoeft, Rodney R [editor.] | Tholburn, Marydell [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1505Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|