|
|
|
|
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings / edited by Hubert Baumeister, Michele Marchesi, Mike Holcombe. by Baumeister, Hubert [editor.] | Marchesi, Michele [editor.] | Holcombe, Mike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3556Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
UML Modeling Languages and Applications [electronic resource] : < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez. by Jardim Nunes, Nuno [editor.] | Selic, Bran [editor.] | Rodrigues da Silva, Alberto [editor.] | Toval Alvarez, Ambrosio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3297Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advanced Parallel Processing Technologies [electronic resource] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu. by Cao, Jiannong [editor.] | Nejdl, Wolfgang [editor.] | Xu, Ming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3756Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns. by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4137Source: 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): .
|
|
|
|
|
|
|
|
|
|
FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings / edited by Keijiro Araki, Stefania Gnesi, Dino Mandrioli. by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2805Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1708Source: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
|
|
|
|
|
Applied Parallel Computing Computations in Physics, Chemistry and Engineering Science [electronic resource] : Second International Workshop, PARA '95 Lyngby, Denmark, August 21–24, 1995 Proceedings / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski. by Dongarra, Jack [editor.] | Madsen, Kaj [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1041Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang. by Perrott, Ronald [editor.] | Chapman, Barbara M [editor.] | Subhlok, Jaspal [editor.] | Mello, Rodrigo Fernandes [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4782Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings / edited by Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter. by Czarnecki, Krzysztof [editor.] | Ober, Ileana [editor.] | Bruel, Jean-Michel [editor.] | Uhl, Axel [editor.] | Völter, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5301Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Security – ESORICS 2010 [electronic resource] : 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings / edited by Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou. by Gritzalis, Dimitris [editor.] | Preneel, Bart [editor.] | Theoharidou, Marianthi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6345Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen. by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6394Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand. by Parsons, Jeffrey [editor.] | Saeki, Motoshi [editor.] | Shoval, Peretz [editor.] | Woo, Carson [editor.] | Wand, Yair [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6412Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings / edited by Chenyang Lu, Toshimitsu Masuzawa, Mohamed Mosbah. by Lu, Chenyang [editor.] | Masuzawa, Toshimitsu [editor.] | Mosbah, Mohamed [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6490Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
