Results of search for 'ccl=su:{Science and state}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1081.	Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / by Butler, Michael [editor.] Petre, Luigia [editor.] Sere, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2335 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)
	1082.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 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)
	1083.	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings / by Pandya, Paritosh K [editor.] Radhakrishnan, Jaikumar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2914 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)
	1084.	Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2922 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)
	1085.	Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003, Proceedings, Part IV / by Sloot, Peter M.A [editor.] Abramson, David [editor.] Bogdanov, Alexander V [editor.] Dongarra, Jack J [editor.] Zomaya, Albert Y [editor.] Gorbachev, Yuriy E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2660 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)
	1086.	Formal Methods and Software Engineering [electronic resource] : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings / by George, Chris [editor.] Miao, Huaikou [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2495 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)
	1087.	Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings / by Larsen, Kim G [editor.] Skyum, Sven [editor.] Winskel, Glynn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1443 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)
	1088.	Genetic Programming [electronic resource] : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings / by Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Langdon, William B [editor.] Miller, Julian F [editor.] Nordin, Peter [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1802 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)
	1089.	Advances in Computing Science - ASIAN'98 [electronic resource] : 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings / by Hsiang, Jieh [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1538 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)
	1090.	Database Theory - ICDT '97 [electronic resource] : 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings / by Afrati, Foto N [editor.] Kolaitis, Phokion G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1186 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)
	1091.	Implementation of Functional Languages [electronic resource] : 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / by Koopman, Pieter [editor.] Clack, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1868 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)
	1092.	EurAsia-ICT 2002: Information and Communication Technology [electronic resource] : First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings / by Shafazand, M. Hassan [editor.] Tjoa, A Min [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2510 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)
	1093.	Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1201 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)
	1094.	Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers / by Gregori, Enrico [editor.] Cherkasova, Ludmila [editor.] Cugola, Gianpaolo [editor.] Panzieri, Fabio [editor.] Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2376 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)
	1095.	SOFSEM 2001: Theory and Practice of Informatics [electronic resource] : 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001. Proceedings / by Pacholski, Leszek [editor.] Ruzicka, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2234 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)
	1096.	CONCUR '98 Concurrency Theory [electronic resource] : 9th International Conference, Nice, France, September 8-11, 1998, Proceedings / by Sangiorgi, Davide [editor.] Simone, Robert de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1466 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)
	1097.	Cooperative Information Agents IV - The Future of Information Agents in Cyberspace [electronic resource] : 4th International Workshop, CIA 2000 Boston, MA, USA, July 7-9, 2000 Proceedings / by Klusch, Matthias [editor.] Kerschberg, Larry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1860 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)
	1098.	Universal Routing Strategies for Interconnection Networks [electronic resource] / by Scheideler, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1390 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)
	1099.	High Performance Computing - HiPC'99 [electronic resource] : 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings / by Banerjee, Prith [editor.] Prasanna, Viktor K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1745 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)
	1100.	Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / by Dam, Mads [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1192 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Your search returned 1357 results.