Results of search for 'ccl=su:"Formal languages;"' › JRD Tata Memorial Library catalog

Results
	61.	Recent trends in algebraic development techniques [electronic resource] by Jos़ Luiz Fiadeiro and Pierre-Yves Schobbens by Fiadeiro, Jos़ Luiz Schobbens, Pierre-Yves Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.01512 (e-book). Place hold
	62.	Learning Theory [electronic resource] Proceedings by Bshouty, Nader H and Gentile, Claudio by Annual Conference on Learning Theory 2007) USA, COLT (20 Claudio, Gentile Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	63.	No cover image available Rewriting, Computation and Proof [electronic resource] by Comon-Lundh Hubert and Kirchner Claude by Birth Day (60 2007) Claude , Kirchner Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.015113 . Place hold
	64.	Developments in Language Theory [electronic resource] Proceedings by Harju, Tero by International Conference 2007) Finland, DLT (11 Juhani, Karhum ki Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 . Place hold
	65.	Typed Lambda Calculi and Applications [electronic resource] Proceedings by Ronchi, Rocca, Simona by International Conference 2007) France, TLCA (8 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.350285 . Place hold
	66.	Term Rewriting and Applications [electronic resource] Proceedings Baader Franz by International Conference 2007) France, RTA (18 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	67.	Abstraction, Reformulation, and Approximation [electronic resource] Proceedings by Miguel Ian and Ruml Wheeler by International Symposium 2007) Canada, SARA (7 Wheeler, Ruml Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	68.	Modeling Decisions for Artificial Intelligence [electronic resource] Proceedings by Torra Vicen by International Conference 2007) Japan, MDAI (4 Yasuo, Narukawa Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	69.	No cover image available Algebra and Coalgebra in Computer Science [electronic resource] Proceedings by Mossakowski Till by International Conference 2007) Norway, CALCO (2 Ugo, Montanari Magne, Haveraaen Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.01512 (e-book). Place hold
	70.	Static Analysis [electronic resource] Proceedings by Nielson, Hanne Riis and Fil़, Gilberto by International Symposium 2007) Denmark, SAS (14 Gilberto, Fil़ Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	71.	Types for Proofs and Programs [electronic resource] by Altenkirch Thorsten and McBride Conor by International Workshop 2006), TYPES (Nottingham Conor, McBride Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131(e-book) . Place hold
	72.	Machines, Computations, and Universality [electronic resource] Proceedings by J़r३me Durand-Lose and Maurice Margenstern by International Conference 2007) France, MCU (5 Margenstern, Maurice Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	73.	Logic Programming [electronic resource] Proceedings by V़ronica Dahl and Ilkka Niemel by International Conference 2007) Porto, ICLP (23 Niemel , Ilkka Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.115 (e-book). Place hold
	74.	Frontiers of Combining Systems [electronic resource] Proceedings by Boris Konev and Frank Wolter by International Symposium 2007 Liverpool, FroCoS (6 Wolter, Frank Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1015113 (e-book). Place hold
	75.	AIIA 2007 Artificial Intelligence and Human-Oriented Computing [electronic resource]:Proceedings by Roberto Basili and Maria Teresa Pazienza by Basili, Roberto Pazienza, Maria Teresa Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan:* JRD Tata Memorial Library (1)Call number: 006.3 (e-book). Place hold
	76.	Computer Science Logic [electronic resource] Proceedings by Jacques Duparc and Thomas A Henzinger by International Workshop 2007) Switzerland, CSL (21 Henzinger, Thomas A Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.015113 (e-book). Place hold
	77.	Machine Learning ECML 2007 [electronic resource]:Proceedings by Joost N Kok and et al by European Conference on Machine Learning 2007) Warsaw, (18 Koronacki, Jacek and et al Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.31 (e-book). Place hold
	78.	Principles and Practice of Constraint Programming . CP 2007 [electronic resource] Proceedings by Christian Bessi re by International Conference 2007) USA, CP (13 Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.116 (e-book). Place hold
	79.	Logic, Language, and Computation [electronic resource] by Balder D Cate and Henk W Zeevat by International Tbilisi Symposium 2005) Batumi, TbiLLC (6 Zeevat, Henk W Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 410.285 (e-book). Place hold
	80.	Formal Methods and Hybrid Real-Time Systems [electronic resource] Essays in Honor of Dines Bj७rner and Chaochen Zhou on the Occasion of Their 70th Birthdays by Cliff B Jones, Zhiming Liu and Jim Woodcock by Jones, Cliff B Liu, Zhiming Woodcock, Jim Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.33 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 97 results.