|
|
|
|
|
|
|
|
|
|
|
Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures / edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. by Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3167Source: 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): .
|
|
|
|
Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings / edited by Hee Yong Youn, Minkoo Kim, Hiroyuki Morikawa. by Youn, Hee Yong [editor.] | Kim, Minkoo [editor.] | Morikawa, Hiroyuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4239Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings / edited by Susanne Graf, Michael Schwartzbach. by Graf, Susanne [editor.] | Schwartzbach, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1785Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Performance Evaluation.Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith. by Haverkort, Boudewijn R [editor.] | Bohnenkamp, Henrik C [editor.] | Smith, Connie U [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1786Source: 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): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings / edited by Nancy Lynch, Bruce H. Krogh. by Lynch, Nancy [editor.] | Krogh, Bruce H [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1790Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|