|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7810Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph Grammars and Their Application to Computer Science [electronic resource] : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg. by Cuny, Janice [editor.] | Ehrig, Hartmut [editor.] | Engels, Gregor [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1073Source: 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): .
|
|
|
|
|
Advances in Data and Web Management [electronic resource] : Joint International Conferences, APWeb/WAIM 2009 Suzhou, China, April 2-4, 2009 Proceedings / edited by Qing Li, Ling Feng, Jian Pei, Sean X. Wang, Xiaofang Zhou, Qiao-Ming Zhu. by Li, Qing [editor.] | Feng, Ling [editor.] | Pei, Jian [editor.] | Wang, Sean X [editor.] | Zhou, Xiaofang [editor.] | Zhu, Qiao-Ming [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5446Source: 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): .
|
|
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / edited by Julian Bradfield. by Bradfield, Julian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2471Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach. by James, Phillip [editor.] | Roggenbach, Markus [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10644 | Lecture Notes in Computer Science ; 10644Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2007 [electronic resource] : 8th International Conference on Web Information Systems Engineering Nancy, France, December 3-7, 2007 Proceedings / edited by Boualem Benatallah, Fabio Casati, Dimitrios Georgakopoulos, Claudio Bartolini, Wasim Sadiq, Claude Godart. by Benatallah, Boualem [editor.] | Casati, Fabio [editor.] | Georgakopoulos, Dimitrios [editor.] | Bartolini, Claudio [editor.] | Sadiq, Wasim [editor.] | Godart, Claude [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4831Source: 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 Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers / edited by Uwe Aßmann, Mehmet Aksit, Arend Rensink. by Aßmann, Uwe [editor.] | Aksit, Mehmet [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3599Source: 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): .
|
|
|
|
|
Automata, Languages and Programming [electronic resource] : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca. by Ausiello, Giorgio [editor.] | Dezani-Ciancaglini, Mariangiola [editor.] | Rocca, Simonetta Ronchi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 372Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio. by Vallecillo, Antonio [editor.] | Gray, Jeff [editor.] | Pierantonio, Alfonso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5063Source: 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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró. by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7793Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
