Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Theory of Computation.} and su-to:Operating Systems'

Your cart is empty.

FEEDBACK

Your search returned 272 results.

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

	21.	Computer Aided Verification [electronic resource] :10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings / by Hu, Alan J [editor.] \| Vardi, Moshe Y [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)
	22.	Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services [electronic resource] :5th International Conference on Intelligence in Services and Networks, IS&N’98 Antwerp, Belgium, May 25–28, 1998 Proceedings / by Trigila, Sebastiano [editor.] \| Mullery, Al [editor.] \| Campolargo, Mario [editor.] \| Vanderstraeten, Hans [editor.] \| Mampaey, Marcel [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)
	23.	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)
	24.	Advanced Information Systems Engineering [electronic resource] :10th International Conference, CAiSE'98 Pisa, Italy, June 8–12, 1998 Proceedings / by Pernici, Barbara [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, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	25.	Recent Trends in Algebraic Development Techniques [electronic resource] :12th International Workshop, WADT'97 Tarquinia, Italy, June 3–7, 1997 Selected Papers / by Presicce, Francesco Parisi [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)
	26.	Foundations of Software Science and Computation Structures [electronic resource] :First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / by Nivat, Maurice [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)
	27.	Parallel and Distributed Processing [electronic resource] :10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing Orlando, Florida, USA, March 30 – April 3, 1998 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, 1998.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	28.	High Performance Computing – HiPC’99 [electronic resource] :6th International Conference, Calcutta, India, December 17-20, 1999. Proceedings / by Banerjee, Prith [editor.] \| Prasanna, Viktor K [editor.] \| Sinha, Bhabani P [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)
	29.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] :19th Conference Chennai, India, December 13-15, 1999 Proceedings / by Rangan, C. Pandu [editor.] \| Raman, V [editor.] \| Ramanujam, R [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)
	30.	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)
	31.	SOFSEM’99: Theory and Practice of Informatics [electronic resource] :26th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 27 — December 4, 1999 Proceedings / by Pavelka, Jan [editor.] \| Tel, Gerard [editor.] \| Bartošek, Miroslav [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)
	32.	FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / by Wing, Jeannette M [editor.] \| Woodcock, Jim [editor.] \| Davies, Jim [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)
	33.	FM’99 — Formal Methods [electronic resource] :World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I / by Wing, Jeannette M [editor.] \| Woodcock, Jim [editor.] \| Davies, Jim [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)
	34.	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)
	35.	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)
	36.	Automata, Languages and Programming [electronic resource] :26th International Colloquium, ICALP’99 Prague, Czech Republic, July 11–15, 1999 Proceedings / by Wiedermann, Jiří [editor.] \| Emde Boas, Peter van [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, 1999.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	37.	Computer Aided Verification [electronic resource] :11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings / by Halbwachs, Nicolas [editor.] \| Peled, Doron [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)
	38.	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)
	39.	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)
	40.	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)

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

Refine your search

Authors

Item types

Series

Topics