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

Results
	381.	From Programs to Systems - The Systems Perspective in Computing [electronic resource] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings / by Bensalem, Saddek [editor.] Lakhnech, Yassine [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8415 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)
	382.	Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings / by Ait Ameur, Yamine [editor.] Schewe, Klaus-Dieter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8477 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)
	383.	B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings / by Julliand, Jacques [editor.] Kouchnarenko, Olga [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4355 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)
	384.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 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 Chechik, Marsha [editor.] Raskin, Jean-François [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9636 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)
	385.	Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday / by Coecke, Bob [editor.] Ong, Luke [editor.] Panangaden, Prakash [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7860 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)
	386.	Model-Based Safety and Assessment [electronic resource] : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings / by Bozzano, Marco [editor.] Papadopoulos, Yiannis [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10437 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)
	387.	Relational and Algebraic Methods in Computer Science [electronic resource] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings / by de Swart, Harrie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6663 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)
	388.	Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings / by Kurz, Alexander [editor.] Lenisa, Marina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5728 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)
	389.	Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4098 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)
	390.	Theory and Applications of Models of Computation [electronic resource] : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / by Gopal, T.V [editor.] Jäger, Gerhard [editor.] Steila, Silvia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10185 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)
	391.	Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / by De Schreye, Danny [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6037 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)
	392.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / by Hermann, Miki [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4246 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)
	393.	Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / by Hage, Jurriaan [editor.] Morazán, Marco T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6647 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)
	394.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / by Dierkes, Michael [editor.] Pecheur, Charles [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8187 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)
	395.	Computer Science Logic [electronic resource] : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings / by Grädel, Erich [editor.] Kahle, Reinhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5771 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)
	396.	Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / by Azevedo, Francisco [editor.] Barahona, Pedro [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4651 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)
	397.	Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by Kohlhase, Michael [editor.] Johansson, Moa [editor.] Miller, Bruce [editor.] de Moura, Leonardo [editor.] Tompa, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9791 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)
	398.	Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3354 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)
	399.	FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by Bjørner, Nikolaj [editor.] de Boer, Frank [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9109 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)
	400.	Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings / by Dahl, Verónica [editor.] Niemelä, Ilkka [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4670 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 951 results.