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

Results
	2901.	Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by Probst, Christian W [editor.] Hankin, Chris [editor.] Hansen, René Rydhof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9560 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2902.	Understanding Analog Side Channels Using Cryptography Algorithms [electronic resource] / by Zajić, Alenka [author.] Prvulovic, Milos [author.] SpringerLink (Online service) Edition: 1st 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)
	2903.	Data Engineering in Medical Imaging [electronic resource] : First MICCAI Workshop, DEMI 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings / by Bhattarai, Binod [editor.] Ali, Sharib [editor.] Rau, Anita [editor.] Nguyen, Anh [editor.] Namburete, Ana [editor.] Caramalau, Razvan [editor.] Stoyanov, Danail [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14314 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)
	2904.	Introduction to Software Architecture [electronic resource] : Innovative Design using Clean Architecture and Model-Driven Engineering / by Lano, Kevin [author.] Yassipour Tehrani, Sobhan [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	2905.	Reachability Problems [electronic resource] : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / by Bournez, Olivier [editor.] Formenti, Enrico [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14235 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)
	2906.	Computer Performance Engineering and Stochastic Modelling [electronic resource] : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20–23, 2023, Proceedings / by Iacono, Mauro [editor.] Scarpa, Marco [editor.] Barbierato, Enrico [editor.] Serrano, Salvatore [editor.] Cerotti, Davide [editor.] Longo, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14231 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)
	2907.	Introduction to Cybersecurity [electronic resource] : A Multidisciplinary Challenge / by Sharp, Robin [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
	2908.	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7007 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)
	2909.	Transactions on Petri Nets and Other Models of Concurrency VI [electronic resource] / by van der Aalst, Wil M. P [editor.] Ajmone Marsan, Marco [editor.] Franceschinis, Giuliana [editor.] Kleijn, Jetty [editor.] Kristensen, Lars M [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7400 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)
	2910.	Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers / by Fernandes, João M [editor.] Lämmel, Ralf [editor.] Visser, Joost [editor.] Saraiva, João [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6491 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)
	2911.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 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)
	2912.	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)
	2913.	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)
	2914.	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)
	2915.	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)
	2916.	Journal on Data Semantics XIV [electronic resource] / by Spaccapietra, Stefano [editor.] Delcambre, Lois [editor.] SpringerLink (Online service) Series: Journal on Data Semantics ; 5880 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)
	2917.	Language, Culture, Computation: Computing for the Humanities, Law, and Narratives [electronic resource] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II / by Dershowitz, Nachum [editor.] Nissan, Ephraim [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8002 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)
	2918.	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)
	2919.	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)
	2920.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.