Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Programming Techniques'

Your cart is empty.

FEEDBACK

Your search returned 200 results.

	1.	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)
	2.	Typed Lambda Calculi and Applications [electronic resource] :Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings / by Groote, Philippe de [editor.] \| Roger Hindley, J [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.	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)
	4.	Vector and Parallel Processing — VECPAR'96 [electronic resource] :Second International Conference on Vector and Parallel Processing — Systems and Application Porto, Portugal, September 25–27, 1996 Selected Papers / by Palma, José M. L. M [editor.] \| Dongarra, Jack [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.	Transformation-Based Reactive Systems Development [electronic resource] :4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings / by Bertran, Miquel [editor.] \| Rus, Teodor [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.	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)
	7.	Algorithms and Data Structures [electronic resource] :5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6–8, 1997 Proceedings / by Dehne, Frank [editor.] \| Rau-Chaplin, Andrew [editor.] \| Sack, Jörg-Rüdiger [editor.] \| Tamassia, Roberto [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)
	8.	Research and Advanced Technology for Digital Libraries [electronic resource] :First European Conference, ECDL'97 Pisa, Italy, September 1–3, 1997 Proceedings / by Peters, Carol [editor.] \| Thanos, Costantino [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.	Distributed Algorithms [electronic resource] :11th International Workshop, WDAG '97 Saarbrücken, Germany, September 24–26, 1997 Proceedings / by Mavronicolas, Marios [editor.] \| Tsigas, Philippas [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.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] :17th Conference Kharagpur, India, December 18–20, 1997 Proceedings / by Ramesh, S [editor.] \| Sivakumar, G [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.	Algorithms and Computation [electronic resource] :9th International Symposium, ISAAC’98 Taejon, Korea, December 14–16, 1998 Proceedings / by Chwa, Kyung-Yong [editor.] \| Ibarra, Oscar H [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	12.	Parallel Problem Solving from Nature — PPSN V [electronic resource] :5th International Conference Amsterdam, The Netherlands September 27–30, 1998 Proceedings / by Eiben, Agoston E [editor.] \| Bäck, Thomas [editor.] \| Schoenauer, Marc [editor.] \| Schwefel, Hans-Paul [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	13.	Distributed Computing [electronic resource] :12th International Symposium, DISC’98 Andros, Greece, September 24–26, 1998 Proceedings / by Kutten, Shay [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	14.	Static Analysis [electronic resource] :5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings / by Levi, Giorgio [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	15.	Euro-Par’98 Parallel Processing [electronic resource] :4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / by Pritchard, David [editor.] \| Reeve, Jeff [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	16.	Solving Irregularly Structured Problems in Parallel [electronic resource] :5th International Symposium, IRREGULAR'98 Berkeley, California, USA, August 9–11, 1998 Proceedings / by Ferreira, Alfonso [editor.] \| Rolim, José [editor.] \| Simon, Horst [editor.] \| Teng, Shang-Hua [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	17.	Mathematics of Program Construction [electronic resource] :4th International Conference, MPC'98 Marstrand, Sweden, June 15–17, 1998 Proceedings / by Jeuring, Johan [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	18.	STACS 98 [electronic resource] :15th Annual Symposium on Theoretical Aspects of Computer Science Paris, France, February 25–27, 1998 Proceedings / by Morvan, Michel [editor.] \| Meinel, Christoph [editor.] \| Krob, Daniel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	Logic Programming and Nonmonotonic Reasoning [electronic resource] :5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings / by Gelfond, Michael [editor.] \| Leone, Nicola [editor.] \| Pfeifer, Gerald [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Static Analysis [electronic resource] :6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings / by Cortesi, Agostino [editor.] \| Filé, Gilberto [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.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