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

Results
	1181.	Algebraic Informatics [electronic resource] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings / by Winkler, Franz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6742 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)
	1182.	Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings / by Maziero, Carlos Alberto [editor.] Silva, João Gabriel [editor.] Andrade, Aline Maria Santos [editor.] Assis Silva, Flávio Morais de [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3747 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)
	1183.	Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings / by Winckler, Marco [editor.] Johnson, Hilary [editor.] Palanque, Philippe [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4849 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)
	1184.	Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / by Dixon, Clare [editor.] Finger, Marcelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10483 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)
	1185.	Foundations of Software Science and Computational Structures [electronic resource] : 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Birkedal, Lars [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7213 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)
	1186.	Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings / by Borrione, Dominique [editor.] Paul, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3725 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)
	1187.	Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers / by Domaratzki, Michael [editor.] Salomaa, Kai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6482 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)
	1188.	Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers / by Yli-Jyrä, Anssi [editor.] Karttunen, Lauri [editor.] Karhumäki, Juhani [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4002 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)
	1189.	Fundamental Approaches to Software Engineering [electronic resource] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / by Gnesi, Stefania [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8411 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)
	1190.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / by Bouajjani, Ahmed [editor.] Silva, Alexandra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10321 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)
	1191.	Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / by Page, Rex [editor.] Horvath, Zoltan [editor.] Zsók, Viktoria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6546 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)
	1192.	Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings / by Shankar, Natarajan [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5295 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)
	1193.	Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings / by Schmidt, Heinz G [editor.] Crnkovic, Ivica [editor.] Heineman, George T [editor.] Stafford, Judith A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4608 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)
	1194.	Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / by Wirsing, Martin [editor.] Banatre, Jean-Pierre [editor.] Hölzl, Matthias [editor.] Rauschmayer, Axel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5380 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)
	1195.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings / by Fontaine, Pascal [editor.] Ringeissen, Christophe [editor.] Schmidt, Renate [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8152 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)
	1196.	Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings / by Egerstedt, Magnus [editor.] Mishra, Bud [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4981 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)
	1197.	Defence Applications of Multi-Agent Systems [electronic resource] : International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / by Thompson, Simon G [editor.] Ghanea-Hercock, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3890 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)
	1198.	Stochastic Model Checking [electronic resource] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / by Remke, Anne [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8453 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)
	1199.	Object, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings / by Furia, Carlo A [editor.] Nanz, Sebastian [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7304 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)
	1200.	Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / by Klein, Gerwin [editor.] Gamboa, Ruben [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8558 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.