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

Results
	161.	Principles and Practice of Constraint Programming -- CP 2011 [electronic resource] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings / by Lee, Jimmy [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6876 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)
	162.	Modular Programming Languages [electronic resource] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by Lightfoot, David [editor.] Szyperski, Clemens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4228 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)
	163.	Reversible Computation [electronic resource] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by Krivine, Jean [editor.] Stefani, Jean-Bernard [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9138 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)
	164.	Algebraic Informatics [electronic resource] : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers / by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4728 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)
	165.	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings / by Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4014 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)
	166.	High Performance Embedded Architectures and Compilers [electronic resource] : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / by De Bosschere, Koen [editor.] Kaeli, David [editor.] Stenström, Per [editor.] Whalley, David [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4367 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)
	167.	Web Services and Formal Methods [electronic resource] : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings / by Bruni, Roberto [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5387 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)
	168.	Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings / by Durand-Lose, Jérôme [editor.] Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4664 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)
	169.	Logic and the Foundations of Game and Decision Theory - LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / by Bonanno, Giacomo [editor.] Löwe, Benedikt [editor.] van der Hoek, Wiebe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6006 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)
	170.	Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / by Zaverucha, Gerson [editor.] Santos Costa, Vítor [editor.] Paes, Aline [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8812 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)
	171.	Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second Interntional Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / by Croitoru, Madalina [editor.] Rudolph, Sebastian [editor.] Wilson, Nic [editor.] Howse, John [editor.] Corby, Olivier [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7205 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)
	172.	CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings / by Caires, Luís [editor.] Vasconcelos, Vasco T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4703 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)
	173.	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings / by Ramanujam, R [editor.] Sen, Sandeep [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3821 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)
	174.	Descriptional Complexity of Formal Systems [electronic resource] : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / by Pighizzini, Giovanni [editor.] Câmpeanu, Cezar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10316 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)
	175.	Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / by Schneider, Klaus [editor.] Brandt, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4732 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)
	176.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings / by Cassez, Franck [editor.] Jard, Claude [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5215 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)
	177.	Application and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings / by Kristensen, Lars M [editor.] Petrucci, Laure [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6709 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)
	178.	System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / by Gotzhein, Reinhard [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4320 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)
	179.	Evolvable Systems: From Biology to Hardware [electronic resource] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / by Zeng, Sanyou [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4684 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)
	180.	Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / by Corradini, Andrea [editor.] Montanari, Ugo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5486 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 554 results.