IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs and su-to:Computation by Abstract Devices'

Your search returned 306 results.

Not what you expected? Check for suggestions

			Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings / edited by Branislav Rovan. by Rovan, Branislav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 452Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] \| Main, Michael [editor.] \| Melton, Austin [editor.] \| Mislove, Michael [editor.] \| Schmidt, David [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. by Dolev, D [editor.] \| Galil, Z [editor.] \| Rodeh, M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 601Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg. by Bakker, J. W [editor.] \| Huizing, C [editor.] \| Roever, W. P [editor.] \| Rozenberg, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 600Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet. by Cousineau, Guy [editor.] \| Curien, Pierre-Louis [editor.] \| Robinet, Bernard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Petri Nets 1992 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 609Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Application and Theory of Petri Nets 1992 [electronic resource] : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings / edited by K. Jensen. by Jensen, K [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 616Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Logic [electronic resource] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] \| Jäger, Gerhard [editor.] \| Kleine Büning, Hans [editor.] \| Richter, Michael M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 626Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek. by Havel, Ivan M [editor.] \| Koubek, Václav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 629Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			CONCUR '92 [electronic resource] : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings / edited by W.R. Cleaveland. by Cleaveland, W.R [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 630Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Baltic Computer Science [electronic resource] : Selected Papers / edited by Janis Bārzdinš, Dines Bjørner. by Bārzdinš, Janis [editor.] \| Bjørner, Dines [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 502Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Software Technology and Theoretical Computer Science [electronic resource] : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings / edited by Rudrapatna Shyamasundar. by Shyamasundar, Rudrapatna [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 652Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Hybrid Systems II [electronic resource] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry. by Antsaklis, Panos [editor.] \| Kohn, Wolf [editor.] \| Nerode, Anil [editor.] \| Sastry, Shankar [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 999Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings / edited by Ernst W. Mayr. by Mayr, Ernst W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 657Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. by Enjalbert, P [editor.] \| Finkel, A [editor.] \| Wagner, K. W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 665Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / edited by Andrzej Tarlecki. by Tarlecki, Andrzej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 520Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			TAPSOFT'93: Theory and Practice of Software Development [electronic resource] : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud. by Gaudel, M. -C [editor.] \| Jouannaud, J. -P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 668Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Petri Nets 1991 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 524Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / edited by Takayasu Ito, Albert R. Meyer. by Ito, Takayasu [editor.] \| Meyer, Albert R [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 526Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Petri Nets 1993 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 674Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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
1
2
3
4
5
6
7
8
9
10
Next
Last

			Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings / edited by Branislav Rovan. by Rovan, Branislav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 452Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 Programming Semantics [electronic resource] : 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings / edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt. by Brookes, Stephen [editor.] \| Main, Michael [editor.] \| Melton, Austin [editor.] \| Mislove, Michael [editor.] \| Schmidt, David [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 598Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theory of Computing and Systems [electronic resource] : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh. by Dolev, D [editor.] \| Galil, Z [editor.] \| Rodeh, M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 601Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Real-Time: Theory in Practice [electronic resource] : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings / edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg. by Bakker, J. W [editor.] \| Huizing, C [editor.] \| Roever, W. P [editor.] \| Rozenberg, G [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 600Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Combinators and Functional Programming Languages [electronic resource] : Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings / edited by Guy Cousineau, Pierre-Louis Curien, Bernard Robinet. by Cousineau, Guy [editor.] \| Curien, Pierre-Louis [editor.] \| Robinet, Bernard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 242Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 Petri Nets 1992 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 609Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Application and Theory of Petri Nets 1992 [electronic resource] : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings / edited by K. Jensen. by Jensen, K [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 616Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 Logic [electronic resource] : 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings / edited by Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter. by Börger, Egon [editor.] \| Jäger, Gerhard [editor.] \| Kleine Büning, Hans [editor.] \| Richter, Michael M [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 626Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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 1992 [electronic resource] : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings / edited by Ivan M. Havel, Václav Koubek. by Havel, Ivan M [editor.] \| Koubek, Václav [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 629Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			CONCUR '92 [electronic resource] : Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings / edited by W.R. Cleaveland. by Cleaveland, W.R [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 630Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Baltic Computer Science [electronic resource] : Selected Papers / edited by Janis Bārzdinš, Dines Bjørner. by Bārzdinš, Janis [editor.] \| Bjørner, Dines [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 502Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Software Technology and Theoretical Computer Science [electronic resource] : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings / edited by Rudrapatna Shyamasundar. by Shyamasundar, Rudrapatna [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 652Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Hybrid Systems II [electronic resource] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry. by Antsaklis, Panos [editor.] \| Kohn, Wolf [editor.] \| Nerode, Anil [editor.] \| Sastry, Shankar [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 999Source: 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
			Graph-Theoretic Concepts in Computer Science [electronic resource] : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings / edited by Ernst W. Mayr. by Mayr, Ernst W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 657Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25–27, 1993 Proceedings / edited by P. Enjalbert, A. Finkel, K. W. Wagner. by Enjalbert, P [editor.] \| Finkel, A [editor.] \| Wagner, K. W [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 665Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 1991 [electronic resource] : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings / edited by Andrzej Tarlecki. by Tarlecki, Andrzej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 520Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			TAPSOFT'93: Theory and Practice of Software Development [electronic resource] : 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings / edited by M. -C. Gaudel, J. -P. Jouannaud. by Gaudel, M. -C [editor.] \| Jouannaud, J. -P [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 668Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 Petri Nets 1991 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 524Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / edited by Takayasu Ito, Albert R. Meyer. by Ito, Takayasu [editor.] \| Meyer, Albert R [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 526Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Petri Nets 1993 [electronic resource] / edited by Grzegorz Rozenberg. by Rozenberg, Grzegorz [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 674Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online 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 306 results.