Results of search for 'ccl=su:{Logic.} and su-to:Computer Communication Networks' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	41.	Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / by Duan, Zhenhua [editor.] Ong, Luke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10610 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)
	42.	Information Security [electronic resource] : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / by Chen, Liqun [editor.] Manulis, Mark [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 11060 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)
	43.	PRIMA 2022: Principles and Practice of Multi-Agent Systems [electronic resource] : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings / by Aydoğan, Reyhan [editor.] Criado, Natalia [editor.] Lang, Jérôme [editor.] Sanchez-Anguix, Victor [editor.] Serramia, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13753 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)
	44.	Algorithms and Architectures for Parallel Processing [electronic resource] : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / by Vaidya, Jaideep [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11335 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)
	45.	Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / by Giannakopoulou, Dimitra [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8702 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)
	46.	Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings / by Van Hung, Dang [editor.] Ogawa, Mizuhito [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8172 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Information Security [electronic resource] : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / by Desmedt, Yvo [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7807 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)
	48.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / by Lecomte, Thierry [editor.] Pinger, Ralf [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9707 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)
	49.	Artificial Intelligence and Soft Computing [electronic resource] : 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Korytkowski, Marcin [editor.] Pedrycz, Witold [editor.] Tadeusiewicz, Ryszard [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11508 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)
	50.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Jensen, Kurt [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2988 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)
	51.	Topics in Cryptology – CT-RSA 2018 [electronic resource] : The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by Smart, Nigel P [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10808 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)
	52.	Architecture of Computing Systems – ARCS 2019 [electronic resource] : 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings / by Schoeberl, Martin [editor.] Hochberger, Christian [editor.] Uhrig, Sascha [editor.] Brehm, Jürgen [editor.] Pionteck, Thilo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11479 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)
	53.	High Performance Computing [electronic resource] : 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings / by Varbanescu, Ana-Lucia [editor.] Bhatele, Abhinav [editor.] Luszczek, Piotr [editor.] Marc, Baboulin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13289 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)
	54.	Natural Language Processing and Information Systems [electronic resource] : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings / by Kop, Christian [editor.] Fliedl, Günther [editor.] Mayr, Heinrich C [editor.] Métais, Elisabeth [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3999 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Dillig, Isil [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10747 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)
	56.	Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / by Cofer, Darren [editor.] Fantechi, Alessandro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5596 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)
	57.	OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Shamis, Pavel [editor.] Imam, Neena [editor.] Lopez, M. Graham [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9397 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)
	58.	Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings / by Ramanujam, Ram [editor.] Ramaswamy, Srini [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7154 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)
	59.	Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / by Gorton, Ian [editor.] Heinemann, George T [editor.] Crnkovic, Ivica [editor.] Schmidt, Heinz W [editor.] Stafford, Judith A [editor.] Szyperski, Clemens [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4063 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Developments in Language Theory [electronic resource] : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / by Jonoska, Nataša [editor.] Savchuk, Dmytro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12086 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

Item types

Series

Topics

Your search returned 491 results.