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

Results
	1721.	Frontiers of Combining Systems [electronic resource] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / by Sattler, Uli [editor.] Suda, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14279 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)
	1722.	Job Scheduling Strategies for Parallel Processing [electronic resource] : 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers / by Klusáček, Dalibor [editor.] Corbalán, Julita [editor.] Rodrigo, Gonzalo P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14283 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)
	1723.	Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings / by Dediu, Adrian-Horia [editor.] Martín-Vide, Carlos [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7810 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)
	1724.	Testing Software and Systems [electronic resource] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by Wotawa, Franz [editor.] Nica, Mihai [editor.] Kushik, Natalia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9976 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)
	1725.	Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / by Ur, Shmuel [editor.] Bin, Eyal [editor.] Wolfsthal, Yaron [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3875 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)
	1726.	Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by Fränzle, Martin [editor.] Kapur, Deepak [editor.] Zhan, Naijun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9984 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)
	1727.	Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / by Luck, Michael [editor.] Padgham, Lin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4951 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1728.	Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by Leite, João [editor.] Omicini, Andrea [editor.] Torroni, Paolo [editor.] Yolum, Pinar [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3476 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)
	1729.	Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / by Gordon, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6012 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)
	1730.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / by Legay, Axel [editor.] Margaria, Tiziana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10206 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1731.	Transactions on High-Performance Embedded Architectures and Compilers III [electronic resource] / by Stenström, Per [editor.] SpringerLink (Online service) Series: Transactions on High-Performance Embedded Architectures and Compilers ; 6590 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1732.	SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by Prinz, Andreas [editor.] Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 3530 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)
	1733.	Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / by Havelund, Klaus [editor.] Núnez, Manuel [editor.] Rosu, Grigore [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4262 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)
	1734.	Programming Languages and Systems [electronic resource] : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings / by Chin, Wei-Ngan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3302 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)
	1735.	Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / by Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5663 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)
	1736.	Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by Jermann, Christophe [editor.] Neumaier, Arnold [editor.] Sam, Djamila [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3478 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)
	1737.	Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings / by Etessami, Kousha [editor.] Rajamani, Sriram K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3576 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)
	1738.	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3441 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)
	1739.	Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Jacobs, Bart [editor.] Löding, Christof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9634 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)
	1740.	Static Analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings / by Mine, Antoine [editor.] Schmidt, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7460 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.