FEEDBACK Smiley face

Your search returned 410 results. Subscribe to this search

|
41. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

42. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

43. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

44. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

45. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

46. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

47. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

48. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

49. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

50. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

51. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

52. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

53. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

54. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

55. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

56. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available

57. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

58. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

59. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available

60. 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 Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in