FEEDBACK Smiley face

Your search returned 258 results. Subscribe to this search

|
1. The fourth paradigm : data-intensive scientific discovery

by Hey, Anthony J. G | Tansley, Stewart | Tolle, Kristin Michele.

Material type: book Book; Format: print available online remote; Literary form: not fiction Publisher: Redmond, Wash. : Microsoft Research, c2009Online access: Microsoft Research Web site Availability: Items available for loan: IIITD [005.74 HEY-F] (3).
Items available for reference: IIITD [REF 005.74 HEY-F] (1).

2. SOA and web services interface design : principles, techniques, and standards

by Bean, James.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Amsterdam : Boston : Morgan Kaufmann, ©2010Availability: Items available for loan: IIITD [006.78 BEA-S] (1).

3. Open source SOA

by Davis, Jeff.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Greenwich, Conn. : Manning, c2009Other title: Open source service-oriented architecture.Availability: Items available for loan: IIITD [004.682 DAV-O] (1).

4. Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] :First International Workshop, CANPC'97 San Antonio, Texas, USA, February 1–2, 1997 Proceedings /

by Panda, Dhabaleswar K [editor.] | Stunkel, Craig B [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, 1997.Online access: Click here to access online Availability: No items available

5. Evolution of Parallel Cellular Machines [electronic resource] :The Cellular Programming Approach /

by Sipper, Moshe [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, 1997.Online access: Click here to access online Availability: No items available

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

7. Input/Output Intensive Massively Parallel Computing [electronic resource] :Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems /

by Brezany, Peter [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, 1997.Online access: Click here to access online Availability: No items available

8. Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /

by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [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, 1997.Online access: Click here to access online Availability: No items available

9. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /

by Galmiche, Didier [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, 1997.Online access: Click here to access online Availability: No items available

10. Automated Deduction—CADE-14 [electronic resource] :14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings /

by McCune, William [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, 1997.Online access: Click here to access online Availability: No items available

11. Solving Irregularly Structured Problems in Parallel [electronic resource] :4th International Symposium, IRREGULAR'97 Paderborn, Germany, June 12–13, 1997 Proceedings /

by Bilardi, Gianfranco [editor.] | Ferreira, Afonso [editor.] | Lüling, Reinhard [editor.] | Rolim, José [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, 1997.Online access: Click here to access online Availability: No items available

12. CONCUR '97: Concurrency Theory [electronic resource] :8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings /

by Mazurkiewicz, Antoni [editor.] | Winkowski, Józef [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, 1997.Online access: Click here to access online Availability: No items available

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

14. Evolvable Systems: From Biology to Hardware [electronic resource] :First International Conference, ICES96 Tsukuba, Japan, October 7–8, 1996 Proceedings /

by Higuchi, Tetsuya [editor.] | Iwata, Masaya [editor.] | Liu, Weixin [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, 1997.Online access: Click here to access online Availability: No items available

15. Automata Implementation [electronic resource] :First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers /

by Raymond, Darrell [editor.] | Wood, Derick [editor.] | Yu, Sheng [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, 1997.Online access: Click here to access online Availability: No items available

16. Logic Programming And Nonmonotonic Reasoning [electronic resource] :4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings /

by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [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, 1997.Online access: Click here to access online Availability: No items available

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

18. Parallel Computing Technologies [electronic resource] :4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 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, 1997.Online access: Click here to access online Availability: No items available

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

20. Modular Compiler Verification [electronic resource] :A Refinement-Algebraic Approach Advocating Stepwise Abstraction /

by Müller-Olm, Markus [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, 1997.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