Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Programming languages Electronic computers and su-to:Programming Languages, Compilers, Interpreters'

Your cart is empty.

FEEDBACK

Your search returned 493 results.

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

	161.	Principles and Practice of Constraint Programming – CP 2007 [electronic resource] :13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / by Bessière, Christian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	162.	Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] :4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / by Jones, Cliff B [editor.] \| Liu, Zhiming [editor.] \| Woodcock, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	163.	Programming Languages and Systems [electronic resource] :5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings / by Shao, Zhong [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	164.	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / by Arvind, V [editor.] \| Prasad, Sanjiva [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	165.	Types for Proofs and Programs [electronic resource] :International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers / by Miculan, Marino [editor.] \| Scagnetto, Ivan [editor.] \| Honsell, Furio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	166.	Static Analysis [electronic resource] :15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by Alpuente, María [editor.] \| Vidal, Germán [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	167.	25 Years of Model Checking [electronic resource] :History, Achievements, Perspectives / by Grumberg, Orna [editor.] \| Veith, Helmut [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	168.	Rewriting Techniques and Applications [electronic resource] :19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / by Voronkov, Andrei [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	169.	Mathematics of Program Construction [electronic resource] :9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by Audebaud, Philippe [editor.] \| Paulin-Mohring, Christine [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	170.	Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] :16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / by Eklund, Peter [editor.] \| Haemmerlé, Ollivier [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	171.	Implementation and Applications of Automata [electronic resource] :13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / by Ibarra, Oscar H [editor.] \| Ravikumar, Bala [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	172.	Theorem Proving in Higher Order Logics [electronic resource] :21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / by Mohamed, Otmane Ait [editor.] \| Muñoz, César [editor.] \| Tahar, Sofiène [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	173.	Foundations of Software Science and Computational Structures [electronic resource] :11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Amadio, Roberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	174.	Programming Languages and Systems [electronic resource] :17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / by Drossopoulou, Sophia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	175.	Compiler Construction [electronic resource] :17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	176.	Functional and Logic Programming [electronic resource] :9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / by Garrigue, Jacques [editor.] \| Hermenegildo, Manuel V [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	177.	Algebraic Methodology and Software Technology [electronic resource] :12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / by Meseguer, José [editor.] \| Roşu, Grigore [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	178.	Advances in Natural Language Processing [electronic resource] :6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings / by Nordström, Bengt [editor.] \| Ranta, Aarne [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	179.	Advances in Case-Based Reasoning [electronic resource] :9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings / by Althoff, Klaus-Dieter [editor.] \| Bergmann, Ralph [editor.] \| Minor, Mirjam [editor.] \| Hanft, Alexandre [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	180.	Principles and Practice of Constraint Programming [electronic resource] :14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings / by Stuckey, Peter J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
Next »

Refine your search

Authors

Item types

Series

Topics