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

Results
	121.	Reliable Software Technologies – Ada-Europe 2014 [electronic resource] : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / edited by Laurent George, Tullio Vardanega. by George, Laurent [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8454 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
	122.	Intelligent Computer Mathematics [electronic resource] : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / edited by Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban. by Watt, Stephen M [editor.] Davenport, James H [editor.] Sexton, Alan P [editor.] Sojka, Petr [editor.] Urban, Josef [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8543 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
	123.	Reversible Computation [electronic resource] : 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings / edited by Shigeru Yamashita, Shin-ichi Minato. by Yamashita, Shigeru [editor.] Minato, Shin-ichi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8507 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
	124.	Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach. by Demri, Stéphane [editor.] Kapur, Deepak [editor.] Weidenbach, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8562 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
	125.	Deontic Logic and Normative Systems [electronic resource] : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings / edited by Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent. by Cariani, Fabrizio [editor.] Grossi, Davide [editor.] Meheus, Joke [editor.] Parent, Xavier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8554 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
	126.	Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Ślȩzak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang. by Cornelis, Chris [editor.] Kryszkiewicz, Marzena [editor.] Ślȩzak, Dominik [editor.] Ruiz, Ernestina Menasalvas [editor.] Bello, Rafael [editor.] Shang, Lin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8536 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
	127.	Rough Sets and Intelligent Systems Paradigms [electronic resource] : Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Marzena Kryszkiewicz, Chris Cornelis, Davide Ciucci, Jesús Medina-Moreno, Hiroshi Motoda, Zbigniew W. Raś. by Kryszkiewicz, Marzena [editor.] Cornelis, Chris [editor.] Ciucci, Davide [editor.] Medina-Moreno, Jesús [editor.] Motoda, Hiroshi [editor.] Raś, Zbigniew W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8537 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
	128.	Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings / edited by Zhipeng Cai, Alex Zelikovsky, Anu Bourgeois. by Cai, Zhipeng [editor.] Zelikovsky, Alex [editor.] Bourgeois, Anu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8591 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
	129.	Theory and Practice of Model Transformations [electronic resource] : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings / edited by Davide Ruscio, Dániel Varró. by Ruscio, Davide [editor.] Varró, Dániel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8568 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
	130.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I / edited by Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager. by Laurent, Anne [editor.] Strauss, Olivier [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 442 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
	131.	Implementation and Application of Automata [electronic resource] : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings / edited by Markus Holzer, Martin Kutrib. by Holzer, Markus [editor.] Kutrib, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8587 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
	132.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III / edited by Anne Laurent, Oliver Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager. by Laurent, Anne [editor.] Strauss, Oliver [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 444 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
	133.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II / edited by Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager. by Laurent, Anne [editor.] Strauss, Olivier [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 443 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
	134.	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem. by Biere, Armin [editor.] Bloem, Roderick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8559 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
	135.	Rewriting and Typed Lambda Calculi [electronic resource] : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gilles Dowek. by Dowek, Gilles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8560 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
	136.	Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa. by Klein, Gerwin [editor.] Gamboa, Ruben [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8558 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
	137.	Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann. by Seidl, Martina [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8570 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
	138.	Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / edited by Holger Giese, Barbara König. by Giese, Holger [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8571 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
	139.	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
	140.	Modelling Foundations and Applications [electronic resource] : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings / edited by Jordi Cabot, Julia Rubin. by Cabot, Jordi [editor.] Rubin, Julia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8569 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

Locations

Series

Topics

Your search returned 1562 results.