|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings / edited by Lionel Briand, Clay Williams. by Briand, Lionel [editor.] | Williams, Clay [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3713Source: 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): .
|
|
|
|
|
Genetic Programming [electronic resource] : 6th European Conference, EuroGP 2003 Essex, UK, April 14–16, 2003 Proceedings / edited by Conor Ryan, Terence Soule, Maarten Keijzer, Edward Tsang, Riccardo Poli, Ernesto Costa. by Ryan, Conor [editor.] | Soule, Terence [editor.] | Keijzer, Maarten [editor.] | Tsang, Edward [editor.] | Poli, Riccardo [editor.] | Costa, Ernesto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2610Source: 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): .
|
|
|
|
|
Field-Programmable Logic and Applications [electronic resource] : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / edited by Gordon Brebner, Roger Woods. by Brebner, Gordon [editor.] | Woods, Roger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2147Source: 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): .
|
|
|
|
|
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito. by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1872Source: 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): .
|
|
|
|
|
Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey. by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1861Source: 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): .
|
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users’ Group Meeting Balatonfüred, Hungary, September 10–13, 2000 Proceedings / edited by Jack Dongarra, Peter Kacsuk, Norbert Podhorszki. by Dongarra, Jack [editor.] | Kacsuk, Peter [editor.] | Podhorszki, Norbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1908Source: 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): .
|
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers / edited by Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov. by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2179Source: 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): .
|
|
|
|
|
|
|
|
|
|
Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio. by Nierstrasz, Oscar [editor.] | Whittle, Jon [editor.] | Harel, David [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4199Source: 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): .
|
|
|
|
|
Applied Parallel Computing [electronic resource] : Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings / edited by Juha Fagerholm, Juha Haataja, Jari Järvinen, Mikko Lyly, Peter Råback, Ville Savolainen. by Fagerholm, Juha [editor.] | Haataja, Juha [editor.] | Järvinen, Jari [editor.] | Lyly, Mikko [editor.] | Råback, Peter [editor.] | Savolainen, Ville [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2367Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson. by Noriega, Pablo [editor.] | Vázquez-Salceda, Javier [editor.] | Boella, Guido [editor.] | Boissier, Olivier [editor.] | Dignum, Virginia [editor.] | Fornara, Nicoletta [editor.] | Matson, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4386Source: 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): .
|
|
|
|
|
Conceptual Modeling - ER 2008 [electronic resource] : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings / edited by Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé. by Li, Qing [editor.] | Spaccapietra, Stefano [editor.] | Yu, Eric [editor.] | Olivé, Antoni [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5231Source: 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): .
|
|
|
|
|
|
|
|
|
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings / edited by Matti Ropo, Jan Westerholm, Jack Dongarra. by Ropo, Matti [editor.] | Westerholm, Jan [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5759Source: 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): .
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / edited by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare. by Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Ingólfsdóttir, Anna [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10460 | Lecture Notes in Computer Science ; 10460Edition: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma. by Daydé, Michel [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [editor.] | Palma, José M. L. M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3402Source: 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): .
|
|
|
|
|
|
