Results of search for 'ccl=su:{Embedded computer systems -- Computer engineering -- Computer science | Engineering}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	981.	Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 6550 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)
	982.	Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / by Rojas, Ignacio [editor.] Joya, Gonzalo [editor.] Cabestany, Joan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7903 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	983.	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Rust, Heinrich [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3456 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)
	984.	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)
	985.	Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008, Proceedings / by Fleischer, Rudolf [editor.] Xu, Jinhui [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5034 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	986.	Distributed Computing -- IWDC 2004 [electronic resource] : 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings / by Das, Nabanita [editor.] Sen, Arunabha [editor.] Das, Sajal K [editor.] Sinha, Bhabani P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3326 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)
	987.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Abraham, Erika [editor.] Havelund, Klaus [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8413 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)
	988.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6253 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)
	989.	Reliable Software Technologies -- Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings / by Brorsson, Mats [editor.] Pinho, Luis Miguel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7308 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)
	990.	Artificial Neural Networks and Machine Learning – ICANN 2018 [electronic resource] : 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / by Kůrková, Věra [editor.] Manolopoulos, Yannis [editor.] Hammer, Barbara [editor.] Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11139 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	991.	Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by Khan, Md. Aquil [editor.] Manuel, Amaldev [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11600 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	992.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / by Balduccini, Marcello [editor.] Lierler, Yuliya [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11481 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)
	993.	Open Source Systems [electronic resource] : 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings / by Bordeleau, Francis [editor.] Sillitti, Alberto [editor.] Meirelles, Paulo [editor.] Lenarduzzi, Valentina [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 556 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)
	994.	High Performance Computing [electronic resource] : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings / by Weiland, Michèle [editor.] Juckeland, Guido [editor.] Trinitis, Carsten [editor.] Sadayappan, Ponnuswamy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11501 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)
	995.	Image Texture Analysis [electronic resource] : Foundations, Models and Algorithms / by Hung, Chih-Cheng [author.] Song, Enmin [author.] Lan, Yihua [author.] SpringerLink (Online service) 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)
	996.	Transactions on Computational Collective Intelligence XXXIII [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Xhafa, Fatos [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 11610 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	997.	Artificial Intelligence [electronic resource] : Second International Conference, SLAAI-ICAI 2018, Moratuwa, Sri Lanka, December 20, 2018, Revised Selected Papers / by Hemanth, Jude [editor.] Silva, Thushari [editor.] Karunananda, Asoka [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 890 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	998.	Post-Quantum Cryptography [electronic resource] : 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised Selected Papers / by Ding, Jintai [editor.] Steinwandt, Rainer [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11505 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)
	999.	DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / by Thachuk, Chris [editor.] Liu, Yan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11648 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)
	1000.	Languages and Compilers for Parallel Computing [electronic resource] : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers / by Hall, Mary [editor.] Sundar, Hari [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11882 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9062 results.