Results of search for 'ccl=su:{Logic} and su-to:Software Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1141.	Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by Martí-Oliet, Narciso [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9200 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)
	1142.	Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / by Baldoni, Matteo [editor.] Endriss, Ulle [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3904 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)
	1143.	Logic-Based Program Synthesis and Transformation [electronic resource] : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers / by Gupta, Gopal [editor.] Peña, Ricardo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8901 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)
	1144.	Runtime Verification [electronic resource] : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers / by Sokolsky, Oleg [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4839 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)
	1145.	Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / by Patitz, Matthew J [editor.] Stannett, Mike [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10240 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)
	1146.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by Klusáček, Dalibor [editor.] Cirne, Walfredo [editor.] Desai, Narayan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10773 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)
	1147.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers / by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5798 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)
	1148.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Jobstmann, Barbara [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9583 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)
	1149.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / by Ouaknine, Joel [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5813 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)
	1150.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1151.	Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / by Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14380 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)
	1152.	Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / by Fantechi, Alessandro [editor.] Pelliccione, Patrizio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9274 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)
	1153.	Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings / by Schmitt, Jens B [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7201 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)
	1154.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / by McMillan, Kenneth [editor.] Rival, Xavier [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8318 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1155.	Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Lima, Lucas [editor.] Molnár, Vince [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13768 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)
	1156.	Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / by Baier, Christel [editor.] Haverkort, Boudewijn R [editor.] Hermanns, Holger [editor.] Katoen, Joost-Pieter [editor.] Siegle, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2925 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)
	1157.	Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / by Reps, Thomas [editor.] Sagiv, Mooly [editor.] Bauer, Jörg [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4444 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)
	1158.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / by Ciardo, Gianfranco [editor.] Kindler, Ekkart [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8489 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)
	1159.	Quantitative Evaluation of Systems [electronic resource] : 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by Parker, David [editor.] Wolf, Verena [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11785 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)
	1160.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1436 results.