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

Results
	241.	Reachability Problems [electronic resource] : 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by Filiot, Emmanuel [editor.] Jungers, Raphaël [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11674 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)
	242.	Frontiers of Algorithmic Wisdom [electronic resource] : International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers / by Li, Minming [editor.] Sun, Xiaoming [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13461 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)
	243.	Distributed Computer and Communication Networks: Control, Computation, Communications [electronic resource] : 25th International Conference, DCCN 2022, Moscow, Russia, September 26–29, 2022, Revised Selected Papers / by Vishnevskiy, Vladimir M [editor.] Samouylov, Konstantin E [editor.] Kozyrev, Dmitry V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13766 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	244.	Arithmetic of Finite Fields [electronic resource] : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers / by Mesnager, Sihem [editor.] Zhou, Zhengchun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13638 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)
	245.	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops [electronic resource] : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers / by Masci, Paolo [editor.] Bernardeschi, Cinzia [editor.] Graziani, Pierluigi [editor.] Koddenbrock, Mario [editor.] Palmieri, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13765 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)
	246.	Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings / by Breitman, Karin [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5885 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)
	247.	Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / by Bošnački, Dragan [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9641 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)
	248.	Programming Multi-Agent Systems [electronic resource] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / by Dastani, Mehdi [editor.] Dix, Juergen [editor.] EL Fallah-Seghrouchni, Amal [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3067 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)
	249.	Graphical Models for Security [electronic resource] : Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / by Mauw, Sjouke [editor.] Kordy, Barbara [editor.] Jajodia, Sushil [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9390 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)
	250.	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / by Constable, Robert L [editor.] Silva, Alexandra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7230 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)
	251.	Secure IT Systems [electronic resource] : 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings / by Lipmaa, Helger [editor.] Mitrokotsa, Aikaterini [editor.] Matulevičius, Raimundas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10674 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)
	252.	Security, Privacy, and Anonymity in Computation, Communication, and Storage [electronic resource] : SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017, Proceedings / by Wang, Guojun [editor.] Atiquzzaman, Mohammed [editor.] Yan, Zheng [editor.] Choo, Kim-Kwang Raymond [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10658 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)
	253.	Software Engineering and Formal Methods [electronic resource] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by Johnsen, Einar Broch [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10886 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)
	254.	Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by Fioravanti, Fabio [editor.] Gallagher, John P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10855 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)
	255.	Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by Havelund, Klaus [editor.] Peleska, Jan [editor.] Roscoe, Bill [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10951 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)
	256.	Computer Security [electronic resource] : 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / by Lopez, Javier [editor.] Zhou, Jianying [editor.] Soriano, Miguel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11099 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)
	257.	Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by Hooker, John [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11008 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)
	258.	Security and Cryptography for Networks [electronic resource] : 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings / by Catalano, Dario [editor.] De Prisco, Roberto [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11035 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)
	259.	Rewriting Logic and Its Applications [electronic resource] : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / by Rusu, Vlad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11152 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)
	260.	Advanced Concepts for Intelligent Vision Systems [electronic resource] : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / by Blanc-Talon, Jacques [editor.] Helbert, David [editor.] Philips, Wilfried [editor.] Popescu, Dan [editor.] Scheunders, Paul [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11182 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 3111 results.