Bangalore University Library catalog › Results of search for 'su:"Software engineering " and itype:EB'

Your search returned 2506 results.

Not what you expected? Check for suggestions

First
« Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Next »
Last

	181.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings / edited by Bernhard Beckert. by Beckert, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Log in to add tags. Add to cart (remove)
	182.	Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Wu, Zhaohui [editor.] \| Chen, Chun [editor.] \| Guo, Minyi [editor.] \| Bu, Jiajun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	183.	Parallel Computing Technologies [electronic resource] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	184.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta [editor.] \| Greco, Gianluigi [editor.] \| Leone, Nicola [editor.] \| Terracina, Giorgio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	185.	Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers / edited by Barbara M. Chapman. by Chapman, Barbara M [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	186.	Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / edited by Wee Siong Ng, Beng-Chin Ooi, Aris M. Ouksel, Claudio Sartori. by Ng, Wee Siong [editor.] \| Ooi, Beng-Chin [editor.] \| Ouksel, Aris M [editor.] \| Sartori, Claudio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	187.	Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers / edited by Peter Van Roy. by Roy, Peter Van [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	188.	Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo [editor.] \| Garcia, Alessandro [editor.] \| Lucena, Carlos [editor.] \| Romanovsky, Alexander [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	189.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / edited by Hans-J�rg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. by Kreowski, Hans-J�rg [editor.] \| Montanari, Ugo [editor.] \| Orejas, Fernando [editor.] \| Rozenberg, Grzegorz [editor.] \| Taentzer, Gabriele [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	190.	Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens [editor.] \| Nielsen, Brian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	191.	Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan [editor.] \| Pfahringer, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	192.	High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma. by Daydé, Michel [editor.] \| Dongarra, Jack [editor.] \| Hernández, Vicente [editor.] \| Palma, José M. L. M [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	193.	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki. by Liu, Zhiming [editor.] \| Araki, Keijiro [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	194.	Automated Deduction – CADE-20 [electronic resource] : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings / edited by Robert Nieuwenhuis. by Nieuwenhuis, Robert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	195.	Scientific Engineering of Distributed Java Applications [electronic resource] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky. by Guelfi, Nicolas [editor.] \| Reggio, Gianna [editor.] \| Romanovsky, Alexander [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	196.	Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures / edited by Varmo Vene, Tarmo Uustalu. by Vene, Varmo [editor.] \| Uustalu, Tarmo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	197.	Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Fiadeiro, José Luiz [editor.] \| Harman, Neil [editor.] \| Roggenbach, Markus [editor.] \| Rutten, Jan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	198.	Advanced Data Mining and Applications [electronic resource] : First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings / edited by Xue Li, Shuliang Wang, Zhao Yang Dong. by Li, Xue [editor.] \| Wang, Shuliang [editor.] \| Dong, Zhao Yang [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	199.	Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille. by Ganter, Bernhard [editor.] \| Stumme, Gerd [editor.] \| Wille, Rudolf [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	200.	Engineering Societies in the Agents World V [electronic resource] : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers / edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli. by Gleizes, Marie-Pierre [editor.] \| Omicini, Andrea [editor.] \| Zambonelli, Franco [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)

First
« Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Next »
Last

Bangalore University Library

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics