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

Results
	4801.	From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Di Pierro, Alessandra [editor.] Malacaria, Pasquale [editor.] Nagarajan, Rajagopal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12065 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)
	4802.	Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12188 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)
	4803.	Bio-inspired Information and Communication Technologies [electronic resource] : 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by Chen, Yifan [editor.] Nakano, Tadashi [editor.] Lin, Lin [editor.] Mahfuz, Mohammad Upal [editor.] Guo, Weisi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 329 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)
	4804.	6GN for Future Wireless Networks [electronic resource] : Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by Wang, Xiaofei [editor.] Leung, Victor C. M [editor.] Li, Keqiu [editor.] Zhang, Haijun [editor.] Hu, Xiping [editor.] Liu, Qiang [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 337 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)
	4805.	Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems [electronic resource] : IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part V / by Dolgui, Alexandre [editor.] Bernard, Alain [editor.] Lemoine, David [editor.] von Cieminski, Gregor [editor.] Romero, David [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 634 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)
	4806.	Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Schoitsch, Erwin [editor.] Guiochet, Jérémie [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13415 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)
	4807.	Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13702 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)
	4808.	Models for Research and Understanding [electronic resource] : Exploring Dynamic Systems, Unconventional Approaches, and Applications / by Raczynski, Stanislaw [author.] SpringerLink (Online service) Series: Simulation Foundations, Methods and Applications 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)
	4809.	Computational Science – ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I / by Mikyška, Jiří [editor.] de Mulatier, Clélia [editor.] Paszynski, Maciej [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14073 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)
	4810.	Hypothesis Generation and Interpretation [electronic resource] : Design Principles and Patterns for Big Data Applications / by Ishikawa, Hiroshi [author.] SpringerLink (Online service) Series: Studies in Big Data ; 139 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4811.	Cryptocoding Based on Quasigroups [electronic resource] / by Mechkaroska, Daniela [author.] Popovska-Mitrovikj, Aleksandra [author.] Bakeva, Verica [author.] SpringerLink (Online service) Series: SpringerBriefs in Information Security and Cryptography 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)
	4812.	Formal Aspects of Component Software [electronic resource] : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers / by Cámara, Javier [editor.] Jongmans, Sung-Shik [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14485 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)
	4813.	Swarm Intelligence [electronic resource] : 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings / by Dorigo, Marco [editor.] Birattari, Mauro [editor.] Di Caro, Gianni A [editor.] Doursat, René [editor.] Engelbrecht, Andries P [editor.] Floreano, Dario [editor.] Gambardella, Luca Maria [editor.] Gross, Roderich [editor.] Sahin, Erol [editor.] Stützle, Thomas [editor.] Sayama, Hiroki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6234 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)
	4814.	Reliable Software Technologies – Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by Bertogna, Marko [editor.] Pinho, Luís Miguel [editor.] Quiñones, Eduardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9695 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)
	4815.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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)
	4816.	Applied Cryptography and Network Security [electronic resource] : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings / by Manulis, Mark [editor.] Sadeghi, Ahmad-Reza [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9696 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)
	4817.	Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing [electronic resource] : 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers / by Zamuda, Aleš [editor.] Das, Swagatam [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] Panigrahi, Bijaya Ketan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1092 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)
	4818.	Network-Based Analysis of Dynamical Systems [electronic resource] : Methods for Controllability and Observability Analysis, and Optimal Sensor Placement / by Leitold, Dániel [author.] Vathy-Fogarassy, Ágnes [author.] Abonyi, János [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	4819.	Artificial Life and Evolutionary Computation [electronic resource] : 14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18–20, 2019, Revised Selected Papers / by Cicirelli, Franco [editor.] Guerrieri, Antonio [editor.] Pizzuti, Clara [editor.] Socievole, Annalisa [editor.] Spezzano, Giandomenico [editor.] Vinci, Andrea [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1200 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)
	4820.	Cyber Security and Computer Science [electronic resource] : Second EAI International Conference, ICONCS 2020, Dhaka, Bangladesh, February 15-16, 2020, Proceedings / by Bhuiyan, Touhid [editor.] Rahman, Md. Mostafijur [editor.] Ali, Md. Asraf [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 325 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.