IMSc Library catalog › Results of search for 'ccl=su:"Computer Science" and se:Lecture notes in computer science and holdingbranch:imsclib'

Your search returned 8978 results.

Not what you expected? Check for suggestions

			Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger. by Joyce, Jeffrey J [editor.] \| Seger, Carl-Johan H [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 780Source: 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
			Programming Languages and System Architectures [electronic resource] : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings / edited by Jürg Gutknecht. by Gutknecht, Jürg [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 782Source: 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
			Algebraic Coding [electronic resource] : First French-Israeli Workshop Paris, France, July 19–21, 1993 Proceedings / edited by G. Cohen, S. Litsyn, A. Lobstein, G. Zémor. by Cohen, G [editor.] \| Litsyn, S [editor.] \| Lobstein, A [editor.] \| Zémor, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 781Source: 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
			Fuzzy Logic in Artificial Intelligence [electronic resource] : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers / edited by Anca L. Ralescu, James G. Shanahan. by Ralescu, Anca L [editor.] \| Shanahan, James G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1566Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mobile Communications Advanced Systems and Components [electronic resource] : 1994 International Zurich Seminar on Digital Communications Zurich, Switzerland, March 8–11, 1994 Proceedings / edited by Christoph G. Günther. by Günther, Christoph G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 783Source: 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
			Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. by Ehrig, Hartmut [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 785Source: 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
			Machine Learning: ECML-94 [electronic resource] : European Conference on Machine Learning Catania, Italy, April 6–8, 1994 Proceedings / edited by Francesco Bergadano, Luc Raedt. by Bergadano, Francesco [editor.] \| Raedt, Luc [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 784Source: 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
			Integer Optimization by Local Search [electronic resource] : A Domain-Independent Approach / edited by Joachim Paul Walser. by Walser, Joachim Paul [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1637Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Compiler Construction [electronic resource] : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings / edited by Peter A. Fritzson. by Fritzson, Peter A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 786Source: 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
			Trees in Algebra and Programming — CAAP'94 [electronic resource] : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings / edited by Sophie Tison. by Tison, Sophie [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 787Source: 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
			Computer Analysis of Images and Patterns [electronic resource] : 8th International Conference, CAIP’99 Ljubljana, Slovenia, September 1–3, 1999 Proceedings / edited by Franc Solina, Alešs Leonardis. by Solina, Franc [editor.] \| Leonardis, Alešs [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1689Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Languages and Systems — ESOP '94 [electronic resource] : 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings / edited by Donald Sannella. by Sannella, Donald [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 788Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers / edited by Fedor V. Fomin. by Fomin, Fedor V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4271Source: 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
			Theoretical Aspects of Computer Software [electronic resource] : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings / edited by Masami Hagiya, John C. Mitchell. by Hagiya, Masami [editor.] \| Mitchell, John C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 789Source: 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
			Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science [electronic resource] : International Conference COSIT’99 Stade, Germany, August 25–29, 1999 Proceedings / edited by Christian Freksa, David M. Mark. by Freksa, Christian [editor.] \| Mark, David M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1661Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings / edited by Jan Leeuwen. by Leeuwen, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 790Source: 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 Computing Technologies [electronic resource] : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1662Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Object-Based Distributed Programming [electronic resource] : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings / edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill. by Guerraoui, Rachid [editor.] \| Nierstrasz, Oscar [editor.] \| Riveill, Michel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 791Source: 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
			Financial Cryptography [electronic resource] : Third International Conference, FC’99 Anguilla, British West Indies, February 22–25, 1999 Proceedings / edited by Matthew Franklin. by Franklin, Matthew [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1648Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato. by Jones, Neil D [editor.] \| Hagiya, Masami [editor.] \| Sato, Masahiko [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 792Source: 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

			Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings / edited by Jeffrey J. Joyce, Carl-Johan H. Seger. by Joyce, Jeffrey J [editor.] \| Seger, Carl-Johan H [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 780Source: 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
			Programming Languages and System Architectures [electronic resource] : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings / edited by Jürg Gutknecht. by Gutknecht, Jürg [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 782Source: 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
			Algebraic Coding [electronic resource] : First French-Israeli Workshop Paris, France, July 19–21, 1993 Proceedings / edited by G. Cohen, S. Litsyn, A. Lobstein, G. Zémor. by Cohen, G [editor.] \| Litsyn, S [editor.] \| Lobstein, A [editor.] \| Zémor, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 781Source: 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
			Fuzzy Logic in Artificial Intelligence [electronic resource] : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers / edited by Anca L. Ralescu, James G. Shanahan. by Ralescu, Anca L [editor.] \| Shanahan, James G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1566Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Mobile Communications Advanced Systems and Components [electronic resource] : 1994 International Zurich Seminar on Digital Communications Zurich, Switzerland, March 8–11, 1994 Proceedings / edited by Christoph G. Günther. by Günther, Christoph G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 783Source: 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
			Recent Trends in Data Type Specification [electronic resource] : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers / edited by Hartmut Ehrig, Fernando Orejas. by Ehrig, Hartmut [editor.] \| Orejas, Fernando [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 785Source: 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
			Machine Learning: ECML-94 [electronic resource] : European Conference on Machine Learning Catania, Italy, April 6–8, 1994 Proceedings / edited by Francesco Bergadano, Luc Raedt. by Bergadano, Francesco [editor.] \| Raedt, Luc [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 784Source: 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
			Integer Optimization by Local Search [electronic resource] : A Domain-Independent Approach / edited by Joachim Paul Walser. by Walser, Joachim Paul [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1637Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Compiler Construction [electronic resource] : 5th International Conference, CC '94 Edinburgh, U.K., April 7–9, 1994 Proceedings / edited by Peter A. Fritzson. by Fritzson, Peter A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 786Source: 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
			Trees in Algebra and Programming — CAAP'94 [electronic resource] : 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings / edited by Sophie Tison. by Tison, Sophie [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 787Source: 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
			Computer Analysis of Images and Patterns [electronic resource] : 8th International Conference, CAIP’99 Ljubljana, Slovenia, September 1–3, 1999 Proceedings / edited by Franc Solina, Alešs Leonardis. by Solina, Franc [editor.] \| Leonardis, Alešs [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1689Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Programming Languages and Systems — ESOP '94 [electronic resource] : 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings / edited by Donald Sannella. by Sannella, Donald [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 788Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers / edited by Fedor V. Fomin. by Fomin, Fedor V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4271Source: 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
			Theoretical Aspects of Computer Software [electronic resource] : International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings / edited by Masami Hagiya, John C. Mitchell. by Hagiya, Masami [editor.] \| Mitchell, John C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 789Source: 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
			Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science [electronic resource] : International Conference COSIT’99 Stade, Germany, August 25–29, 1999 Proceedings / edited by Christian Freksa, David M. Mark. by Freksa, Christian [editor.] \| Mark, David M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1661Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 19th International Workshop, WG '93 Utrecht, The Netherlands, June 16–18, 1993 Proceedings / edited by Jan Leeuwen. by Leeuwen, Jan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 790Source: 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 Computing Technologies [electronic resource] : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6–10, 1999 Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1662Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Object-Based Distributed Programming [electronic resource] : ECOOP '93 Workshop Kaiserslautern, Germany, July 26–27, 1993 Proceedings / edited by Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill. by Guerraoui, Rachid [editor.] \| Nierstrasz, Oscar [editor.] \| Riveill, Michel [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 791Source: 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
			Financial Cryptography [electronic resource] : Third International Conference, FC’99 Anguilla, British West Indies, February 22–25, 1999 Proceedings / edited by Matthew Franklin. by Franklin, Matthew [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1648Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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 and Computation [electronic resource] : Festschrift in Honor of Satoru Takasu / edited by Neil D. Jones, Masami Hagiya, Masahiko Sato. by Jones, Neil D [editor.] \| Hagiya, Masami [editor.] \| Sato, Masahiko [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 792Source: 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

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 8978 results.