Results of search for 'ccl=su:{Software engineering}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	4361.	RoboCup 2000: Robot Soccer World Cup IV [electronic resource] / by Stone, Peter [editor.] Balch, Tucker [editor.] Kraetzschmar, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2019 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)
	4362.	SOFSEM '97: Theory and Practice of Informatics [electronic resource] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / by Plasil, Frantisek [editor.] Jeffery, Keith G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1338 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)
	4363.	Advanced Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / by Wangler, Benkt [editor.] Bergman, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1789 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)
	4364.	ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] King, Steve [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2651 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)
	4365.	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)
	4366.	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)
	4367.	Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Freksa, Christian [editor.] Jantzen, Matthias [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1337 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)
	4368.	Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Carreno, Victor A [editor.] Munoz, Cesar A [editor.] Tahar, Sofiene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2410 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)
	4369.	Workflow Management Systems for Process Organisations [electronic resource] / by Schael, Thomas [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1096 Edition: 2nd ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4370.	Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / by Lemos, Rogério le [editor.] Silva Weber, Taisy [editor.] Camargo Jr., Joao Batista [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2847 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)
	4371.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / by Davidson, Jack [editor.] Min, Sang Lyul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1985 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)
	4372.	Reliable Software Technologies - Ada-Europe '98 [electronic resource] : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / by Asplund, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1411 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4373.	Software Frameworks and Embedded Control Systems [electronic resource] / by Pasetti, Alessandro [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2231 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)
	4374.	Field Programmable Logic and Applications [electronic resource] : 13th International Conference, FPL 2003 Lisbon, Portugal, September 1–3, 2003 Proceedings / by Cheung, Peter Y.K [editor.] Constantinides, Georg A [editor.] Sousa, Jose T. de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2778 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)
	4375.	Non-Standard Inferences in Description Logics [electronic resource] : From Foundations and Definitions to Algorithms and Analysis / by Küsters, Ralf [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2100 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)
	4376.	Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] Weber, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2472 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)
	4377.	Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers / by Petta, Paolo [editor.] Tolksdorf, Robert [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2577 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)
	4378.	Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Baeten, Jos C.M [editor.] Lenstra, Jan Karel [editor.] Parrow, Joachim [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2719 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)
	4379.	Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers / by Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2179 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)
	4380.	Problem-Solving Methods [electronic resource] : Understanding, Description, Development, and Reuse / by Fensel, Dieter [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1791 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.