Bangalore University Library catalog › Results of search for 'su:"Software engineering " and su-to:Software Engineering/Programming and Operating Systems'

Your search returned 1726 results.

Not what you expected? Check for suggestions

First
« Previous
1
2
3
4
5
6
7
8
9
10
Next »
Last

	141.	Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz [editor.] \| Mosses, Peter D [editor.] \| Orejas, Fernando [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)
	142.	Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni. by Hankin, Chris [editor.] \| Siveroni, Igor [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)
	143.	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Bouyssounouse, Bruno [author.] \| Sifakis, Joseph [author.] \| 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)
	144.	Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Glück, Robert [editor.] \| Lowry, Michael [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)
	145.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Halbwachs, Nicolas [editor.] \| Zuck, Lenore D [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)
	146.	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Mooly Sagiv. by Sagiv, Mooly [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)
	147.	Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings / edited by Rune Winther, Bjørn Axel Gran, Gustav Dahll. by Winther, Rune [editor.] \| Gran, Bjørn Axel [editor.] \| Dahll, Gustav [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)
	148.	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust. by Rust, Heinrich [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1). Place hold Add to cart (remove)
	149.	Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / edited by Stefan Leue, Tarja Johanna Systä. by Leue, Stefan [editor.] \| Systä, Tarja Johanna [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)
	150.	Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / edited by Peter M. A. Sloot, Alfons G. Hoekstra, Thierry Priol, Alexander Reinefeld, Marian Bubak. by Sloot, Peter M. A [editor.] \| Hoekstra, Alfons G [editor.] \| Priol, Thierry [editor.] \| Reinefeld, Alexander [editor.] \| Bubak, Marian [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)
	151.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] \| Gavrilova, Marina L [editor.] \| Kumar, Vipin [editor.] \| Laganà, Antonio [editor.] \| Lee, Heow Pueh [editor.] \| Mun, Youngsong [editor.] \| Taniar, David [editor.] \| Tan, Chih Jeng Kenneth [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)
	152.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] \| Gavrilova, Marina L [editor.] \| Kumar, Vipin [editor.] \| Laganà, Antonio [editor.] \| Lee, Heow Pueh [editor.] \| Mun, Youngsong [editor.] \| Taniar, David [editor.] \| Tan, Chih Jeng Kenneth [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)
	153.	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] \| Gavrilova, Marina L [editor.] \| Kumar, Vipin [editor.] \| Laganà, Antonio [editor.] \| Lee, Heow Pueh [editor.] \| Mun, Youngsong [editor.] \| Taniar, David [editor.] \| Tan, Chih Jeng Kenneth [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)
	154.	Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter van Beek. by Beek, 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)
	155.	Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings / edited by Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder. by Reussner, Ralf [editor.] \| Mayer, Johannes [editor.] \| Stafford, Judith A [editor.] \| Overhage, Sven [editor.] \| Becker, Steffen [editor.] \| Schroeder, Patrick J [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)
	156.	Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings / edited by Henk Obbink, Klaus Pohl. by Obbink, Henk [editor.] \| Pohl, Klaus [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)
	157.	Conceptual Modeling – ER 2005 [electronic resource] : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings / edited by Lois Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor. by Delcambre, Lois [editor.] \| Kop, Christian [editor.] \| Mayr, Heinrich C [editor.] \| Mylopoulos, John [editor.] \| Pastor, Oscar [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)
	158.	Distributed and Parallel Computing [electronic resource] : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings / edited by Michael Hobbs, Andrzej M. Goscinski, Wanlei Zhou. by Hobbs, Michael [editor.] \| Goscinski, Andrzej M [editor.] \| Zhou, Wanlei [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)
	159.	High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings / edited by Laurence T. Yang, Omer F. Rana, Beniamino Di Martino, Jack Dongarra. by Yang, Laurence T [editor.] \| Rana, Omer F [editor.] \| Martino, Beniamino Di [editor.] \| Dongarra, Jack [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)
	160.	Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings / edited by pInar Yolum, Tunga G�ng�r, Fikret G�rgen, Can �zturan. by Yolum, pInar [editor.] \| G�ng�r, Tunga [editor.] \| G�rgen, Fikret [editor.] \| �zturan, Can [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
Next »
Last

Bangalore University Library

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics