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

Your search returned 451 results.

Not what you expected? Check for suggestions

			Advanced Information Systems Engineering [electronic resource] : 6th International Conference, CAiSE'94 Utrecht, The Netherlands, June 6–10, 1994 Proceedings / edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman. by Wijers, Gerard [editor.] \| Brinkkemper, Sjaak [editor.] \| Wasserman, Tony [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 811Source: 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): . Place hold Log in to add tags
			Parallel Processing: CONPAR 94 — VAPP VI [electronic resource] : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings / edited by Bruno Buchberger, Jens Volkert. by Buchberger, Bruno [editor.] \| Volkert, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 854Source: 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): . Place hold Log in to add tags
			Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| Rückert, Roland [editor.] \| Posegga, Joachim [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1385Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Database and Expert Systems Applications [electronic resource] : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9–13, 1996 Proceedings / edited by Roland R. Wagner, Helmut Thoma. by Wagner, Roland R [editor.] \| Thoma, Helmut [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1134Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Leivant, Daniel [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4576Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4767Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Concept Lattices and Their Applications [electronic resource] : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers / edited by Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek. by Yahia, Sadok Ben [editor.] \| Nguifo, Engelbert Mephu [editor.] \| Belohlavek, Radim [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4923Source: 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): . Place hold Log in to add tags
			Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. by Wirsing, Martin [editor.] \| Banâtre, Jean-Pierre [editor.] \| Hölzl, Matthias [editor.] \| Rauschmayer, Axel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5380Source: 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): . Place hold Log in to add tags
			Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] \| Nipkow, Tobias [editor.] \| Urban, Christian [editor.] \| Wenzel, Makarius [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Lee, Hong-Hee [editor.] \| Kang, Hee-Jun [editor.] \| Bevilacqua, Vitoantonio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Natural Language Processing [electronic resource] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir. by Loftsson, Hrafn [editor.] \| Rögnvaldsson, Eiríkur [editor.] \| Helgadóttir, Sigrún [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6233Source: 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): . Place hold Log in to add tags
			Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6416Source: 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): . Place hold Log in to add tags
			Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] \| Nederhof, Mark-Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: 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): . Place hold Log in to add tags
			Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen. by Ábrahám, Erika [editor.] \| Bonsangue, Marcello [editor.] \| Johnsen, Einar Broch [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9660 \| Lecture Notes in Computer Science ; 9660Edition: 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
			Foundations of Biomedical Knowledge Representation [electronic resource] : Methods and Applications / edited by Arjen Hommersom, Peter J.F. Lucas. by Hommersom, Arjen [editor.] \| Lucas, Peter J.F [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9521 \| Lecture Notes in Computer Science ; 9521Edition: 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
			Group Theoretical Methods in Physics [electronic resource] : Proceedings of the IX International Colloquium Held at Cocoyoc, México, June 23–27, 1980 / edited by Kurt Bernardo Wolf. by Wolf, Kurt Bernardo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Physics ; 135Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Fourteenth International Conference on Numerical Methods in Fluid Dynamics [electronic resource] : Proceedings of the Conference Held in Bangalore, India, 11–15 July 1994 / edited by Suresh M. Deshpande, Shivaraj S. Desai, Roddam Narasimha. by Deshpande, Suresh M [editor.] \| Desai, Shivaraj S [editor.] \| Narasimha, Roddam [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Physics ; 453Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende. by Sichman, Jaime Simão [editor.] \| Coelho, Helder [editor.] \| Rezende, Solange Oliveira [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4140Source: 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): . Place hold Log in to add tags
			Euro-Par'97 Parallel Processing [electronic resource] : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch. by Lengauer, Christian [editor.] \| Griebl, Martin [editor.] \| Gorlatch, Sergei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1300Source: 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): . Place hold Log in to add tags
			Magic Without Magic John Archibald Wheeler A collection of Essays in Honor of his Sixtieth Birthday by Klauder, John R. Material type: Text;Language: ; Format: print Language: English Publication details: San Francisco W.H. Freeman And Company 1972Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 24 Call number: 51 KLA. Place hold Log in to add tags

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

			Advanced Information Systems Engineering [electronic resource] : 6th International Conference, CAiSE'94 Utrecht, The Netherlands, June 6–10, 1994 Proceedings / edited by Gerard Wijers, Sjaak Brinkkemper, Tony Wasserman. by Wijers, Gerard [editor.] \| Brinkkemper, Sjaak [editor.] \| Wasserman, Tony [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 811Source: 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): . Place hold Log in to add tags
			Parallel Processing: CONPAR 94 — VAPP VI [electronic resource] : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings / edited by Bruno Buchberger, Jens Volkert. by Buchberger, Bruno [editor.] \| Volkert, Jens [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 854Source: 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): . Place hold Log in to add tags
			Services and Visualization Towards User-Friendly Design [electronic resource] : ACoS'98, VISUAL'98, AIN'97 Selected Papers / edited by Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| Rückert, Roland [editor.] \| Posegga, Joachim [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1385Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Database and Expert Systems Applications [electronic resource] : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9–13, 1996 Proceedings / edited by Roland R. Wagner, Helmut Thoma. by Wagner, Roland R [editor.] \| Thoma, Helmut [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1134Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Leivant, Daniel [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4576Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4767Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Concept Lattices and Their Applications [electronic resource] : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers / edited by Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek. by Yahia, Sadok Ben [editor.] \| Nguifo, Engelbert Mephu [editor.] \| Belohlavek, Radim [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4923Source: 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): . Place hold Log in to add tags
			Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer. by Wirsing, Martin [editor.] \| Banâtre, Jean-Pierre [editor.] \| Hölzl, Matthias [editor.] \| Rauschmayer, Axel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5380Source: 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): . Place hold Log in to add tags
			Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] \| Nipkow, Tobias [editor.] \| Urban, Christian [editor.] \| Wenzel, Makarius [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| Lee, Hong-Hee [editor.] \| Kang, Hee-Jun [editor.] \| Bevilacqua, Vitoantonio [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online 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 Natural Language Processing [electronic resource] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir. by Loftsson, Hrafn [editor.] \| Rögnvaldsson, Eiríkur [editor.] \| Helgadóttir, Sigrún [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6233Source: 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): . Place hold Log in to add tags
			Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6416Source: 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): . Place hold Log in to add tags
			Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] \| Nederhof, Mark-Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8036Source: 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): . Place hold Log in to add tags
			Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen. by Ábrahám, Erika [editor.] \| Bonsangue, Marcello [editor.] \| Johnsen, Einar Broch [editor.] \| SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9660 \| Lecture Notes in Computer Science ; 9660Edition: 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
			Foundations of Biomedical Knowledge Representation [electronic resource] : Methods and Applications / edited by Arjen Hommersom, Peter J.F. Lucas. by Hommersom, Arjen [editor.] \| Lucas, Peter J.F [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9521 \| Lecture Notes in Computer Science ; 9521Edition: 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
			Group Theoretical Methods in Physics [electronic resource] : Proceedings of the IX International Colloquium Held at Cocoyoc, México, June 23–27, 1980 / edited by Kurt Bernardo Wolf. by Wolf, Kurt Bernardo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Physics ; 135Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Fourteenth International Conference on Numerical Methods in Fluid Dynamics [electronic resource] : Proceedings of the Conference Held in Bangalore, India, 11–15 July 1994 / edited by Suresh M. Deshpande, Shivaraj S. Desai, Roddam Narasimha. by Deshpande, Suresh M [editor.] \| Desai, Shivaraj S [editor.] \| Narasimha, Roddam [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Physics ; 453Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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 Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings / edited by Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende. by Sichman, Jaime Simão [editor.] \| Coelho, Helder [editor.] \| Rezende, Solange Oliveira [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4140Source: 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): . Place hold Log in to add tags
			Euro-Par'97 Parallel Processing [electronic resource] : Third International Euro-Par Conference Passau, Germany, August 26–29, 1997 Proceedings / edited by Christian Lengauer, Martin Griebl, Sergei Gorlatch. by Lengauer, Christian [editor.] \| Griebl, Martin [editor.] \| Gorlatch, Sergei [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1300Source: 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): . Place hold Log in to add tags
			Magic Without Magic John Archibald Wheeler A collection of Essays in Honor of his Sixtieth Birthday by Klauder, John R. Material type: Text;Language: ; Format: print Language: English Publication details: San Francisco W.H. Freeman And Company 1972Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 24 Call number: 51 KLA. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 451 results.