Results of search for 'ccl=su:{Engineering} and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2361.	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / by Keller, Rainer [editor.] Kramer, David [editor.] Weiß, Jan-Philipp [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7686 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)
	2362.	Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8050 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)
	2363.	The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / by Kaschek, Roland [editor.] Delcambre, Lois M.L [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6520 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2364.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / by Giachino, Elena [editor.] Hähnle, Reiner [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7866 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)
	2365.	Transactions on Aspect-Oriented Software Development IX [electronic resource] / by Leavens, Gary T [editor.] Chiba, Shigeru [editor.] Haupt, Michael [editor.] Ostermann, Klaus [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 7271 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)
	2366.	Transactions on Petri Nets and Other Models of Concurrency IX [electronic resource] / by Koutny, Maciej [editor.] Haddad, Serge [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 8910 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)
	2367.	Transactions on Aspect-Oriented Software Development VI [electronic resource] : Special Issue on Aspects and Model-Driven Engineering / by Katz, Shmuel [editor.] Ossher, Harold [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 5560 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)
	2368.	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / by Kuich, Werner [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7020 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2369.	Architecting Dependable Systems VII [electronic resource] / by Casimiro, Antonio [editor.] de Lemos, Rogério [editor.] Gacek, Cristina [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6420 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)
	2370.	Transactions on Computational Collective Intelligence XXXI [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Richard [editor.] Mercik, Jacek [editor.] Motylska-Kuźma, Anna [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 11290 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2371.	Channel and Source Coding for Non-Volatile Flash Memories [electronic resource] / by Rajab, Mohammed [author.] SpringerLink (Online service) Series: Schriftenreihe der Institute für Systemdynamik (ISD) und optische Systeme (IOS) Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2372.	Evaluation of Novel Approaches to Software Engineering [electronic resource] : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by Damiani, Ernesto [editor.] Spanoudakis, George [editor.] Maciaszek, Leszek A [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1172 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2373.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III / by Lesot, Marie-Jeanne [editor.] Vieira, Susana [editor.] Reformat, Marek Z [editor.] Carvalho, João Paulo [editor.] Wilbik, Anna [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1239 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2374.	High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production [electronic resource] : 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by Jordan, Vladimir [editor.] Filimonov, Nikolay [editor.] Tarasov, Ilya [editor.] Faerman, Vladimir [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1304 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2375.	ICTERI 2021 Workshops [electronic resource] : ITER, MROL, RMSEBT, TheRMIT, UNLP 2021, Kherson, Ukraine, September 28–October 2, 2021, Proceedings / by Ignatenko, Oleksii [editor.] Kharchenko, Vyacheslav [editor.] Kobets, Vitaliy [editor.] Kravtsov, Hennadiy [editor.] Tarasich, Yulia [editor.] Ermolayev, Vadim [editor.] Esteban, David [editor.] Yakovyna, Vitaliy [editor.] Spivakovsky, Aleksander [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1635 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2376.	Proceedings of the 12th International Conference on Computer Engineering and Networks [electronic resource] / by Liu, Qi [editor.] Liu, Xiaodong [editor.] Cheng, Jieren [editor.] Shen, Tao [editor.] Tian, Yuan [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 961 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)
	2377.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14216 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)
	2378.	Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I / by André, Étienne [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14215 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)
	2379.	Security and Safety Interplay of Intelligent Software Systems [electronic resource] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by Hamid, Brahim [editor.] Gallina, Barbara [editor.] Shabtai, Asaf [editor.] Elovici, Yuval [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11552 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)
	2380.	Conceptual Modeling [electronic resource] : 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings / by Laender, Alberto H. F [editor.] Pernici, Barbara [editor.] Lim, Ee-Peng [editor.] de Oliveira, José Palazzo M [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11788 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

Topics

Your search returned 3111 results.