|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 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 Alexander Egyed, Ina Schaefer. by Egyed, Alexander [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9033 | Lecture Notes in Computer Science ; 9033Edition: 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): .
|
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9394 | Lecture Notes in Computer Science ; 9394Edition: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9463 | Lecture Notes in Computer Science ; 9463Edition: 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): .
|
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8997 | Lecture Notes in Computer Science ; 8997Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon. by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
NASA Formal Methods [electronic resource] : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings / edited by Clark Barrett, Misty Davies, Temesghen Kahsai. by Barrett, Clark [editor.] | Davies, Misty [editor.] | Kahsai, Temesghen [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10227 | Lecture Notes in Computer Science ; 10227Edition: 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): .
|
|
|
|
|
Learning and Intelligent Optimization [electronic resource] : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / edited by Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion. by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-Eléonore [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8994 | Lecture Notes in Computer Science ; 8994Edition: 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): .
|
|
|
|
|
Perspectives of System Informatics [electronic resource] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / edited by Andrei Voronkov, Irina Virbitskaite. by Voronkov, Andrei [editor.] | Virbitskaite, Irina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8974 | Lecture Notes in Computer Science ; 8974Edition: 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): .
|
|
|
|
|
Computer Performance Engineering [electronic resource] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis. by Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9951 | Lecture Notes in Computer Science ; 9951Edition: 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): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke. by Geuvers, Herman [editor.] | England, Matthew [editor.] | Hasan, Osman [editor.] | Rabe, Florian [editor.] | Teschke, Olaf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10383 | Lecture Notes in Computer Science ; 10383Edition: 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-Based Program Synthesis and Transformation [electronic resource] : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers / edited by Manuel V Hermenegildo, Pedro Lopez-Garcia. by Hermenegildo, Manuel V [editor.] | Lopez-Garcia, Pedro [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10184 | Lecture Notes in Computer Science ; 10184Edition: 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): .
|
|
|
|
|
|
