IMSc Library catalog › Results of search for 'su-br:"Mathematica"'

Your search returned 1589 results.

Not what you expected? Check for suggestions

			Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov. by Beklemishev, Lev D [editor.] \| Musatov, Daniil V [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9139 \| Lecture Notes in Computer Science ; 9139Edition: 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): . Place hold Log in to add tags
			Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / edited by Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano. by Podnar Žarko, Ivana [editor.] \| Broering, Arne [editor.] \| Soursos, Sergios [editor.] \| Serrano, Martin [editor.] \| SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10218 \| Lecture Notes in Computer Science ; 10218Edition: 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): . Place hold Log in to add tags
			Research in Computational Molecular Biology [electronic resource] : 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings / edited by S. Cenk Sahinalp. by Sahinalp, S. Cenk [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 10229 \| Lecture Notes in Computer Science ; 10229Edition: 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): . Place hold Log in to add tags
			Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne. by Descoteaux, Maxime [editor.] \| Maier-Hein, Lena [editor.] \| Franz, Alfred [editor.] \| Jannin, Pierre [editor.] \| Collins, D. Louis [editor.] \| Duchesne, Simon [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10435 \| Lecture Notes in Computer Science ; 10435Edition: 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): . Place hold Log in to add tags
			Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne. by Descoteaux, Maxime [editor.] \| Maier-Hein, Lena [editor.] \| Franz, Alfred [editor.] \| Jannin, Pierre [editor.] \| Collins, D. Louis [editor.] \| Duchesne, Simon [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10434 \| Lecture Notes in Computer Science ; 10434Edition: 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): . Place hold Log in to add tags
			Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging [electronic resource] : MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers / edited by Henning Müller, B. Michael Kelm, Tal Arbel, Weidong Cai, M. Jorge Cardoso, Georg Langs, Bjoern Menze, Dimitris Metaxas, Albert Montillo, William M. Wells III, Shaoting Zhang, Albert C.S. Chung, Mark Jenkinson, Annemie Ribbens. by Müller, Henning [editor.] \| Kelm, B. Michael [editor.] \| Arbel, Tal [editor.] \| Cai, Weidong [editor.] \| Cardoso, M. Jorge [editor.] \| Langs, Georg [editor.] \| Menze, Bjoern [editor.] \| Metaxas, Dimitris [editor.] \| Montillo, Albert [editor.] \| Wells III, William M [editor.] \| Zhang, Shaoting [editor.] \| Chung, Albert C.S [editor.] \| Jenkinson, Mark [editor.] \| Ribbens, Annemie [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10081 \| Lecture Notes in Computer Science ; 10081Edition: 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): . Place hold Log in to add tags
			Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran. by Eiter, Thomas [editor.] \| Strass, Hannes [editor.] \| Truszczyński, Mirosław [editor.] \| Woltran, Stefan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9060 \| Lecture Notes in Computer Science ; 9060Edition: 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): . Place hold Log in to add tags
			Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. by Italiano, Giuseppe F [editor.] \| Pighizzini, Giovanni [editor.] \| Sannella, Donald T [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9234 \| Lecture Notes in Computer Science ; 9234Edition: 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): . Place hold Log in to add tags
			Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach. by James, Phillip [editor.] \| Roggenbach, Markus [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10644 \| Lecture Notes in Computer Science ; 10644Edition: 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): . Place hold Log in to add tags
			Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by Larsen, Kim Guldstrand [editor.] \| Sokolsky, Oleg [editor.] \| Wang, Ji [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10606 \| Lecture Notes in Computer Science ; 10606Edition: 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): . Place hold Log in to add tags
			Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill. by Strichman, Ofer [editor.] \| Tzoref-Brill, Rachel [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10629 \| Lecture Notes in Computer Science ; 10629Edition: 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): . Place hold Log in to add tags
			Computer Science – Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. by Kulikov, Alexander S [editor.] \| Woeginger, Gerhard J [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9691 \| Lecture Notes in Computer Science ; 9691Edition: 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): . Place hold Log in to add tags
			Algorithms and Discrete Applied Mathematics [electronic resource] : Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / edited by Sathish Govindarajan, Anil Maheshwari. by Govindarajan, Sathish [editor.] \| Maheshwari, Anil [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9602 \| Lecture Notes in Computer Science ; 9602Edition: 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): . Place hold Log in to add tags
			Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] \| Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9206 \| Lecture Notes in Computer Science ; 9206Edition: 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): . Place hold Log in to add tags
			Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Bouajjani, Ahmed [editor.] \| Monniaux, David [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10145 \| Lecture Notes in Computer Science ; 10145Edition: 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): . Place hold Log in to add tags
			Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] \| Zhang, Xingyuan [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 \| Lecture Notes in Computer Science ; 9236Edition: 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): . Place hold Log in to add tags
			FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. by Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 9995 \| Lecture Notes in Computer Science ; 9995Edition: 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): . Place hold Log in to add tags
			Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. by Rovatsos, Michael [editor.] \| Vouros, George [editor.] \| Julian, Vicente [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9571 \| Lecture Notes in Computer Science ; 9571Edition: 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): . Place hold Log in to add tags
			Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş. by Koç, Çetin Kaya [editor.] \| Mesnager, Sihem [editor.] \| Savaş, Erkay [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9061 \| Lecture Notes in Computer Science ; 9061Edition: 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): . Place hold Log in to add tags
			Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman. by Costantini, Stefania [editor.] \| Franconi, Enrico [editor.] \| Van Woensel, William [editor.] \| Kontchakov, Roman [editor.] \| Sadri, Fariba [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10364 \| Lecture Notes in Computer Science ; 10364Edition: 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): . Place hold Log in to add tags

First
Previous
68
69
70
71
72
73
74
75
76
77
78
79
80
Next
Last

			Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov. by Beklemishev, Lev D [editor.] \| Musatov, Daniil V [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9139 \| Lecture Notes in Computer Science ; 9139Edition: 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): . Place hold Log in to add tags
			Interoperability and Open-Source Solutions for the Internet of Things [electronic resource] : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers / edited by Ivana Podnar Žarko, Arne Broering, Sergios Soursos, Martin Serrano. by Podnar Žarko, Ivana [editor.] \| Broering, Arne [editor.] \| Soursos, Sergios [editor.] \| Serrano, Martin [editor.] \| SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10218 \| Lecture Notes in Computer Science ; 10218Edition: 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): . Place hold Log in to add tags
			Research in Computational Molecular Biology [electronic resource] : 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings / edited by S. Cenk Sahinalp. by Sahinalp, S. Cenk [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 10229 \| Lecture Notes in Computer Science ; 10229Edition: 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): . Place hold Log in to add tags
			Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part III / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne. by Descoteaux, Maxime [editor.] \| Maier-Hein, Lena [editor.] \| Franz, Alfred [editor.] \| Jannin, Pierre [editor.] \| Collins, D. Louis [editor.] \| Duchesne, Simon [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10435 \| Lecture Notes in Computer Science ; 10435Edition: 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): . Place hold Log in to add tags
			Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017 [electronic resource] : 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II / edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne. by Descoteaux, Maxime [editor.] \| Maier-Hein, Lena [editor.] \| Franz, Alfred [editor.] \| Jannin, Pierre [editor.] \| Collins, D. Louis [editor.] \| Duchesne, Simon [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10434 \| Lecture Notes in Computer Science ; 10434Edition: 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): . Place hold Log in to add tags
			Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging [electronic resource] : MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers / edited by Henning Müller, B. Michael Kelm, Tal Arbel, Weidong Cai, M. Jorge Cardoso, Georg Langs, Bjoern Menze, Dimitris Metaxas, Albert Montillo, William M. Wells III, Shaoting Zhang, Albert C.S. Chung, Mark Jenkinson, Annemie Ribbens. by Müller, Henning [editor.] \| Kelm, B. Michael [editor.] \| Arbel, Tal [editor.] \| Cai, Weidong [editor.] \| Cardoso, M. Jorge [editor.] \| Langs, Georg [editor.] \| Menze, Bjoern [editor.] \| Metaxas, Dimitris [editor.] \| Montillo, Albert [editor.] \| Wells III, William M [editor.] \| Zhang, Shaoting [editor.] \| Chung, Albert C.S [editor.] \| Jenkinson, Mark [editor.] \| Ribbens, Annemie [editor.] \| SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10081 \| Lecture Notes in Computer Science ; 10081Edition: 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): . Place hold Log in to add tags
			Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran. by Eiter, Thomas [editor.] \| Strass, Hannes [editor.] \| Truszczyński, Mirosław [editor.] \| Woltran, Stefan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9060 \| Lecture Notes in Computer Science ; 9060Edition: 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): . Place hold Log in to add tags
			Mathematical Foundations of Computer Science 2015 [electronic resource] : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. by Italiano, Giuseppe F [editor.] \| Pighizzini, Giovanni [editor.] \| Sannella, Donald T [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9234 \| Lecture Notes in Computer Science ; 9234Edition: 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): . Place hold Log in to add tags
			Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach. by James, Phillip [editor.] \| Roggenbach, Markus [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10644 \| Lecture Notes in Computer Science ; 10644Edition: 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): . Place hold Log in to add tags
			Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by Larsen, Kim Guldstrand [editor.] \| Sokolsky, Oleg [editor.] \| Wang, Ji [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10606 \| Lecture Notes in Computer Science ; 10606Edition: 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): . Place hold Log in to add tags
			Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill. by Strichman, Ofer [editor.] \| Tzoref-Brill, Rachel [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10629 \| Lecture Notes in Computer Science ; 10629Edition: 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): . Place hold Log in to add tags
			Computer Science – Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. by Kulikov, Alexander S [editor.] \| Woeginger, Gerhard J [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9691 \| Lecture Notes in Computer Science ; 9691Edition: 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): . Place hold Log in to add tags
			Algorithms and Discrete Applied Mathematics [electronic resource] : Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / edited by Sathish Govindarajan, Anil Maheshwari. by Govindarajan, Sathish [editor.] \| Maheshwari, Anil [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9602 \| Lecture Notes in Computer Science ; 9602Edition: 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): . Place hold Log in to add tags
			Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu. by Kroening, Daniel [editor.] \| Păsăreanu, Corina S [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9206 \| Lecture Notes in Computer Science ; 9206Edition: 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): . Place hold Log in to add tags
			Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Bouajjani, Ahmed [editor.] \| Monniaux, David [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10145 \| Lecture Notes in Computer Science ; 10145Edition: 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): . Place hold Log in to add tags
			Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang. by Urban, Christian [editor.] \| Zhang, Xingyuan [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9236 \| Lecture Notes in Computer Science ; 9236Edition: 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): . Place hold Log in to add tags
			FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. by Fitzgerald, John [editor.] \| Heitmeyer, Constance [editor.] \| Gnesi, Stefania [editor.] \| Philippou, Anna [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 9995 \| Lecture Notes in Computer Science ; 9995Edition: 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): . Place hold Log in to add tags
			Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. by Rovatsos, Michael [editor.] \| Vouros, George [editor.] \| Julian, Vicente [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9571 \| Lecture Notes in Computer Science ; 9571Edition: 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): . Place hold Log in to add tags
			Arithmetic of Finite Fields [electronic resource] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / edited by Çetin Kaya Koç, Sihem Mesnager, Erkay Savaş. by Koç, Çetin Kaya [editor.] \| Mesnager, Sihem [editor.] \| Savaş, Erkay [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9061 \| Lecture Notes in Computer Science ; 9061Edition: 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): . Place hold Log in to add tags
			Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman. by Costantini, Stefania [editor.] \| Franconi, Enrico [editor.] \| Van Woensel, William [editor.] \| Kontchakov, Roman [editor.] \| Sadri, Fariba [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series: Programming and Software Engineering ; 10364 \| Lecture Notes in Computer Science ; 10364Edition: 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): . Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Places

Topics

Your search returned 1589 results.