Results of search for 'ccl=su:{Theory of Computation.} and su-to:Software Engineering and su-to:Theory of Computation and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	801.	Architecting Dependable Systems [electronic resource] / by Lemos, Rogério de [editor.] Gacek, Cristina [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2677 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)
	802.	Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings / by Cook, William J [editor.] Schulz, Andreas S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2337 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)
	803.	SOFSEM '98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings / by Rovan, Branislav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1521 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)
	804.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / by Cortesi, Agostino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2294 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)
	805.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] Voss, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2104 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)
	806.	Mathematics of Program Construction [electronic resource] : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings / by Jeuring, Johan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1422 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)
	807.	Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Sventek, Joseph [editor.] Coulson, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1795 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)
	808.	Genetic Programming [electronic resource] : Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings / by Poli, Riccardo [editor.] Nordin, Peter [editor.] Langdon, William B [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1598 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)
	809.	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)
	810.	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)
	811.	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)
	812.	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)
	813.	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)
	814.	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)
	815.	Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / by Porto, Antonio [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1906 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)
	816.	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)
	817.	Advances in Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers / by Manolopoulos, Yannis [editor.] Evripidou, Skevos [editor.] Kakas, Antonis C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2563 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)
	818.	Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / by Cassez, Franck [editor.] Jard, Claude [editor.] Rozoy, Brigitte [editor.] Ryan, Mark D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2067 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)
	819.	High-Performance Computing and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / by Sloot, Peter [editor.] Bubak, Marian [editor.] Hoekstra, Alfons [editor.] Hertzberger, Bob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1593 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)
	820.	Informatics [electronic resource] : 10 Years Back. 10 Years Ahead / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2000 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 835 results.