Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Programming languages Electronic computers '

Your cart is empty.

Cart
- Your cart is empty.
Lists

Advanced search
Course reserves
Authority search
Tag cloud
Most popular
Purchase suggestions

FEEDBACK

Your search returned 1199 results.

	1.	Analysis and Verification of Multiple-Agent Languages [electronic resource] :5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers / by Dam, Mads [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	2.	Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19–21, 1997 Proceedings / by Mössenböck, Hanspeter [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	3.	STACS 97 [electronic resource] :14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings / by Reischuk, Rüdiger [editor.] \| Morvan, Michel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	ZUM '97: The Z Formal Specification Notation [electronic resource] :10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings / by Bowen, Jonathan P [editor.] \| Hinchey, Michael G [editor.] \| Till, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	5.	Logic Program Synthesis and Transformation [electronic resource] :6th International Workshop, LOPSTR'96 Stockholm, Sweden, August 28–30, 1996 Proceedings / by Gallagher, John [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	6.	TAPSOFT '97: Theory and Practice of Software Development [electronic resource] :7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / by Bidoit, Michel [editor.] \| Dauchet, Max [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	7.	Input/Output Intensive Massively Parallel Computing [electronic resource] :Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems / by Brezany, Peter [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	8.	Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers / by Dix, Jürgen [editor.] \| Pereira, Luís Moniz [editor.] \| Przymusinski, Teodor C [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	9.	New Trends in Formal Languages [electronic resource] :Control, Cooperation, and Combinatorics / by Păun, Gheorghe [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, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	10.	Distributed Artificial Intelligence Meets Machine Learning Learning in Multi-Agent Environments [electronic resource] :ECAI'96 Workshop LDAIS Budapest, Hungary, August 13, 1996 ICMAS'96 Workshop LIOME Kyoto, Japan, December 10, 1996 Selected Papers / by 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, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	11.	Rewriting Techniques and Applications [electronic resource] :8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings / by Comon, Hubert [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	12.	ECOOP'97 — Object-Oriented Programming [electronic resource] :11th European Conference Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Akşit, Mehmet [editor.] \| Matsuoka, Satoshi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	13.	Languages and Compilers for Parallel Computing [electronic resource] :9th International Workshop, LCPC'96 San Jose, California, USA, August 8–10, 1996 Proceedings / by Sehr, David [editor.] \| Banerjee, Utpal [editor.] \| Gelernter, David [editor.] \| Nicolau, Alex [editor.] \| Padua, David [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	14.	Reliable Software Technologies — Ada-Europe '97 [electronic resource] :1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings / by Hardy, Keith [editor.] \| Briggs, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	15.	CONCUR '97: Concurrency Theory [electronic resource] :8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings / by Mazurkiewicz, Antoni [editor.] \| Winkowski, Józef [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	16.	Automata, Languages and Programming [electronic resource] :24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings / by Degano, Pierpaolo [editor.] \| Gorrieri, Roberto [editor.] \| Marchetti-Spaccamela, Alberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	17.	Automata Implementation [electronic resource] :First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers / by Raymond, Darrell [editor.] \| Wood, Derick [editor.] \| Yu, Sheng [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	18.	Implementation of Functional Languages [electronic resource] :8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16–18, 1996 Selected Papers / by Kluge, Werner [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	Worldwide Computing and Its Applications [electronic resource] :International Conference, WWCA'97 Tsukuba, Japan, March 10–11, 1997 Proceedings / by Masuda, Takashi [editor.] \| Masunaga, Yoshifumi [editor.] \| Tsukamoto, Michiharu [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Coordination Languages and Models [electronic resource] :Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings / by Garlan, David [editor.] \| Métayer, Daniel Le [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

Refine your search

Authors

Item types

Series

Topics