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

Results
	161.	Nano-Net [electronic resource] : 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings / edited by Alexandre Schmid, Sanjay Goel, Wei Wang, Valeriu Beiu, Sandro Carrara. by Schmid, Alexandre [editor.] Goel, Sanjay [editor.] Wang, Wei [editor.] Beiu, Valeriu [editor.] Carrara, Sandro [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 20 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	162.	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt [editor.] Billington, Jonathan [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5800 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	163.	Computational Intelligence and Intelligent Systems [electronic resource] : 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009. Proceedings / edited by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu. by Cai, Zhihua [editor.] Li, Zhenhua [editor.] Kang, Zhuo [editor.] Liu, Yong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 51 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	164.	Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings / edited by Guido Governatori, John Hall, Adrian Paschke. by Governatori, Guido [editor.] Hall, John [editor.] Paschke, Adrian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5858 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	165.	Advances in Machine Learning [electronic resource] : First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009. Proceedings / edited by Zhi-Hua Zhou, Takashi Washio. by Zhou, Zhi-Hua [editor.] Washio, Takashi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5828 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	166.	Advances in Software Engineering [electronic resource] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. by Kim, Tai-hoon [editor.] Fang, Wai-Chi [editor.] Lee, Changhoon [editor.] Arnett, Kirk P [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 30 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	167.	Architecting Dependable Systems VI [electronic resource] / edited by Rogério Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice Beek. by Lemos, Rogério [editor.] Fabre, Jean-Charles [editor.] Gacek, Cristina [editor.] Gadducci, Fabio [editor.] Beek, Maurice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5835 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	168.	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings / edited by Karin Breitman, Ana Cavalcanti. by Breitman, Karin [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5885 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	169.	Journal on Data Semantics XIV [electronic resource] / edited by Stefano Spaccapietra, Lois Delcambre. by Spaccapietra, Stefano [editor.] Delcambre, Lois [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5880 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	170.	The Semantic Web [electronic resource] : Fourth Asian Conference, ASWC 2009, Shanghai, China, December 6-9, 2009. Proceedings / edited by Asunción Gómez-Pérez, Yong Yu, Ying Ding. by Gómez-Pérez, Asunción [editor.] Yu, Yong [editor.] Ding, Ying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5926 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	171.	Learning and Intelligent Optimization [electronic resource] : Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers / edited by Thomas Stützle. by Stützle, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5851 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	172.	Replication [electronic resource] : Theory and Practice / edited by Bernadette Charron-Bost, Fernando Pedone, André Schiper. by Charron-Bost, Bernadette [editor.] Pedone, Fernando [editor.] Schiper, André [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5959 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	173.	Declarative Agent Languages and Technologies VII [electronic resource] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. by Baldoni, Matteo [editor.] Bentahar, Jamal [editor.] Riemsdijk, M. Birna [editor.] Lloyd, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5948 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	174.	Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5961 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	175.	Engineering Secure Software and Systems [electronic resource] : Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings / edited by Fabio Massacci, Dan Wallach, Nicola Zannone. by Massacci, Fabio [editor.] Wallach, Dan [editor.] Zannone, Nicola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5965 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	176.	Graph Drawing [electronic resource] : 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers / edited by David Eppstein, Emden R. Gansner. by Eppstein, David [editor.] Gansner, Emden R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5849 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	177.	Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni. by Dastani, Mehdi [editor.] El Fallah Segrouchni, Amal [editor.] Leite, João [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6039 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	178.	Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers / edited by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li. by Gao, Guang R [editor.] Pollock, Lori L [editor.] Cavazos, John [editor.] Li, Xiaoming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5898 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	179.	Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha. by Clarke, Dave [editor.] Agha, Gul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6116 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	180.	Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai. by Hull, Richard [editor.] Mendling, Jan [editor.] Tai, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6336 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 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 258 results.