Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Software engineering'

Your cart is empty.

FEEDBACK

Your search returned 2811 results.

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

	121.	Mobile Data Access [electronic resource] :First International Conference, MDA’99 Hong Kong, China, December 16–17, 1999 Proceedings / by Leong, Hong Va [editor.] \| Lee, Wang-Chien [editor.] \| Li, Bo [editor.] \| Yin, Li [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	122.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] :19th Conference Chennai, India, December 13-15, 1999 Proceedings / by Rangan, C. Pandu [editor.] \| Raman, V [editor.] \| Ramanujam, R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	123.	Approaches to Intelligence Agents [electronic resource] :Second Pacific Rim InternationalWorkshop on Multi-Agents, PRIMA’99 Kyoto, Japan, December 2–3, 1999 Proceedings / by Nakashima, Hideyuki [editor.] \| Zhang, Chengqi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	124.	Computing in Object-Oriented Parallel Environments [electronic resource] :Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999. Proceedings / by Matsuoka, Satoshi [editor.] \| Tholburn, Marydell [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	125.	Models and Tools for Managing Development Processes [electronic resource] / by Westfechtel, Bernhard [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	126.	Logic Programming and Nonmonotonic Reasoning [electronic resource] :5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings / by Gelfond, Michael [editor.] \| Leone, Nicola [editor.] \| Pfeifer, Gerald [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	127.	PREMO: A Framework for Multimedia Middleware [electronic resource] :Specification, Rationale, and Java Binding / by Duke, David J [author.] \| Herman, Ivan [author.] \| Marshall, M. Scott [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	128.	«UML»’99 — The Unified Modeling Language [electronic resource] :Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings / by France, Robert [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	129.	Partial Evaluation [electronic resource] :Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998 / by Hatcliff, John [editor.] \| Mogensen, Torben Æ [editor.] \| Thiemann, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	130.	SCI: Scalable Coherent Interface [electronic resource] :Architecture and Software for High-Performance Compute Clusters / by Hellwagner, Hermann [editor.] \| Reinefeld, Alexander [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	131.	SOFSEM’99: Theory and Practice of Informatics [electronic resource] :26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings / by Pavelka, Jan [editor.] \| Tel, Gerard [editor.] \| Bartošek, Miroslav [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	132.	Principles and Practice of Constraint Programming – CP’99 [electronic resource] :5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings / by Jaffar, Joxan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	133.	FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / by Wing, Jeannette M [editor.] \| Woodcock, Jim [editor.] \| Davies, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	134.	FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / by Wing, Jeannette M [editor.] \| Woodcock, Jim [editor.] \| Davies, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	135.	Correct Hardware Design and Verification Methods [electronic resource] :10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings / by Pierre, Laurence [editor.] \| Kropf, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	136.	Software Engineering — ESEC/FSE ’99 [electronic resource] :7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6–10, 1999 Proceedings / by Nierstrasz, Oscar [editor.] \| Lemoine, Michel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	137.	Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] :5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings / by Dams, Dennis [editor.] \| Gerth, Rob [editor.] \| Leue, Stefan [editor.] \| Massink, Mieke [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	138.	Computer Safety, Reliability and Security [electronic resource] :18th International Conference, SAFECOMP’99 Toulouse, France, September 27–29, 1999 Proceedings / by Pasquini, Alberto [author.] \| Felici, Massimo [editor.] \| Kanoun, Karama [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	139.	System Configuration Management [electronic resource] :19th International Symposium, SCM-9 Toulouse, France, September 5–7, 1999 Proceedings / by Estublier, Jacky [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	140.	Theorem Proving in Higher Order Logics [electronic resource] :12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / by Bertot, Yves [editor.] \| Dowek, Gilles [editor.] \| Théry, Laurent [editor.] \| Hirschowitz, André [editor.] \| Paulin, Christine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

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

Refine your search

Authors

Item types

Series

Topics