FEEDBACK Smiley face

Your search returned 126 results. Subscribe to this search

|
41. Computational Logic — CL 2000 [electronic resource] :First International Conference London, UK, July 24–28, 2000 Proceedings /

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [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

42. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings /

by Joseph, Mathai [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

43. Policies for Distributed Systems and Networks [electronic resource] :International Workshop, POLICY 2001 Bristol, UK, January 29–31, 2001 Proceedings /

by Sloman, Morris [editor.] | Lupu, Emil C [editor.] | Lobo, Jorge [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, 2001.Online access: Click here to access online Availability: No items available

44. Power-Aware Computer Systems [electronic resource] :First International Workshop,PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers /

by Falsafi, Babak [editor.] | Vijaykumar, T. N [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, 2001.Online access: Click here to access online Availability: No items available

45. Implementation and Application of Automata [electronic resource] :5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers /

by Yu, Shen [editor.] | Păun, Andrei [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, 2001.Online access: Click here to access online Availability: No items available

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

47. Parallel Computing Technologies [electronic resource] :6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings /

by Malyshkin, Victor [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, 2001.Online access: Click here to access online Availability: No items available

48. Inductive Logic Programming [electronic resource] :11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings /

by Rouveirol, Céline [editor.] | Sebag, Michéle [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, 2001.Online access: Click here to access online Availability: No items available

49. Objective Coordination in Multi-Agent System Engineering [electronic resource] :Design and Implementation /

by Schumacher, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.Online access: Click here to access online Availability: No items available

50. High-Level Parallel Programming Models and Supportive Environments [electronic resource] :6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /

by Mueller, Frank [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, 2001.Online access: Click here to access online Availability: No items available

51. Compiler Optimizations for Scalable Parallel Systems [electronic resource] :Languages, Compilation Techniques, and Run Time Systems /

by Pande, Santosh [editor.] | Agrawal, Dharma P [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, 2001.Online access: Click here to access online Availability: No items available

52. Constraints in Computational Logics [electronic resource] :Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [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, 2001.Online access: Click here to access online Availability: No items available

53. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :8th European PVM/MPI Users’ Group Meeting Santorini/Thera, Greece, September 23–26, 2001 Proceedings /

by Cotronis, Yiannis [editor.] | Dongarra, Jack [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, 2001.Online access: Click here to access online Availability: No items available

54. Job Scheduling Strategies for Parallel Processing [electronic resource] :7th International Workshop, JSSPP 2001 Cambridge, MA, USA, June 16, 2001 Revised Papers /

by Feitelson, Dror G [editor.] | Rudolph, Larry [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, 2001.Online access: Click here to access online Availability: No items available

55. Perspectives of System Informatics [electronic resource] :4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers /

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [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, 2001.Online access: Click here to access online Availability: No items available

56. Logic Programming [electronic resource] :17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Codognet, Philippe [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, 2001.Online access: Click here to access online Availability: No items available

57. Grid Computing — GRID 2001 [electronic resource] :Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings /

by Lee, Craig A [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, 2001.Online access: Click here to access online Availability: No items available

58. Job Scheduling Strategies for Parallel Processing [electronic resource] :8th International Workshop, JSSPP 2002 Edinburgh, Scotland, UK, July 24, 2002 Revised Papers /

by Feitelson, Dror G [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [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, 2002.Online access: Click here to access online Availability: No items available

59. Component Deployment [electronic resource] :IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings /

by Bishop, Judith [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, 2002.Online access: Click here to access online Availability: No items available

60. Logic Based Program Synthesis and Transformation [electronic resource] :11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers /

by Pettorossi, Alberto [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, 2002.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