|
|
|
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): .
|
|
|
|
|
|
|
|
Life System Modeling and Intelligent Computing [electronic resource] : International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II / edited by Kang Li, Minrui Fei, Li Jia, George W. Irwin. by Li, Kang [editor.] | Fei, Minrui [editor.] | Jia, Li [editor.] | Irwin, George W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6329Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Geometrical and Statistical Aspects of Probability in Banach Spaces [electronic resource] : Actes des Journées SMF de Calcul des Probabilités dans les Espaces de Banach, organisées à Strasbourg les 19 et 20 juin 1985 / edited by Xavier Fernique, Bernard Heinkel, Paul-André Meyer, Michael B. Marcus. by Fernique, Xavier [editor.] | Heinkel, Bernard [editor.] | Meyer, Paul-André [editor.] | Marcus, Michael B [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 1193Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Performance Evaluation Modelling Techniques and Tools [electronic resource] : 9th International Conference St. Malo, France, June 3–6, 1997 Proceedings / edited by Raymond Marie, Brigitte Plateau, Maria Calzarossa, Gerardo Rubino. by Marie, Raymond [editor.] | Plateau, Brigitte [editor.] | Calzarossa, Maria [editor.] | Rubino, Gerardo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1245Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings / edited by Vladimír Mařík, Robert Brennan, Michal Pěchouček. by Mařík, Vladimír [editor.] | Brennan, Robert [editor.] | Pěchouček, Michal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3593Source: 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): .
|
|
|
|
Distributed Computing – IWDC 2005 [electronic resource] : 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings / edited by Ajit Pal, Ajay D. Kshemkalyani, Rajeev Kumar, Arobinda Gupta. by Pal, Ajit [editor.] | Kshemkalyani, Ajay D [editor.] | Kumar, Rajeev [editor.] | Gupta, Arobinda [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3741Source: 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): .
|
|
|
|
|
|
|
|
Neural Nets [electronic resource] : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003. Revised Papers / edited by Bruno Apolloni, Maria Marinaro, Roberto Tagliaferri. by Apolloni, Bruno [editor.] | Marinaro, Maria [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2859Source: 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): .
|
|
|
|
Algorithms [electronic resource] : International Symposium SIGAL '90 Tokyo, Japan, August 16–18, 1990 Proceedings / edited by Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao Nishizeki. by Asano, Tetsuo [editor.] | Ibaraki, Toshihide [editor.] | Imai, Hiroshi [editor.] | Nishizeki, Takao [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 450Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|