IMSc Library catalog › Results of search for 'su:"Automata"'

			Automata, Languages and Programming Proceedings, 22nd International Colloquium, Hungary, 1995 by Fulop, Zoltan. Ed \| Gecseg, Ferenc. Ed. Series: Lecture notes in computer science ; 00944Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Neural and Automata Networks Dynamical Behavior and Applications by Goles, Eric \| Martinez, Servet. Series: Mathematics and its ApplicationsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer Academic ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GOL. Place hold Log in to add tags
			Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR. Place hold Log in to add tags
			Automata, Languages and Programming Sixth Colloquium, Austria, 1979 by Maurer, Hermann A. Ed. Series: Lecture notes in computer science ; 00071Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Fifth Colloquium, Italy, 1978 by Ausiello, G. Ed \| Bohm, C. Ed. Series: Lecture notes in computer science ; 00062Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Eighth Colloquium, Israel, 1981 by Even, S. Ed \| Kariv, O. Ed. Series: Lecture notes in computer science ; 00115Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Stochastic Automata: Stability, Nondeterminism, and Prediction by Doberkat, Ernst-Erich. Series: Lecture notes in computer science ; 00113Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Networks Proceedings,LITP Spring School,Argeles-Village,France,1986 by Choffrut, C. Ed. Series: Lecture notes in computer science ; 00316Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Finite Representations of CCS and TCSP Programs by Automata and Petri Nets by Taubner, Dirk. Series: Lecture notes in computer science ; 00369Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 16th Int. Colloquium, Stresa, Italy, 1989 by Ausiello, G. Ed \| Dezani-Ciancaglini, M. Ed \| Ronchi Della Rocca, S. Ed. Series: Lecture notes in computer science ; 00372Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 17th Int.Colloquium, England, 1990 by Paterson, M S. Ed. Series: Lecture notes in computer science ; 00443Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Properties of Finite Automata and Applications Proceedings, LITP Spring School, Ramatuelle, France, 1988 by Pin, J E. Ed. Series: Lecture notes in computer science ; 00386Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Electronic Dictionaries and Automata in Computational Linguistics Proceedings, LITP Spring School, France, 1987 by Gross, M. Ed \| Perrin, D. Ed. Series: Lecture notes in computer science ; 00377Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 25th International Colloquium, Denmark, 1998 by Larsen, Kim G. Ed \| Skyum, Sven. Ed \| Winskel, Glynn. Ed. Series: Lecture notes in computer science ; 01443Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Cellular Automata Modeling of Physical Systems by Chopard, Bastien \| Droz, Michel. Series: Monographs and Texts in Statistical PhysicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 17 Call number: 531.19 CHO. Place hold Log in to add tags
			Automata Theory by Simon, Matthew. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SIM. Place hold Log in to add tags
			An introduction to Formal Languages and Automata by Linz, Peter. Edition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Narosa ; 1997Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 43 Call number: 681.3.06 LINZ. Place hold Log in to add tags
			Automata, Languages and Programming, Proceedings of the 27th International Colloquium, Geneva, 2000 by Montanari, Ugo. Ed \| Rolim, Jose D P. Ed \| Welzl, Emo. Ed. Series: Lecture notes in computer science ; 01853Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Implementation, 4th International Workshop, Germany, 1999 by Boldt, Oliver. Ed \| Jurgensen, Helmut. Ed. Series: Lecture notes in computer science ; 02214Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags

			Automata, Languages and Programming Proceedings, 22nd International Colloquium, Hungary, 1995 by Fulop, Zoltan. Ed \| Gecseg, Ferenc. Ed. Series: Lecture notes in computer science ; 00944Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS. Place hold Log in to add tags
			Neural and Automata Networks Dynamical Behavior and Applications by Goles, Eric \| Martinez, Servet. Series: Mathematics and its ApplicationsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Kluwer Academic ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 GOL. Place hold Log in to add tags
			Finite Automata, Formal Logic, and Circuit Complexity by Straubing, Howard. Series: Progress in Theoretical Computer ScienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STR. Place hold Log in to add tags
			Automata, Languages and Programming Sixth Colloquium, Austria, 1979 by Maurer, Hermann A. Ed. Series: Lecture notes in computer science ; 00071Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1979Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Fifth Colloquium, Italy, 1978 by Ausiello, G. Ed \| Bohm, C. Ed. Series: Lecture notes in computer science ; 00062Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1978Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 47 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Eighth Colloquium, Israel, 1981 by Even, S. Ed \| Kariv, O. Ed. Series: Lecture notes in computer science ; 00115Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Stochastic Automata: Stability, Nondeterminism, and Prediction by Doberkat, Ernst-Erich. Series: Lecture notes in computer science ; 00113Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1981Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 47, Shelf No: 48 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Networks Proceedings,LITP Spring School,Argeles-Village,France,1986 by Choffrut, C. Ed. Series: Lecture notes in computer science ; 00316Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 6 Call number: 681 LNCS. Place hold Log in to add tags
			Finite Representations of CCS and TCSP Programs by Automata and Petri Nets by Taubner, Dirk. Series: Lecture notes in computer science ; 00369Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 16th Int. Colloquium, Stresa, Italy, 1989 by Ausiello, G. Ed \| Dezani-Ciancaglini, M. Ed \| Ronchi Della Rocca, S. Ed. Series: Lecture notes in computer science ; 00372Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 8 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 17th Int.Colloquium, England, 1990 by Paterson, M S. Ed. Series: Lecture notes in computer science ; 00443Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS. Place hold Log in to add tags
			Formal Properties of Finite Automata and Applications Proceedings, LITP Spring School, Ramatuelle, France, 1988 by Pin, J E. Ed. Series: Lecture notes in computer science ; 00386Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Electronic Dictionaries and Automata in Computational Linguistics Proceedings, LITP Spring School, France, 1987 by Gross, M. Ed \| Perrin, D. Ed. Series: Lecture notes in computer science ; 00377Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS. Place hold Log in to add tags
			Automata, Languages and Programming Proceedings, 25th International Colloquium, Denmark, 1998 by Larsen, Kim G. Ed \| Skyum, Sven. Ed \| Winskel, Glynn. Ed. Series: Lecture notes in computer science ; 01443Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS. Place hold Log in to add tags
			Cellular Automata Modeling of Physical Systems by Chopard, Bastien \| Droz, Michel. Series: Monographs and Texts in Statistical PhysicsMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 17 Call number: 531.19 CHO. Place hold Log in to add tags
			Automata Theory by Simon, Matthew. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 19 Call number: 681.3 SIM. Place hold Log in to add tags
			An introduction to Formal Languages and Automata by Linz, Peter. Edition: 2ndMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Narosa ; 1997Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 49, Shelf No: 43 Call number: 681.3.06 LINZ. Place hold Log in to add tags
			Automata, Languages and Programming, Proceedings of the 27th International Colloquium, Geneva, 2000 by Montanari, Ugo. Ed \| Rolim, Jose D P. Ed \| Welzl, Emo. Ed. Series: Lecture notes in computer science ; 01853Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 25 Call number: 681 LNCS. Place hold Log in to add tags
			Automata Implementation, 4th International Workshop, Germany, 1999 by Boldt, Oliver. Ed \| Jurgensen, Helmut. Ed. Series: Lecture notes in computer science ; 02214Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags
			Computer aided verification : 13th international conference; proceedings by Berry, Gerard. Ed \| Comon, Hubert. Ed \| Finkel, Alain. . Ed. Series: Lecture notes in computer science ; 02102Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS. Place hold Log in to add tags

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 33 results.