Your search returned 279 results.

Results
	261.	Reliable Software Technologies -- Ada-Europe 2003 [electronic resource] : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings / by Rosen, Jean-Pierre [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2655 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	262.	Self-Adaptive Software [electronic resource] : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers / by Laddaga, Robert [editor.] Robertson, Paul [editor.] Shrobe, Howie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2614 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	263.	Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / by Montanari, Ugo [editor.] Rolim, Jose D.P [editor.] Welzl, Emo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1853 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	264.	SDL 2001: Meeting UML [electronic resource] : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings / by Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2078 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	265.	Reliable Software Technologies - Ada-Europe '97 [electronic resource] : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings / by Hardy, Keith [editor.] Briggs, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1251 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	266.	Dependable Computing - EDDC-3 [electronic resource] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings / by Hlavicka, Jan [editor.] Maehle, Erik [editor.] Pataricza, Andras [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1667 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	267.	Automated Technology for Verification and Analysis [electronic resource] : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings / by Wang, Farn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3299 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	268.	Self-Stabilizing Systems [electronic resource] : 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings / by Huang, Shing-Tsaan [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2704 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	269.	Plan-Based Control of Robotic Agents [electronic resource] : Improving the Capabilities of Autonomous Robots / by Beetz, Michael [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2554 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	270.	Formal Approaches to Agent-Based Systems [electronic resource] : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2699 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	271.	Handheld and Ubiquitous Computing [electronic resource] : First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings / by Gellersen, Hans-W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1707 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	272.	Reliable Software Technologies - Ada-Europe 2001 [electronic resource] : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings / by Craeynest, Dirk [editor.] Strohmeier, Alfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2043 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	273.	Mobile Data Management [electronic resource] : Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 Proceedings / by Tan, Kian-Lee [editor.] Franklin, Michael J [editor.] Lui, John C.-S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1987 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	274.	Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / by Krall, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2826 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	275.	Handheld and Ubiquitous Computing [electronic resource] : Second International Symposium, HUC 2000 Bristol, UK, September 25–27, 2000 Proceedings / by Thomas, Peter [editor.] Gellersen, Hans-W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1927 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	276.	Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Zhao, Feng [editor.] Guibas, Leonidas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2634 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	277.	Self-Stabilizing Systems [electronic resource] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / by Datta, Ajoy K [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2194 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	278.	UbiComp 2003: Ubiquitous Computing [electronic resource] : 5th International Conference, Seattle, WA, USA, October 12-15, 2003, Proceedings / by Dey, Anind K [editor.] Schmidt, Albrecht [editor.] McCarthy, Joseph F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2864 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	279.	Reliable Software Technologies - Ada-Europe '99 [electronic resource] : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / by Gonzalez Harbour, Michael [editor.] de la Puente, Juan A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1622 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
5
6
7
8
9
10
11
12
13
14

© 2024 IIIT-Delhi, library@iiitd.ac.in