Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Computer-aided engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	The Internet of Things in the Industrial Sector [electronic resource] : Security and Device Connectivity, Smart Environments, and Industry 4.0 / by Mahmood, Zaigham [editor.] SpringerLink (Online service) Series: Computer Communications and Networks Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Computer Aided Systems Theory - EUROCAST 2007 [electronic resource] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / by Moreno Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4739 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Computational Science and Its Applications – ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Taniar, David [editor.] Murgante, Beniamino [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5593 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Curves and Surfaces [electronic resource] : 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by Boissonnat, Jean-Daniel [editor.] Cohen, Albert [editor.] Gibaru, Olivier [editor.] Gout, Christian [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9213 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings / by Namjoshi, Kedar [editor.] Yoneda, Tomohiro [editor.] Higashino, Teruo [editor.] Okamura, Yoshio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4762 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Augmented Reality [electronic resource] : Where We Will All Live / by Peddie, Jon [author.] SpringerLink (Online service) Edition: 2nd ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Mathematical Methods for Curves and Surfaces [electronic resource] : 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers / by Dæhlen, Morten [editor.] Floater, Michael S [editor.] Lyche, Tom [editor.] Merrien, Jean-Louis [editor.] Morken, Knut [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5862 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Computer-Aided Architectural Design. Design Imperatives: The Future is Now [electronic resource] : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16–18, 2021, Selected Papers / by Gerber, David [editor.] Pantazis, Evangelos [editor.] Bogosian, Biayna [editor.] Nahmad, Alicia [editor.] Miltiadis, Constantinos [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1465 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries [electronic resource] : 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5–7, 2023, Selected Papers / by Turrin, Michela [editor.] Andriotis, Charalampos [editor.] Rafiee, Azarakhsh [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1819 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Intelligent Computing in Engineering and Architecture [electronic resource] : 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers / by Smith, Ian F.C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4200 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / by Moreno-Díaz, Roberto [editor.] Pichler, Franz [editor.] Quesada Arencibia, Alexis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3643 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Mathematical Methods for Curves and Surfaces [electronic resource] : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers / by Floater, Michael [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Mørken, Knut [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10521 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Formal Methods in Computer-Aided Design [electronic resource] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / by Hu, Alan J [editor.] Martin, Andrew K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3312 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)
	14.	Field Programmable Logic and Application [electronic resource] : 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings / by Becker, Jürgen [editor.] Platzner, Marco [editor.] Vernalde, Serge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3203 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)
	15.	Computational Science and Its Applications –- ICCSA 2009 [electronic resource] : International Conference, Seoul, Korea, June 29--July 2, 2009, Proceedings, Part I / by Gervasi, Osvaldo [editor.] Taniar, David [editor.] Murgante, Beniamino [editor.] Laganà, Antonio [editor.] Mun, Youngsong [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5592 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / by Gabmeyer, Sebastian [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10375 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Systems Modeling and Simulation: Theory and Applications [electronic resource] : Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / by Baik, Doo-Kwon [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3398 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Mathematical Methods for Curves and Surfaces [electronic resource] : 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers / by Floater, Michael [editor.] Lyche, Tom [editor.] Mazure, Marie-Laurence [editor.] Morken, Knut [editor.] Schumaker, Larry L [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8177 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings / by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3707 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Large-Scale Scientific Computing [electronic resource] : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7116 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 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 34 results.