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

Results
	281.	Abstraction, Reformulation and Approximation [electronic resource] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. by Zucker, Jean-Daniel [editor.] Saitta, Lorenza [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3607 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
	282.	Modeling Decisions for Artificial Intelligence [electronic resource] : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Sadaaki Miyamoto. by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Miyamoto, Sadaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3558 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
	283.	Conceptual Structures: Common Semantics for Sharing Knowledge [electronic resource] : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings / edited by Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme. by Dau, Frithjof [editor.] Mugnier, Marie-Laure [editor.] Stumme, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3596 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
	284.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings / edited by Lluís Godo. by Godo, Lluís [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3571 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
	285.	Modeling and Using Context [electronic resource] : 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings / edited by Anind Dey, Boicho Kokinov, David Leake, Roy Turner. by Dey, Anind [editor.] Kokinov, Boicho [editor.] Leake, David [editor.] Turner, Roy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3554 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
	286.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings / edited by Petra Perner, Atsushi Imiya. by Perner, Petra [editor.] Imiya, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3587 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
	287.	Learning Theory [electronic resource] : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings / edited by Peter Auer, Ron Meir. by Auer, Peter [editor.] Meir, Ron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3559 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
	288.	Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings / edited by Luke Ong. by Ong, Luke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3634 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
	289.	Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid. by Godefroid, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3639 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
	290.	Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings / edited by Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro. by Bravetti, Mario [editor.] Kloul, Leïla [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3670 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
	291.	Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Leite, João [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] Yolum, pInar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3476 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
	292.	Constraint Solving and Language Processing [electronic resource] : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / edited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen. by Christiansen, Henning [editor.] Skadhauge, Peter Rossen [editor.] Villadsen, Jørgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3438 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
	293.	CONCUR 2005 – Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / edited by Martín Abadi, Luca Alfaro. by Abadi, Martín [editor.] Alfaro, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3653 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
	294.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli. by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3655 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
	295.	Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3657 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
	296.	Cryptographic Hardware and Embedded Systems – CHES 2005 [electronic resource] : 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings / edited by Josyula R. Rao, Berk Sunar. by Rao, Josyula R [editor.] Sunar, Berk [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3659 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
	297.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 12th European PVM/MPI Users’ Group Meeting Sorrento, Italy, September 18-21, 2005. Proceedings / edited by Beniamino Martino, Dieter Kranzlmüller, Jack Dongarra. by Martino, Beniamino [editor.] Kranzlmüller, Dieter [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3666 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
	298.	Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta. by Gabbrielli, Maurizio [editor.] Gupta, Gopal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3668 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
	299.	Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot. by Blache, Philippe [editor.] Stabler, Edward [editor.] Busquets, Joan [editor.] Moot, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3492 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
	300.	Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Morari, Manfred [editor.] Thiele, Lothar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3414 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.