Results of search for 'ccl=su:"Mathematical Logic and Formal Languages."' › Sri S.G. Balekundri Central Library and Information Centre catalog

Results
	281.	Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead [electronic resource] : 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings / edited by Yuji Matsumoto, Richard W. Sproat, Kam-Fai Wong, Min Zhang. by Matsumoto, Yuji [editor.] Sproat, Richard W [editor.] Wong, Kam-Fai [editor.] Zhang, Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4285 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	282.	AI 2006: Advances in Artificial Intelligence [electronic resource] : 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings / edited by Abdul Sattar, Byeong-ho Kang. by Sattar, Abdul [editor.] Kang, Byeong-ho [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4304 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	283.	Rough Sets and Current Trends in Computing [electronic resource] : 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings / edited by Salvatore Greco, Yutaka Hata, Shoji Hirano, Masahiro Inuiguchi, Sadaaki Miyamoto, Hung Son Nguyen, Roman Słowiński. by Greco, Salvatore [editor.] Hata, Yutaka [editor.] Hirano, Shoji [editor.] Inuiguchi, Masahiro [editor.] Miyamoto, Sadaaki [editor.] Nguyen, Hung Son [editor.] Słowiński, Roman [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4259 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	284.	FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / edited by S. Arun-Kumar, Naveen Garg. by Arun-Kumar, S [editor.] Garg, Naveen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4337 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	285.	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / edited by Marino Miculan, Ivan Scagnetto, Furio Honsell. by Miculan, Marino [editor.] Scagnetto, Ivan [editor.] Honsell, Furio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4941 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	286.	Formal Correctness of Security Protocols [electronic resource] : With 62 Figures and 4 Tables / by Giampaolo Bella. by Bella, Giampaolo [author.] SpringerLink (Online service) Series: Information Security and Cryptography, Texts and Monographs Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	287.	FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings / edited by Jorge Cuellar, Tom Maibaum, Kaisa Sere. by Cuellar, Jorge [editor.] Maibaum, Tom [editor.] Sere, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5014 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	288.	Temporal Logic and State Systems [electronic resource] / by Fred Kröger, Stephan Merz. by Kröger, Fred [author.] Merz, Stephan [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science, An EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	289.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, José Meseguer. by Degano, Pierpaolo [editor.] Nicola, Rocco [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5065 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	290.	B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings / edited by Jacques Julliand, Olga Kouchnarenko. by Julliand, Jacques [editor.] Kouchnarenko, Olga [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4355 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	291.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich [author.] Kolaitis, Phokion G [author.] Libkin, Leonid [author.] Marx, Maarten [author.] Spencer, Joel [author.] Vardi, Moshe Y [author.] Venema, Yde [author.] Weinstein, Scott [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	292.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4334 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	293.	Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Hoogeboom, Hendrik Jan [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4361 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	294.	Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal. by Alpuente, María [editor.] Vidal, Germán [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5079 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	295.	Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens. by Swart, Harrie [editor.] Orłowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4342 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	296.	Database Theory – ICDT 2007 [electronic resource] : 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings / edited by Thomas Schwentick, Dan Suciu. by Schwentick, Thomas [editor.] Suciu, Dan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4353 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	297.	Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers / edited by Katsumi Inoue, Ken Satoh, Francesca Toni. by Inoue, Katsumi [editor.] Satoh, Ken [editor.] Toni, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4371 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	298.	Artificial Intelligence and Soft Computing – ICAISC 2008 [electronic resource] : 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by Rutkowski, Leszek [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5097 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	299.	25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith. by Grumberg, Orna [editor.] Veith, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5000 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	300.	Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings / edited by Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou. by Kapetanios, Epaminondas [editor.] Sugumaran, Vijayan [editor.] Spiliopoulou, Myra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5039 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 966 results.