FEEDBACK Smiley face

Your search returned 77 results. Subscribe to this search

|
21. 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 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

22. 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

23. Vector and Parallel Processing — VECPAR 2000 [electronic resource] :4th International Conference Porto, Portugal, June 21–23, 2000 Selected Papers and Invited Talks /

by Palma, José M. L. M [editor.] | Dongarra, Jack [editor.] | Hernández, Vicente [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

24. 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

25. 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

26. 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

27. Metalevel Architectures and Separation of Crosscutting Concerns [electronic resource] :Third International Conference, REFLECTION 2001 Kyoto, Japan, September 25–28, 2001 Proceedings /

by Yonezawa, Akinori [editor.] | Matsuoka, Satoshi [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

28. Formal Approaches to Agent-Based Systems [electronic resource] :First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers /

by Rash, James L [editor.] | Truszkowski, Walt [editor.] | Hinchey, Michael G [editor.] | Rouff, Christopher A [editor.] | Gordon, Diana [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

29. 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

30. 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

31. High-Performance Computing and Networking [electronic resource] :9th International Conference, HPCN Europe 2001 Amsterdam, The Netherlands, June 25–27, 2001 Proceedings /

by Hertzberger, Bob [editor.] | Hoekstra, Alfons [editor.] | Williams, Roy [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

32. Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [electronic resource] :5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 Proceedings /

by Sørevik, Tor [editor.] | Manne, Fredrik [editor.] | Gebremedhin, Assefaw Hadish [editor.] | Moe, Randi [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

33. 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

34. 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

35. Logic Programming [electronic resource] :18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings /

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

36. Computational Logic: Logic Programming and Beyond [electronic resource] :Essays in Honour of Robert A. Kowalski Part I /

by Kakas, Antonis C [editor.] | Sadri, Fariba [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

37. Euro-Par 2002 Parallel Processing [electronic resource] :8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings /

by Monien, Burkhard [editor.] | Feldmann, Rainer [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

38. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings /

by Damm, Werner [editor.] | Olderog, Ernst -Rüdiger [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

39. Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [electronic resource] :12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings /

by Glesner, Manfred [editor.] | Zipf, Peter [editor.] | Renovell, Michel [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

40. Applied Parallel Computing [electronic resource] :Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings /

by Fagerholm, Juha [editor.] | Haataja, Juha [editor.] | Järvinen, Jari [editor.] | Lyly, Mikko [editor.] | Råback, Peter [editor.] | Savolainen, Ville [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 : Imprint: Springer, 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