Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Theory of Computation.} and su-to:Programming Languages, Compilers, Interpreters'

Your cart is empty.

FEEDBACK

Your search returned 145 results.

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

	41.	Mathematical Foundations of Computer Science 2002 [electronic resource] :27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings / by Diks, Krzysztof [editor.] \| Rytter, Wojciech [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	42.	CONCUR 2002 — Concurrency Theory [electronic resource] :13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings / by Brim, Luboš [editor.] \| Křetínský, Mojmír [editor.] \| Kučera, Antonín [editor.] \| Jančar, Petr [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	43.	Computer Science Logic [electronic resource] :16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings / by Bradfield, Julian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Other title: 22-25, 2002, Proceedings.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	44.	Foundations of Software Science and Computation Structures [electronic resource] :5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings / by Nielsen, Mogens [editor.] \| Engberg, Uffe [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	45.	Isabelle/HOL [electronic resource] :A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [editor.] \| Wenzel, Markus [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	46.	Developments in Language Theory [electronic resource] :5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers / by Kuich, Werner [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	47.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] :International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures / by Backhouse, Roland [editor.] \| Crole, Roy [editor.] \| Gibbons, Jeremy [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	48.	Verification, Model Checking, and Abstract Interpretation [electronic resource] :Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers / by Cortesi, Agostino [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	49.	Integrated Formal Methods [electronic resource] :Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / by Butler, Michael [editor.] \| Petre, Luigia [editor.] \| Sere, Kaisa [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	50.	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings / by Pandya, Paritosh K [editor.] \| Radhakrishnan, Jaikumar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	51.	Abstract State Machines 2003 [electronic resource] :Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings / by Börger, Egon [editor.] \| Gargantini, Angelo [editor.] \| Riccobene, Elvinia [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	52.	Agent-Oriented Software Engineering III [electronic resource] :Third International Workshop, AOSE 2002 Bologna, Italy, July 15, 2002 Revised Papers and Invited Contributions / by Giunchiglia, Fausto [editor.] \| Odell, James [editor.] \| Weiß, Gerhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	53.	Foundations of Software Science and Computation Structures [electronic resource] :6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings / by Gordon, Andrew D [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	54.	Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers / by Geuvers, Herman [editor.] \| Wiedijk, Freek [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	55.	Perspectives of System Informatics [electronic resource] :5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers / by Broy, Manfred [editor.] \| Zamulin, Alexandre V [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	56.	SDL 2003: System Design [electronic resource] :11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 Proceedings / by Reed, Rick [editor.] \| Reed, Jeanne [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	57.	Mathematical Foundations of Computer Science 2003 [electronic resource] :28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003. Proceedings / by Rovan, Branislav [editor.] \| Vojtáš, Peter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	58.	Integrated Formal Methods [electronic resource] :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings / by Boiten, Eerke A [editor.] \| Derrick, John [editor.] \| Smith, Graeme [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	59.	Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] :11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / by Zimmermann, Wolf [editor.] \| Thalheim, Bernhard [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	60.	Formal Methods for the Design of Real-Time Systems [electronic resource] :International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures / by Bernardo, Marco [editor.] \| Corradini, Flavio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.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
Next »

Refine your search

Authors

Item types

Series

Topics