|
|
|
Modeling and Using Context [electronic resource] : Second International and Interdisciplinary Conference,CONTEXT’99 Trento, Italy, September 9–11, 1999 Proceedings / edited by Paolo Bouquet, Massimo Benerecetti, Luciano Serafini, Patrick Brézillon, Francesca Castellani. by Bouquet, Paolo [editor.] | Benerecetti, Massimo [editor.] | Serafini, Luciano [editor.] | Brézillon, Patrick [editor.] | Castellani, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1688Source: 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): .
|
|
|
|
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran. by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Artificial Life [electronic resource] : Third European Conference on Artificial Life Granada, Spain, June 4–6, 1995 Proceedings / edited by Federico Morán, Alvaro Moreno, Juan Julián Merelo, Pablo Chacón. by Morán, Federico [editor.] | Moreno, Alvaro [editor.] | Merelo, Juan Julián [editor.] | Chacón, Pablo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 929Source: 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): .
|
|
|
|
Practical Reasoning [electronic resource] : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach. by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085Source: 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): .
|
|
|
|
Pattern Recognition and Image Analysis [electronic resource] : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II / edited by Joan Martí, José Miguel Benedí, Ana Maria Mendonça, Joan Serrat. by Martí, Joan [editor.] | Benedí, José Miguel [editor.] | Mendonça, Ana Maria [editor.] | Serrat, Joan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4478Source: 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): .
|
|
|
|
Modeling and Using Context [electronic resource] : 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings / edited by Boicho Kokinov, Daniel C. Richardson, Thomas R. Roth-Berghofer, Laure Vieu. by Kokinov, Boicho [editor.] | Richardson, Daniel C [editor.] | Roth-Berghofer, Thomas R [editor.] | Vieu, Laure [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4635Source: 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): .
|
|
|
|
|
|
|
|
Times of Convergence. Technologies Across Learning Contexts [electronic resource] : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings / edited by Pierre Dillenbourg, Marcus Specht. by Dillenbourg, Pierre [editor.] | Specht, Marcus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5192Source: 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): .
|
|
|
|
User Modeling, Adaptation, and Personalization [electronic resource] : 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings / edited by Geert-Jan Houben, Gord McCalla, Fabio Pianesi, Massimo Zancanaro. by Houben, Geert-Jan [editor.] | McCalla, Gord [editor.] | Pianesi, Fabio [editor.] | Zancanaro, Massimo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5535Source: 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): .
|
|
|
|
|
|
|
|
Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr. by Ehrig, Hartmut [editor.] | Rensink, Arend [editor.] | Rozenberg, Grzegorz [editor.] | Schürr, Andy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6372Source: 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): .
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by Motomura, Yoichi [editor.] | Butler, Alastair [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7856Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra. by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2331Source: 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): .
|
|
|
|
Bioinformatics and Biomedical Engineering [electronic resource] : Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part I / edited by Francisco Ortuño, Ignacio Rojas. by Ortuño, Francisco [editor.] | Rojas, Ignacio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9043 | Lecture Notes in Computer Science ; 9043Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings / edited by Johan Lilius, Wojciech Penczek. by Lilius, Johan [editor.] | Penczek, Wojciech [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6128Source: 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): .
|
|
|
|
Asymptotic Modelling in Fluid Mechanics [electronic resource] : Proceedings of a Symposiym in Honour of Professor Jean-Pierre Guiraud Held at the Université Pierre et Marie Curie, Paris, France, 20–22 April 1994 / edited by Pierre-Antoine Bois, Emmanuel Dériat, Renée Gatignol, Alain Rigolot. by Bois, Pierre-Antoine [editor.] | Dériat, Emmanuel [editor.] | Gatignol, Renée [editor.] | Rigolot, Alain [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 442Source: 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): .
|
|
|
|
|