Results of search for 'ccl=su:"Design."' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	941.	Comparative Genomics [electronic resource] : 21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27–28, 2024, Proceedings / by Scornavacca, Celine [editor.] Hernández-Rosales, Maribel [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 14616 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	942.	Cryptographic Hardware and Embedded Systems -- CHES 2003 [electronic resource] : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings / by Walter, Colin D [editor.] Koc, Cetin K [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2779 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)
	943.	Computer Aided Verification [electronic resource] : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings / by Halbwachs, Nicolas [editor.] Peled, Doron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1633 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)
	944.	Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [electronic resource] : Reconfigurable Computing Is Going Mainstream / by Glesner, Manfred [editor.] Zipf, Peter [editor.] Renovell, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2438 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)
	945.	Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / by Gopalakrishnan, Ganesh [editor.] Windley, Phillip [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1522 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)
	946.	Cryptographic Hardware and Embedded Systems - CHES 2001 [electronic resource] : Third International Workshop, Paris, France, May 14-16, 2001 Proceedings / by Koc, Cetin K [editor.] Nacchae, David [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2162 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)
	947.	Field Programmable Logic and Applications [electronic resource] : 9th International Workshops, FPL'99, Glasgow, UK, August 30 - September 1, 1999, Proceedings / by Lysaght, Patrick [editor.] Irvine, James [editor.] Hartenstein, Reiner [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1673 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)
	948.	Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation [electronic resource] : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings / by Soudris, Dimitrios [editor.] Pirsch, Peter [editor.] Barke, Erich [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1918 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)
	949.	Tasks and Methods in Applied Artificial Intelligence [electronic resource] : 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-98-AIE, Benicassim, Castellon, Spain, June, 1998 Proceedings, Volume II / by Pobil, Angel P. del [editor.] Mira, Jose [editor.] Moonis, Ali [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1416 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)
	950.	Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003, Proceedings / by Marik, Vladimir [editor.] McFarlane, Duncan [editor.] Valckenaers, Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2744 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)
	951.	Graph Drawing [electronic resource] : 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / by DiBattista, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1353 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)
	952.	High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition, Vienna, Austria, April 28-30, 1997, Proceedings / by Hertzberger, Bob [editor.] Sloot, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1225 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)
	953.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	954.	Computer Aided Systems Theory - EUROCAST'99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] Kopacek, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1798 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)
	955.	Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing [electronic resource] : 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings / by Hartenstein, Reiner W [editor.] Grünbacher, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1896 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)
	956.	Evolvable Systems: From Biology to Hardware [electronic resource] : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings / by Sipper, Moshe [editor.] Mange, Daniel [editor.] Perez-Uribe, Andres [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1478 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)
	957.	Theorem Proving in Higher Order Logics [electronic resource] : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings / by Grundy, Jim [editor.] Newey, Malcolm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1479 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)
	958.	Computer Aided Systems Theory - EUROCAST 2001 [electronic resource] : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers / by Moreno-Diaz, Roberto [editor.] Buchberger, Bruno [editor.] Freire, Jose-Luis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2178 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)
	959.	Numerical Methods and Applications [electronic resource] : 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers / by Dimov, Ivan [editor.] Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Zlatev, Zahari [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2542 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)
	960.	Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Hu, Alan J [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1427 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 1002 results.