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

Results
	2161.	Model Checking Software [electronic resource] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by Laarman, Alfons [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12864 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)
	2162.	Advancing Research in Information and Communication Technology [electronic resource] : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups / by Goedicke, Michael [editor.] Neuhold, Erich [editor.] Rannenberg, Kai [editor.] SpringerLink (Online service) Series: IFIP AICT Festschrifts ; 600 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)
	2163.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by Kowalik, Łukasz [editor.] Pilipczuk, Michał [editor.] Rzążewski, Paweł [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12911 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)
	2164.	Mathematical Optimization Theory and Operations Research: Recent Trends [electronic resource] : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by Strekalovsky, Alexander [editor.] Kochetov, Yury [editor.] Gruzdeva, Tatiana [editor.] Orlov, Andrei [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1476 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)
	2165.	Society 5.0 [electronic resource] : First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers / by Gerber, Aurona [editor.] Hinkelmann, Knut [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1477 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)
	2166.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection [electronic resource] : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings / by Dignum, Frank [editor.] Corchado, Juan Manuel [editor.] De La Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12946 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)
	2167.	Service-Oriented Computing [electronic resource] : 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings / by Barzen, Johanna [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1429 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)
	2168.	Nature Inspired Optimisation for Delivery Problems [electronic resource] : From Theory to the Real World / by Urquhart, Neil [author.] SpringerLink (Online service) Series: Natural Computing Series 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)
	2169.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	2170.	Advances in Artificial Intelligence and Security [electronic resource] : 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part III / by Sun, Xingming [editor.] Zhang, Xiaorui [editor.] Xia, Zhihua [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1588 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)
	2171.	Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / by Gilly, Katja [editor.] Thomas, Nigel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13659 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)
	2172.	Formal Methods Teaching [electronic resource] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / by Dubois, Catherine [editor.] San Pietro, Pierluigi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13962 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)
	2173.	Automated Deduction – CADE 29 [electronic resource] : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings / by Pientka, Brigitte [editor.] Tinelli, Cesare [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14132 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)
	2174.	Information Systems and Design [electronic resource] : Third International Conference, ICID 2022, Tashkent, Uzbekistan, September 12–13, 2022, Revised Selected Papers / by Taratukhin, Victor [editor.] Levchenko, Artem [editor.] Kupriyanov, Yury [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1767 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)
	2175.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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)
	2176.	Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / by Kutylowski, Miroslaw [editor.] Cichon, Jacek [editor.] Kubiak, Przemylsaw [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4837 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)
	2177.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7666 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)
	2178.	Reliable Software Technologies – Ada-Europe 2011 [electronic resource] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / by Romanovsky, Alexander [editor.] Vardanega, Tullio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6652 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)
	2179.	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings / by Ramalingam, G [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5356 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)
	2180.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3655 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 8328 results.