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

Results
	2461.	Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / by Cooper, Barry S [editor.] Löwe, Benedikt [editor.] Sorbi, Andrea [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4497 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2462.	Transactions on Computational Collective Intelligence XXII [electronic resource] / by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9655 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2463.	Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / by Beckmann, Arnold [editor.] Dimitracopoulos, Costas [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5028 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)
	2464.	Intelligent Data Engineering and Automated Learning – IDEAL 2018 [electronic resource] : 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I / by Yin, Hujun [editor.] Camacho, David [editor.] Novais, Paulo [editor.] Tallón-Ballesteros, Antonio J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11314 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)
	2465.	Computer Networks [electronic resource] : 26th International Conference, CN 2019, Kamień Śląski, Poland, June 25–27, 2019, Proceedings / by Gaj, Piotr [editor.] Sawicki, Michał [editor.] Kwiecień, Andrzej [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1039 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)
	2466.	Intelligent Computing Theories and Application [electronic resource] : 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II / by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Huang, Zhi-Kai [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11644 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)
	2467.	Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / by Hutton, Graham [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11825 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)
	2468.	Metadata and Semantic Research [electronic resource] : 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers / by Garoufallou, Emmanouel [editor.] Fallucchi, Francesca [editor.] William De Luca, Ernesto [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1057 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)
	2469.	Advances in Cryptology – EUROCRYPT 2020 [electronic resource] : 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, May 10–14, 2020, Proceedings, Part I / by Canteaut, Anne [editor.] Ishai, Yuval [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12105 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)
	2470.	Information Fusion in Distributed Sensor Networks with Byzantines [electronic resource] / by Abrardo, Andrea [author.] Barni, Mauro [author.] Kallas, Kassem [author.] Tondi, Benedetta [author.] SpringerLink (Online service) Series: Signals and Communication Technology Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2471.	Provable and Practical Security [electronic resource] : 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings / by Nguyen, Khoa [editor.] Wu, Wenling [editor.] Lam, Kwok Yan [editor.] Wang, Huaxiong [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12505 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)
	2472.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 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)
	2473.	Computer Security – ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part I / by Atluri, Vijayalakshmi [editor.] Di Pietro, Roberto [editor.] Jensen, Christian D [editor.] Meng, Weizhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13554 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)
	2474.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings / by Boztas, Serdar [editor.] Lu, Hsiao-feng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4851 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2475.	Information Systems Security [electronic resource] : 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / by Jajoda, Sushil [editor.] Mazumdar, Chandan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9478 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2476.	Information and Communications Security [electronic resource] : 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers / by Hui, Lucas C. K [editor.] Qing, S. H [editor.] Shi, Elaine [editor.] Yiu, S. M [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8958 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2477.	Adaptive and Natural Computing Algorithms [electronic resource] : 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / by Beliczynski, Bartlomiej [editor.] Dzielinski, Andrzej [editor.] Iwanowski, Marcin [editor.] Ribeiro, Bernadete [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4431 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2478.	Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / by Zsók, Viktória [editor.] Butterfield, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4449 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2479.	Languages and Compilers for Parallel Computing [electronic resource] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / by Adve, Vikram [editor.] Garzarán, María Jesús [editor.] Petersen, Paul [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5234 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)
	2480.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings / by Esparza, Javier [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6015 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.