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

Results
	101.	Rules and Reasoning [electronic resource] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / by Benzmüller, Christoph [editor.] Ricca, Francesco [editor.] Parent, Xavier [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11092 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)
	102.	Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11138 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)
	103.	Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Massoni, Tiago [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11254 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)
	104.	Formal Methods – Fun for Everybody [electronic resource] : First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / by Cerone, Antonio [editor.] Roggenbach, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1301 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)
	105.	Engineering Trustworthy Software Systems [electronic resource] : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by Bowen, Jonathan P [editor.] Liu, Zhiming [editor.] Zhang, Zili [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11430 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)
	106.	Implementation and Application of Automata [electronic resource] : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / by Hospodár, Michal [editor.] Jirásková, Galina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11601 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)
	107.	Frontiers in Software Engineering Education [electronic resource] : First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / by Bruel, Jean-Michel [editor.] Capozucca, Alfredo [editor.] Mazzara, Manuel [editor.] Meyer, Bertrand [editor.] Naumchev, Alexandr [editor.] Sadovykh, Andrey [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12271 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)
	108.	Descriptional Complexity of Formal Systems [electronic resource] : 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings / by Han, Yo-Sub [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13439 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)
	109.	Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by Lin, Anthony W [editor.] Zetzsche, Georg [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13608 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)
	110.	Rules on the Web: From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings / by Bikakis, Antonis [editor.] Fodor, Paul [editor.] Roman, Dumitru [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8620 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)
	111.	Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / by Seidl, Martina [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8570 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)
	112.	Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by Ábrahám, Erika [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9681 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)
	113.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by Butler, Michael [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9675 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)
	114.	Computer Performance Engineering [electronic resource] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / by Horváth, András [editor.] Wolter, Katinka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8721 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)
	115.	Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / by Combemale, Benoit [editor.] Cheng, Betty H.C [editor.] France, Robert B [editor.] Jézéquel, Jean-Marc [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9400 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)
	116.	Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by Calinescu, Radu [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9276 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)
	117.	Verification and Evaluation of Computer and Communication Systems [electronic resource] : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by Atig, Mohamed Faouzi [editor.] Bensalem, Saddek [editor.] Bliudze, Simon [editor.] Monsuez, Bruno [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11181 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)
	118.	Numerical Software Verification [electronic resource] : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by Zamani, Majid [editor.] Zufferey, Damien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11652 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)
	119.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / by Kern-Isberner, Gabriele [editor.] Ognjanović, Zoran [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11726 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)
	120.	Language and Automata Theory and Applications [electronic resource] : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / by Leporati, Alberto [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12038 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 1808 results.