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

Results
	81.	Computers and Games [electronic resource] : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat. by van den Herik, H. Jaap [editor.] Iida, Hiroyuki [editor.] Plaat, Aske [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8427 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	82.	Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider. by Goertzel, Ben [editor.] Orseau, Laurent [editor.] Snaider, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8598 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	83.	Developments in Language Theory [electronic resource] : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings / edited by Arseny M. Shur, Mikhail V. Volkov. by Shur, Arseny M [editor.] Volkov, Mikhail V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8633 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	84.	Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin. by Jürgensen, Helmut [editor.] Karhumäki, Juhani [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8614 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	85.	Computational Processing of the Portuguese Language [electronic resource] : 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings / edited by Jorge Baptista, Nuno Mamede, Sara Candeias, Ivandré Paraboni, Thiago A. S. Pardo, Maria das Graças Volpe Nunes. by Baptista, Jorge [editor.] Mamede, Nuno [editor.] Candeias, Sara [editor.] Paraboni, Ivandré [editor.] Pardo, Thiago A. S [editor.] Volpe Nunes, Maria das Graças [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8775 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	86.	Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / edited by Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos. by Bulling, Nils [editor.] Torre, Leendert [editor.] Villata, Serena [editor.] Jamroga, Wojtek [editor.] Vasconcelos, Wamberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8624 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	87.	New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki. by Nakano, Yukiko [editor.] Satoh, Ken [editor.] Bekki, Daisuke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8417 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	88.	Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski. by Albert, Elvira [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8739 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	89.	Controlled Natural Language [electronic resource] : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014. Proceedings / edited by Brian Davis, Kaarel Kaljurand, Tobias Kuhn. by Davis, Brian [editor.] Kaljurand, Kaarel [editor.] Kuhn, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8625 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	90.	Formal Methods in Macro-Biology [electronic resource] : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings / edited by François Fages, Carla Piazza. by Fages, François [editor.] Piazza, Carla [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8738 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	91.	Principles and Practice of Constraint Programming [electronic resource] : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings / edited by Barry O’Sullivan. by O’Sullivan, Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8656 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	92.	Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün. by Giannakopoulou, Dimitra [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8702 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	93.	Concrete Semantics [electronic resource] : With Isabelle/HOL / by Tobias Nipkow, Gerwin Klein. by Nipkow, Tobias [author.] Klein, Gerwin [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	94.	Reasoning Web. Reasoning on the Web in the Big Data Era [electronic resource] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum. by Koubarakis, Manolis [editor.] Stamou, Giorgos [editor.] Stoilos, Giorgos [editor.] Horrocks, Ian [editor.] Kolaitis, Phokion [editor.] Lausen, Georg [editor.] Weikum, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8714 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	95.	Advances in Natural Language Processing [electronic resource] : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings / edited by Adam Przepiórkowski, Maciej Ogrodniczuk. by Przepiórkowski, Adam [editor.] Ogrodniczuk, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8686 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	96.	Static Analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / edited by Markus Müller-Olm, Helmut Seidl. by Müller-Olm, Markus [editor.] Seidl, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8723 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	97.	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / edited by Borzoo Bonakdarpour, Scott A. Smolka. by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8734 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	98.	KI 2014: Advances in Artificial Intelligence [electronic resource] : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings / edited by Carsten Lutz, Michael Thielscher. by Lutz, Carsten [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8736 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	99.	Software Language Engineering [electronic resource] : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings / edited by Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju. by Combemale, Benoît [editor.] Pearce, David J [editor.] Barais, Olivier [editor.] Vinju, Jurgen J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8706 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	100.	Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Joël Ouaknine, Igor Potapov, James Worrell. by Ouaknine, Joël [editor.] Potapov, Igor [editor.] Worrell, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8762 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 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.