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

Results
	381.	Parallel Processing and Applied Mathematics [electronic resource] : 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Deelman, Ewa [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12043 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)
	382.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12142 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)
	383.	Theory and Applications of Satisfiability Testing – SAT 2020 [electronic resource] : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by Pulina, Luca [editor.] Seidl, Martina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12178 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)
	384.	Advances in Swarm Intelligence [electronic resource] : 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by Tan, Ying [editor.] Shi, Yuhui [editor.] Tuba, Milan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12145 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)
	385.	Rules and Reasoning [electronic resource] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by Gutiérrez-Basulto, Víctor [editor.] Kliegr, Tomáš [editor.] Soylu, Ahmet [editor.] Giese, Martin [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12173 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)
	386.	Frontiers in Software Engineering Education [electronic resource] : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / by Bruel, Jean-Michel [editor.] Capozucca, Alfredo [editor.] Mazzara, Manuel [editor.] Meyer, Bertrand [editor.] Naumchev, Alexandr [editor.] Sadovykh, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12271 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)
	387.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by Dima, Catalin [editor.] Shirmohammadi, Mahsa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12860 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	388.	Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Han, Yo-Sub [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13439 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)
	389.	Linking Theory and Practice of Digital Libraries [electronic resource] : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings / by Silvello, Gianmaria [editor.] Corcho, Oscar [editor.] Manghi, Paolo [editor.] Di Nunzio, Giorgio Maria [editor.] Golub, Koraljka [editor.] Ferro, Nicola [editor.] Poggi, Antonella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13541 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)
	390.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13608 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)
	391.	String Processing and Information Retrieval [electronic resource] : 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / by Arroyuelo, Diego [editor.] Poblete, Barbara [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13617 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)
	392.	Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / by Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13712 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)
	393.	Petri Nets [electronic resource] : Theoretical Models and Analysis Methods for Concurrent Systems / by Liu, Guanjun [author.] SpringerLink (Online service) 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)
	394.	Rules on the Web: From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / by Bikakis, Antonis [editor.] Fodor, Paul [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8620 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	395.	Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / by Seidl, Martina [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8570 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	396.	Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by Ábrahám, Erika [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9681 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)
	397.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9675 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)
	398.	Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Horváth, András [editor.] Wolter, Katinka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8721 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	399.	Practical Aspects of Declarative Languages [electronic resource] : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / by Alferes, José Júlio [editor.] Johansson, Moa [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11372 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)
	400.	Parallel Computing Technologies [electronic resource] : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11657 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

Titles

Your search returned 3843 results.