FEEDBACK Smiley face

Your search returned 132 results. Subscribe to this search

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

42. Technologies for E-Services [electronic resource] :Second International Workshop, TES 2001 Rome, Italy, September 14–15, 2001 Proceedings /

by Casati, Fabio [editor.] | Shan, Ming-Chien [editor.] | Georgakopoulos, Dimitrios [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

43. Large-Scale Scientific Computing [electronic resource] :Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers /

by Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [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. Hybrid Systems: Computation and Control [electronic resource] :4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings /

by Benedetto, Maria Domenica Di [editor.] | Sangiovanni-Vincentelli, 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, 2001.Online access: Click here to access online Availability: No items available

45. Interactive Systems: Design, Specification, and Verification [electronic resource] :8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers /

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

46. Cooperative Environments for Distributed Systems Engineering [electronic resource] :The Distributed Systems Environment Report /

by Drira, Khalil [editor.] | Villemur, Thierry [editor.] | Martelli, Andrea [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. Mobile Agents [electronic resource] :5th International Conference, MA 2001 Atlanta, GA, USA, December 2–4, 2001 Proceedings /

by Picco, Gian Pietro [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. Dependable Computing EDCC-4 [electronic resource] :4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings /

by Bondavalli, Andrea [editor.] | Thevenod-Fosse, Pascale [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

49. Formal Methods in Computer-Aided Design [electronic resource] :4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings /

by Aagaard, Mark D [editor.] | O’Leary, John W [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

50. Concurrency and Hardware Design [electronic resource] :Advances in Petri Nets /

by Cortadella, Jordi [editor.] | Yakovlev, Alex [editor.] | Rozenberg, Grzegorz [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

51. Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] :12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings /

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel 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

52. Pervasive Computing [electronic resource] :First International Conference, Pervasive 2002 Zurich, Switzerland, August 26–28, 2002 Proceedings /

by Mattern, Friedemann [editor.] | Naghshineh, Mahmoud [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

53. Groupware: Design, Implementation, and Use [electronic resource] :8th International Workshop, CRIWG 2002 La Serena, Chile, September 1–4, 2002 Proceedings /

by Haake, Jörg M [editor.] | Pino, José 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, 2002.Online access: Click here to access online Availability: No items available

54. DNA Computing [electronic resource] :7th International Workshop on DNA-Based Computers, DNA7 Tampa, FL, USA, June 10–13, 2001 Revised Papers /

by Jonoska, Nataša [editor.] | Seeman, Nadrian 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, 2002.Online access: Click here to access online Availability: No items available

55. Power-Aware Computer Systems [electronic resource] :Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002 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, 2003.Online access: Click here to access online Availability: No items available

56. Advanced Parallel Processing Technologies [electronic resource] :5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003. Proceedings /

by Zhou, Xingming [editor.] | Xu, Ming [editor.] | Jähnichen, Stefan [editor.] | Cao, Jiannong [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, 2003.Online access: Click here to access online Availability: No items available

57. Correct Hardware Design and Verification Methods [electronic resource] :12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings /

by Geist, Daniel [editor.] | Tronci, Enrico [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, 2003.Online access: Click here to access online Availability: No items available

58. Large-Scale Scientific Computing [electronic resource] :4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers /

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [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, 2004.Online access: Click here to access online Availability: No items available

59. Applications of Evolutionary Computing [electronic resource] :EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings /

by Raidl, Günther R [editor.] | Cagnoni, Stefano [editor.] | Branke, Jürgen [editor.] | Corne, David Wolfe [editor.] | Drechsler, Rolf [editor.] | Jin, Yaochu [editor.] | Johnson, Colin G [editor.] | Machado, Penousal [editor.] | Marchiori, Elena [editor.] | Rothlauf, Franz [editor.] | Smith, George D [editor.] | Squillero, Giovanni [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, 2004.Online access: Click here to access online Availability: No items available

60. Higher-Level Hardware Synthesis [electronic resource] /

by Sharp, Richard [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, 2004.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