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

Your cart is empty.

FEEDBACK

Your search returned 48 results.

	1.	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)
	2.	Computer Science Logic [electronic resource] :10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers / by Dalen, Dirk van [editor.] \| Bezem, Marc [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.	Hybrid Systems IV [electronic resource] / by Antsaklis, Panos [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, 1997.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	4.	Theorem Proving in Higher Order Logics [electronic resource] :10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings / by Gunter, Elsa L [editor.] \| Felty, Amy [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.	Algebraic and Logic Programming [electronic resource] :6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings / by Hanus, Michael [editor.] \| Heering, Jan [editor.] \| Meinke, Karl [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.	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)
	7.	Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / by Ravn, Anders P [editor.] \| Rischel, Hans [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)
	8.	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)
	9.	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)
	10.	Hybrid Systems: Computation and Control [electronic resource] :First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings / by Henzinger, Thomas A [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, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	11.	Euro-Par’99 Parallel Processing [electronic resource] :5th International Euro-Par Conference Toulouse, France, August 31 – September 3, 1999 Proceedings / by Amestoy, Patrick [editor.] \| Berger, Philippe [editor.] \| Daydé, Michel [editor.] \| Ruiz, Daniel [editor.] \| Duff, Iain [editor.] \| Frayssé, Valérie [editor.] \| Giraud, Luc [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)
	12.	Vector and Parallel Processing – VECPAR’98 [electronic resource] :Third International Conference, Porto, Portugal, June 21-23, 1998. Selected Papers and Invited Talks / by Hernández, Vicente [editor.] \| Palma, José M. L. M [editor.] \| Dongarra, Jack J [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)
	13.	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)
	14.	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)
	15.	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)
	16.	Application and Theory of Petri Nets 2000 [electronic resource] :21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings / by Nielsen, Mogens [editor.] \| Simpson, Dan [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)
	17.	Parallel and Distributed Processing [electronic resource] :15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / by Rolim, José [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)
	18.	OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] \| Voss, Michael J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	19.	CONCUR 2001 — Concurrency Theory [electronic resource] :12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings / by Larsen, Kim G [editor.] \| Nielsen, Mogens [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	20.	Correct Hardware Design and Verification Methods [electronic resource] :11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings / by Margaria, Tiziana [editor.] \| Melham, Tom [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.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