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

Results
	101.	Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings / edited by Eduardo Fermé, João Leite. by Fermé, Eduardo [editor.] Leite, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8761 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
	102.	Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings / edited by Stephan Merz, Jun Pang. by Merz, Stephan [editor.] Pang, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8829 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
	103.	Automated Technology for Verification and Analysis [electronic resource] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / edited by Franck Cassez, Jean-François Raskin. by Cassez, Franck [editor.] Raskin, Jean-François [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8837 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
	104.	Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / edited by Dimitra Giannakopoulou, Daniel Kroening. by Giannakopoulou, Dimitra [editor.] Kroening, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8471 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
	105.	Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings / edited by Frank Ortmeier, Antoine Rauzy. by Ortmeier, Frank [editor.] Rauzy, Antoine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8822 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
	106.	Programming Languages and Systems [electronic resource] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings / edited by Jacques Garrigue. by Garrigue, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8858 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
	107.	Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Santiago Escobar. by Escobar, Santiago [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8663 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
	108.	Hardware and Software: Verification and Testing [electronic resource] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / edited by Eran Yahav. by Yahav, Eran [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8855 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
	109.	Computing with New Resources [electronic resource] : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday / edited by Cristian S. Calude, Rūsiņš Freivalds, Iwama Kazuo. by Calude, Cristian S [editor.] Freivalds, Rūsiņš [editor.] Kazuo, Iwama [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8808 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
	110.	Uncertainty Reasoning for the Semantic Web III [electronic resource] : ISWC International Workshops, URSW 2011-2013, Revised Selected Papers / edited by Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by Bobillo, Fernando [editor.] Carvalho, Rommel N [editor.] Costa, Paulo C.G [editor.] d'Amato, Claudia [editor.] Fanizzi, Nicola [editor.] Laskey, Kathryn B [editor.] Laskey, Kenneth J [editor.] Lukasiewicz, Thomas [editor.] Nickles, Matthias [editor.] Pool, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8816 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
	111.	PRICAI 2014: Trends in Artificial Intelligence [electronic resource] : 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings / edited by Duc-Nghia Pham, Seong-Bae Park. by Pham, Duc-Nghia [editor.] Park, Seong-Bae [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8862 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
	112.	Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos. by Aranda-Corral, Gonzalo A [editor.] Calmet, Jacques [editor.] Martín-Mateos, Francisco J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8884 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
	113.	Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla. by David, René [author.] Alla, Hassane [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	114.	Universal Artificial Intellegence [electronic resource] : Sequential Decisions Based on Algorithmic Probability / by Marcus Hutter. by Hutter, Marcus [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, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	115.	Comprehensive Mathematics for Computer Scientists 2 [electronic resource] : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by Guerino Mazzola, Gérard Milmeister, Jody Weissmann. by Mazzola, Guerino [author.] Milmeister, Gérard [author.] Weissmann, Jody [author.] SpringerLink (Online service) Series: Universitext Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	116.	A Theory of Distributed Objects [electronic resource] : Asynchrony — Mobility — Groups — Components / by Denis Caromel, Ludovic Henrio. by Caromel, Denis [author.] Henrio, Ludovic [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	117.	Complexity Theory [electronic resource] : Exploring the Limits of Efficient Algorithms / by Ingo Wegener. by Wegener, Ingo [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	118.	Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / edited by James F. Peters, Andrzej Skowron, Didier Dubois, Jerzy W. Grzymała-Busse, Masahiro Inuiguchi, Lech Polkowski. by Peters, James F [editor.] Skowron, Andrzej [editor.] Dubois, Didier [editor.] Grzymała-Busse, Jerzy W [editor.] Inuiguchi, Masahiro [editor.] Polkowski, Lech [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3135 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	119.	Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez. by Ciobanu, Gabriel [editor.] Păun, Gheorghe [editor.] Pérez-Jiménez, Mario J [editor.] SpringerLink (Online service) Series: Natural Computing Series 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
	120.	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg [author.] Grohe, Martin [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, 2006 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.