|
|
|
Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / edited by Alessandro Abate, Sylvie Boldo. by Abate, Alessandro [editor.] | Boldo, Sylvie [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10381 | Lecture Notes in Computer Science ; 10381Edition: 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): .
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / edited by Anthony Bonato, Fan Chung Graham, Paweł Prałat. by Bonato, Anthony [editor.] | Graham, Fan Chung [editor.] | Prałat, Paweł [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10088 | Lecture Notes in Computer Science ; 10088Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Membrane Computing [electronic resource] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron. by Leporati, Alberto [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10105 | Lecture Notes in Computer Science ; 10105Edition: 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): .
|
|
|
|
Advances in Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Li Li. by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Li, Li [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9713 | Lecture Notes in Computer Science ; 9713Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / edited by Jérôme Feret, Heinz Koeppl. by Feret, Jérôme [editor.] | Koeppl, Heinz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 10545 | Lecture Notes in Computer Science ; 10545Edition: 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): .
|
|
|
|
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / edited by Yixin Cao, Jianer Chen. by Cao, Yixin [editor.] | Chen, Jianer [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10392 | Lecture Notes in Computer Science ; 10392Edition: 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): .
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / edited by Mohammad Kaykobad, Rossella Petreschi. by Kaykobad, Mohammad [editor.] | Petreschi, Rossella [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9627 | Lecture Notes in Computer Science ; 9627Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond. by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 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): .
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII [electronic resource] : Special Issue on Big Data Analytics and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sanjay Madria, Takahiro Hara. by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Madria, Sanjay [editor.] | Hara, Takahiro [editor.] | SpringerLink (Online service). Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10420 | Lecture Notes in Computer Science ; 10420Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Swarm Intelligence Based Optimization [electronic resource] : Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot. by Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10103 | Lecture Notes in Computer Science ; 10103Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Transactions on Rough Sets XIX [electronic resource] / edited by James F. Peters, Andrzej Skowron, Dominik Ślȩzak, Hung Son Nguyen, Jan G. Bazan. by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Ślȩzak, Dominik [editor.] | Nguyen, Hung Son [editor.] | Bazan, Jan G [editor.] | SpringerLink (Online service). Series: Transactions on Rough Sets ; 8988 | Lecture Notes in Computer Science ; 8988Edition: 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): .
|
|
|
|
Discrete Geometry for Computer Imagery [electronic resource] : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings / edited by Walter G. Kropatsch, Nicole M. Artner, Ines Janusch. by Kropatsch, Walter G [editor.] | Artner, Nicole M [editor.] | Janusch, Ines [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10502 | Lecture Notes in Computer Science ; 10502Edition: 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): .
|
|
|
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers / edited by Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski. by Berger, Christian [editor.] | Mousavi, Mohammad Reza [editor.] | Wisniewski, Rafael [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10107 | Lecture Notes in Computer Science ; 10107Edition: 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): .
|
|
|
|
Advances in Neural Networks – ISNN 2015 [electronic resource] : 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings / edited by Xiaolin Hu, Yousheng Xia, Yunong Zhang, Dongbin Zhao. by Hu, Xiaolin [editor.] | Xia, Yousheng [editor.] | Zhang, Yunong [editor.] | Zhao, Dongbin [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9377 | Lecture Notes in Computer Science ; 9377Edition: 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): .
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li. by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9528 | Lecture Notes in Computer Science ; 9528Edition: 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): .
|
|
|
|
Artificial Evolution [electronic resource] : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers / edited by Stéphane Bonnevay, Pierrick Legrand, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer. by Bonnevay, Stéphane [editor.] | Legrand, Pierrick [editor.] | Monmarché, Nicolas [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9554 | Lecture Notes in Computer Science ; 9554Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Reachability Problems [electronic resource] : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / edited by Matthew Hague, Igor Potapov. by Hague, Matthew [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10506 | Lecture Notes in Computer Science ; 10506Edition: 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): .
|
|
|
|
Logic and Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / edited by Sujata Ghosh, Sanjiva Prasad. by Ghosh, Sujata [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10119 | Lecture Notes in Computer Science ; 10119Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Interactive Theorem Proving [electronic resource] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. by Blanchette, Jasmin Christian [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9807 | Lecture Notes in Computer Science ; 9807Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|