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

Results
	721.	ECOOP 2011 – Object-Oriented Programming [electronic resource] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings / edited by Mira Mezini. by Mezini, Mira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6813 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	722.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers / edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite. by Dastani, Mehdi [editor.] Fallah Seghrouchni, Amal [editor.] Hübner, Jomi [editor.] Leite, João [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6822 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	723.	Emotional Cognitive Neural Algorithms with Engineering Applications [electronic resource] : Dynamic Logic: FromVague to Crisp / by Leonid Perlovsky, Ross Deming, Roman Ilin. by Perlovsky, Leonid [author.] Deming, Ross [author.] Ilin, Roman [author.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 371 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	724.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Eekelen, Marko [editor.] Geuvers, Herman [editor.] Schmaltz, Julien [editor.] Wiedijk, Freek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6898 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	725.	Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. by Page, Rex [editor.] Horváth, Zoltán [editor.] Zsók, Viktória [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6546 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	726.	Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. by Corradini, Andrea [editor.] Klin, Bartek [editor.] Cîrstea, Corina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6859 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	727.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle. by Owe, Olaf [editor.] Steffen, Martin [editor.] Telle, Jan Arne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6914 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	728.	Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. by Murlak, Filip [editor.] Sankowski, Piotr [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6907 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	729.	Business Process Management [electronic resource] : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings / edited by Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf. by Rinderle-Ma, Stefanie [editor.] Toumani, Farouk [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6896 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	730.	Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6858 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	731.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. by Kanazawa, Makoto [editor.] Kornai, András [editor.] Kracht, Marcus [editor.] Seki, Hiroyuki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6878 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	732.	CONCUR 2011 – Concurrency Theory [electronic resource] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König. by Katoen, Joost-Pieter [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6901 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	733.	Theoretical Aspects of Computing – ICTAC 2011 [electronic resource] : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings / edited by Antonio Cerone, Pekka Pihlajasaari. by Cerone, Antonio [editor.] Pihlajasaari, Pekka [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6916 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	734.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers / edited by Leszek A. Maciaszek, Pericles Loucopoulos. by Maciaszek, Leszek A [editor.] Loucopoulos, Pericles [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 230 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	735.	Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav. by Yahav, Eran [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6887 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	736.	Principles and Practice of Constraint Programming – CP 2011 [electronic resource] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings / edited by Jimmy Lee. by Lee, Jimmy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6876 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	737.	Software Architecture [electronic resource] : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings / edited by Ivica Crnkovic, Volker Gruhn, Matthias Book. by Crnkovic, Ivica [editor.] Gruhn, Volker [editor.] Book, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6903 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	738.	The NCL Natural Constraint Language [electronic resource] / by Jianyang Zhou. by Zhou, Jianyang [author.] SpringerLink (Online service) Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	739.	Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. by Ditmarsch, Hans [editor.] Lang, Jérôme [editor.] Ju, Shier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6953 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	740.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard. by Ayala, José L [editor.] García-Cámara, Braulio [editor.] Prieto, Manuel [editor.] Ruggiero, Martino [editor.] Sicard, Gilles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6951 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 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 994 results.