|
|
|
|
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic. by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1939Source: 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): .
|
|
|
|
|
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools [electronic resource] : 4th International Conference Toronto, Canada, October 1–5, 2001 Proceedings / edited by Martin Gogolla, Cris Kobryn. by Gogolla, Martin [editor.] | Kobryn, Cris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2185Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
≪UML≫ 2002 — The Unified Modeling Language [electronic resource] : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings / edited by Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook. by Jézéquel, Jean-Marc [editor.] | Hussmann, Heinrich [editor.] | Cook, Stephen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2460Source: 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): .
|
|
|
|
|
|
|
|
|
|
«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings / edited by Perdita Stevens, Jon Whittle, Grady Booch. by Stevens, Perdita [editor.] | Whittle, Jon [editor.] | Booch, Grady [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2863Source: 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): .
|
|
|
|
|
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor. by Baar, Thomas [editor.] | Strohmeier, Alfred [editor.] | Moreira, Ana [editor.] | Mellor, Stephen J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3273Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Abstract State Machines 2003 [electronic resource] : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene. by Börger, Egon [editor.] | Gargantini, Angelo [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2589Source: 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): .
|
|
|
|
|
Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / edited by Wolf Zimmermann, Bernhard Thalheim. by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3052Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9675 | Lecture Notes in Computer Science ; 9675Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Börger, Egon [editor.] | Butler, Michael [editor.] | Bowen, Jonathan P [editor.] | Boca, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5238Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Abstract State Machines - Theory and Applications [electronic resource] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele. by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Active and Programmable Networks [electronic resource] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers / edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden. by Hutchison, David [editor.] | Denazis, Spyros [editor.] | Lefevre, Laurent [editor.] | Minden, Gary J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4388Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Active Networks [electronic resource] : IFIP-TC6 5th InternationalWorking Conference, IWAN 2003, Kyoto, Japan, December 10-12, 2003. Proceedings / edited by Naoki Wakamiya, Marcin Solarski, James Sterbenz. by Wakamiya, Naoki [editor.] | Solarski, Marcin [editor.] | Sterbenz, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2982Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Active Networks [electronic resource] : IFIP-TC6 4th International Working Conference, IWAN 2002 Zurich, Switzerland, December 4–6, 2002 Proceedings / edited by James Sterbenz, Osamu Takada, Christian Tschudin, Bernhard Plattner. by Sterbenz, James [editor.] | Takada, Osamu [editor.] | Tschudin, Christian [editor.] | Plattner, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2546Source: 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): .
|
|
|
|
|
|
