Indira Gandhi National Tribal University, Amarkantak

Prof. Ram Dayal Munda Central Library

Online Public Access Catalogue

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke. by Gotzhein, Reinhard Bredereke, Jan Material type: Text Publication details: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996 Online resources: Click here to access online Click here to access online Availability: Items available for loan: Prof. Ram Dayal Munda Central Library (1). Place hold Request article Add to cart (remove)
	2.	Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 Gregor V Bochmann; R Dssouli; Omar Rafiq; International Federation for Information Processing. Technical Committee 6. by Bochmann, Gregor von Gregor V Bochmann; R Dssouli; Omar Rafiq; International Federation for Information Processing. Technical Committee 6 Material type: Text Publication details: Chapman & Hall on (IFIP), London : 1996 Availability: Items available for loan: Prof. Ram Dayal Munda Central Library (1)Call number: 004.62 BOC. Place hold Request article Add to cart (remove)
	3.	Formal description techniques vii: proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques/ edited by Hogrefe, D by Hogrefe, Dieter [Editor] Material type: Text Publication details: London: Chapman & hall, 1995 Online resources: Click here to access online Availability: Items available for loan: Prof. Ram Dayal Munda Central Library (1)Call number: 004.62 HOG. Place hold Request article Add to cart (remove)
	4.	Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister. by Piecha, Thomas [editor.] Schroeder-Heister, Peter [editor.] SpringerLink (Online service) Series: Trends in Logic, Studia Logica Library ; 43 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Request article Add to cart (remove)
	5.	Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. by Hopcroft, John E Motwani, Rajeev Ullman, Jeffrey D Edition: 3rd ed. Material type: Text Publication details: Noida : Pearson India, c2008 Online resources: Click here to access online Availability: Items available for loan: Prof. Ram Dayal Munda Central Library (5)Call number: 511.3/5 HOP, ... Place hold Request article Add to cart (remove)
	6.	Formal languages and compilation / Stefano Crespi Reghizzi. by Crespi-Reghizzi, Stefano Series: Texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Publisher number: 12200801 Publication details: London : Springer, c2009 Availability: Items available for loan: Prof. Ram Dayal Munda Central Library (1)Call number: 005.453015113. Place hold Request article Add to cart (remove)