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

Results
	181.	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
	182.	Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by Ermolayev, Vadim [editor.] Mayr, Heinrich C [editor.] Nikitchenko, Mykola [editor.] Spivakovsky, Aleksander [editor.] Zholtkevych, Grygoriy [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 469 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
	183.	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
	184.	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
	185.	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
	186.	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
	187.	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
	188.	Software Reuse for Dynamic Systems in the Cloud and Beyond [electronic resource] : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings / edited by Ina Schaefer, Ioannis Stamelos. by Schaefer, Ina [editor.] Stamelos, Ioannis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8919 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
	189.	Membrane Computing [electronic resource] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron. by Gheorghe, Marian [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Sosík, Petr [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8961 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
	190.	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
	191.	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
	192.	Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by Fiadeiro, José Luiz [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
	193.	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
	194.	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
	195.	A Practical Theory of Reactive Systems [electronic resource] : Incremental Modeling of Dynamic Behaviors / by Reino Kurki-Suonio. by Kurki-Suonio, Reino [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
	196.	Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa. by Kluge, W [author.] Brauer, W [editor.] Rozenberg, G [editor.] Salomaa, A [editor.] 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
	197.	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
	198.	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
	199.	Implementation of Functional Languages [electronic resource] : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers / edited by Phil Trinder, Greg J. Michaelson, Ricardo Peña. by Trinder, Phil [editor.] Michaelson, Greg J [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3145 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
	200.	Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp. by Moreno, J. Manuel [editor.] Madrenas, Jordi [editor.] Cosp, Jordi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3637 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

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1562 results.