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:Theory of Computation'

Your cart is empty.

FEEDBACK

Your search returned 898 results.

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

	121.	Computing and Combinatorics [electronic resource] :5th Annual International Conference, COCOON’99 Tokyo, Japan, July 26–28, 1999 Proceedings / by Asano, Takano [editor.] \| Imai, Hideki [editor.] \| Lee, D. T [editor.] \| Nakano, Shin-ichi [editor.] \| Tokuyama, Takeshi [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)
	122.	Application and Theory of Petri Nets 1999 [electronic resource] :20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings / by Donatelli, Susanna [editor.] \| Kleijn, Jetty [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)
	123.	Formal Methods for Real-Time and Probabilistic Systems [electronic resource] :5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / by Katoen, Joost-Pieter [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)
	124.	High Performance Computing [electronic resource] :Second International Symposium, ISHPC'99 Kyoto, Japan, May 26–28, 1999 Proceedings / by Polychronopoulos, Constantine [editor.] \| Fukuda, Kazuki Joe Akira [editor.] \| Tomita, Shinji [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)
	125.	Parallel and Distributed Processing [electronic resource] :11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / by Rolim, José [editor.] \| Mueller, Frank [editor.] \| Zomaya, Albert Y [editor.] \| Ercal, Fikret [editor.] \| Olariu, Stephan [editor.] \| Ravindran, Binoy [editor.] \| Gustafsson, Jan [editor.] \| Takada, Hiroaki [editor.] \| Olsson, Ron [editor.] \| Kale, Laxmikant V [editor.] \| Beckman, Pete [editor.] \| Haines, Matthew [editor.] \| ElGindy, Hossam [editor.] \| Caromel, Denis [editor.] \| Chaumette, Serge [editor.] \| Fox, Geoffrey [editor.] \| Pan, Yi [editor.] \| Li, Keqin [editor.] \| Yang, Tao [editor.] \| Chiola, G [editor.] \| Conte, G [editor.] \| Mancini, L. V [editor.] \| Méry, Domenique [editor.] \| Sanders, Beverly [editor.] \| Bhatt, Devesh [editor.] \| Prasanna, Viktor [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)
	126.	High-Performance Computing and Networking [electronic resource] :7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / by Sloot, Peter [editor.] \| Bubak, Marian [editor.] \| Hoekstra, Alfons [editor.] \| Hertzberger, Bob [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)
	127.	Logic-Based Program Synthesis and Transformation [electronic resource] :8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers / by Flener, Pierre [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)
	128.	Typed Lambda Calculi and Applications [electronic resource] :4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings / by Girard, Jean-Yves [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)
	129.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] :5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings / by Cleaveland, W. Rance [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)
	130.	STACS 99 [electronic resource] :16th Annual Symposium on Theoretical Aspects of Computer Science Trier, Germany, March 4–6, 1999 Proceedings / by Meinel, Christoph [editor.] \| Tison, Sophie [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)
	131.	Hybrid Systems V [electronic resource] / by Antsaklis, Panos [editor.] \| Lemmon, Michael [editor.] \| Kohn, Wolf [editor.] \| Nerode, Anil [editor.] \| Sastry, Shankar [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)
	132.	Graph-Theoretic Concepts in Computer Science [electronic resource] :26th International Workshop, WG 2000 Konstanz, Germany, June 15–17, 2000 Proceedings / by Brandes, Ulrik [editor.] \| Wagner, Dorothea [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	133.	Integrated Formal Methods [electronic resource] :Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings / by Grieskamp, Wolfgang [editor.] \| Santen, Thomas [editor.] \| Stoddart, Bill [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	134.	Algorithms and Computation [electronic resource] :11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings / by Goos, Gerhard [editor.] \| Hartmanis, Juris [editor.] \| Leeuwen, Jan van [editor.] \| Lee, D. T [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, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	135.	SOFSEM 2000: Theory and Practice of Informatics [electronic resource] :27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 – December 2, 2000 Proceedings / by Hlaváč, Václav [editor.] \| Jeffery, Keith G [editor.] \| Wiedermann, Jiří [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	136.	Discovery Science [electronic resource] :Third International Conference, DS 2000 Kyoto, Japan, December 4–6, 2000 Proceedings / by Arikawa, Setsuo [editor.] \| Morishita, Shinichi [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	137.	Grid Computing — GRID 2000 [electronic resource] :First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings / by Buyya, Rajkumar [editor.] \| Baker, Mark [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	138.	FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings / by Kapoor, Sanjiv [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, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	139.	Advances in Computing Science — ASIAN 2000 [electronic resource] :6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings / by Jifeng, He [editor.] \| Sato, Masahiko [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	140.	Euro-Par 2000 Parallel Processing [electronic resource] :6th International Euro-Par Conference Munich, Germany, August 29 – September 1, 2000 Proceedings / by Bode, Arndt [editor.] \| Ludwig, Thomas [editor.] \| Karl, Wolfgang [editor.] \| Wismüller, Roland [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.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