|
|
|
|
CONPAR 86 [electronic resource] : Conference on Algorithms and Hardware for Parallel Processing Aachen, September 17–19, 1986 Proceedings / edited by Wolfgang Händler, Dieter Haupt, Rolf Jeltsch, Wilfried Juling, Otto Lange. by Händler, Wolfgang [editor.] | Haupt, Dieter [editor.] | Jeltsch, Rolf [editor.] | Juling, Wilfried [editor.] | Lange, Otto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 237Source: 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): .
|
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 4th International Conference, ICES 2001 Tokyo, Japan, October 3–5, 2001 Proceedings / edited by Yong Liu, Kiyoshi Tanaka, Masaya Iwata, Tetsuya Higuchi, Moritoshi Yasunaga. by Liu, Yong [editor.] | Tanaka, Kiyoshi [editor.] | Iwata, Masaya [editor.] | Higuchi, Tetsuya [editor.] | Yasunaga, Moritoshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2210Source: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / edited by T. C. Nicholas Graham, Philippe Palanque. by Graham, T. C. Nicholas [editor.] | Palanque, Philippe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5136Source: 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): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings / edited by Paul P. Maglio, Mathias Weske, Jian Yang, Marcelo Fantinato. by Maglio, Paul P [editor.] | Weske, Mathias [editor.] | Yang, Jian [editor.] | Fantinato, Marcelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6470Source: 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 trends in Hopf algebra theory : [electronic resource] Proceedings of the Colloquium on Quantum Groups and Hopf Algebras, La Falda, Sierras de C�ordoba, Argentina, August 9-13, 1999 / Nicol�as Andruskiewitsch, Walter Ricardo Ferrer Santos, Hans-J�urgen Schneider, editors. by Colloquium on Quantum Groups and Hopf Algebras (1999 : La Falda, C�ordoba, Argentina) | Andruskiewitsch, Nicol�as, 1958- | Ferrer Santos, Walter Ricardo | Schneider, Hans-J�urgen, 1944-. Series: Contemporary mathematics (American Mathematical Society) ; v. 267.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, RI : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
In the tradition of Ahlfors and Bers, III : [electronic resource] the Ahlfors-Bers Colloquium, October 18-21, 2001, University of Connecticut at Storrs / William Abikoff, Andrew Haas, editors. by Ahlfors-Bers Colloquium (3rd : 2001 : University of Connecticut at Storrs) | Abikoff, William | Haas, Andrew, 1954-. Series: Contemporary mathematics (American Mathematical Society) ; v. 355.Material type: Text;Language: English; Format:
available online
; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Ambedkar Writings & Speeches Narendra Jadhav, Ed. by Jadhav, Narendra. ;Language: English Language: English Publication details: New Delhi Konark Publishers 2016Availability: Items available for loan: IMSc Library (5). Location(s): Second Floor, Rack No: 61, Shelf No: 7 Call number: 94(54) JAD.
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings / edited by Marc Dacier, Michael Bailey, Michalis Polychronakis, Manos Antonakakis. by Dacier, Marc [editor.] | Bailey, Michael [editor.] | Polychronakis, Michalis [editor.] | Antonakakis, Manos [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10453 | Lecture Notes in Computer Science ; 10453Edition: 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): .
|
|
|
|
|
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges [electronic resource] : 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young. by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8896 | Lecture Notes in Computer Science ; 8896Edition: 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): .
|
|
|
|
|
Service-Oriented and Cloud Computing [electronic resource] : 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen. by De Paoli, Flavio [editor.] | Schulte, Stefan [editor.] | Broch Johnsen, Einar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10465 | Lecture Notes in Computer Science ; 10465Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Distributed Computing and Networking [electronic resource] : 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings / edited by Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura. by Chaudhuri, Soma [editor.] | Das, Samir R [editor.] | Paul, Himadri S [editor.] | Tirthapura, Srikanta [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4308Source: 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): .
|
|
|
|
|
Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Ronald Chung, Riad Hammoud, Muhammad Hussain, Tan Kar-Han, Roger Crawfis, Daniel Thalmann, David Kao, Lisa Avila. by Bebis, George [editor.] | Boyle, Richard [editor.] | Parvin, Bahram [editor.] | Koracin, Darko [editor.] | Chung, Ronald [editor.] | Hammoud, Riad [editor.] | Hussain, Muhammad [editor.] | Kar-Han, Tan [editor.] | Crawfis, Roger [editor.] | Thalmann, Daniel [editor.] | Kao, David [editor.] | Avila, Lisa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6453Source: 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): .
|
|
|
|
|
Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Guo, Chengan [editor.] | Hou, Zeng-Guang [editor.] | Zeng, Zhigang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7951Source: 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): .
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li. by Cai, Jin-Yi [editor.] | Cooper, S. Barry [editor.] | Li, Angsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3959Source: 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): .
|
|
|
|
|
|
|
|
|
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. by Müller-Clostermann, Bruno [editor.] | Echtle, Klaus [editor.] | Rathgeb, Erwin P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5987Source: 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): .
|
|
|
|
|
|
|
|
|
|
|
