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

Results
	41.	Logic and Its Applications [electronic resource] : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by Khan, Md. Aquil [editor.] Manuel, Amaldev [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11600 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Algorithms and Complexity [electronic resource] : 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / by Heggernes, Pinar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11485 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)
	43.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / by Balduccini, Marcello [editor.] Lierler, Yuliya [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11481 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)
	44.	DNA Computing and Molecular Programming [electronic resource] : 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / by Thachuk, Chris [editor.] Liu, Yan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11648 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)
	45.	Perspectives of System Informatics [electronic resource] : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / by Bjørner, Nikolaj [editor.] Virbitskaite, Irina [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11964 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)
	46.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12477 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)
	47.	Supercomputing [electronic resource] : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 965 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)
	48.	Static Analysis [electronic resource] : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by Chang, Bor-Yuh Evan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11822 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)
	49.	A Journey from Process Algebra via Timed Automata to Model Learning [electronic resource] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday / by Jansen, Nils [editor.] Stoelinga, Mariëlle [editor.] van den Bos, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13560 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)
	50.	Logic, Language, Information, and Computation [electronic resource] : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / by Ciabattoni, Agata [editor.] Pimentel, Elaine [editor.] de Queiroz, Ruy J. G. B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13468 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)
	51.	Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by Seguin, Christel [editor.] Zeller, Marc [editor.] Prosvirnova, Tatiana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13525 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)
	52.	Chatbot Research and Design [electronic resource] : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22–23, 2022, Revised Selected Papers / by Følstad, Asbjørn [editor.] Araujo, Theo [editor.] Papadopoulos, Symeon [editor.] Law, Effie L.-C [editor.] Luger, Ewa [editor.] Goodwin, Morten [editor.] Brandtzaeg, Petter Bae [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13815 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)
	53.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / by Jensen, Kurt [editor.] van der Aalst, Wil M. P [editor.] Balbo, Gianfranco [editor.] Koutny, Maciej [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 7480 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Hildebrandt, Thomas [editor.] Ravara, António [editor.] van der Werf, Jan Martijn [editor.] Weidlich, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9421 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)
	55.	Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by De Nicola, Rocco [editor.] Kühn, Eva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9763 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)
	56.	Research in Computational Molecular Biology [electronic resource] : 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings / by Cowen, Lenore J [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 11467 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)
	57.	Models, Languages, and Tools for Concurrent and Distributed Programming [electronic resource] : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / by Boreale, Michele [editor.] Corradini, Flavio [editor.] Loreti, Michele [editor.] Pugliese, Rosario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11665 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)
	58.	Parallel Computational Technologies [electronic resource] : 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by Sokolinsky, Leonid [editor.] Zymbler, Mikhail [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1063 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)
	59.	Formal Methods – The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by ter Beek, Maurice H [editor.] McIver, Annabelle [editor.] Oliveira, José N [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11800 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)
	60.	Theoretical Aspects of Computing – ICTAC 2021 [electronic resource] : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings / by Cerone, Antonio [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12819 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2032 results.