FEEDBACK Smiley face

Your search returned 145 results. Subscribe to this search

|
61. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems [electronic resource] :Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings /

by Lakhnech, Yassine [editor.] | Yovine, Sergio [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

62. Software Security - Theories and Systems [electronic resource] :Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers /

by Futatsugi, Kokichi [editor.] | Mizoguchi, Fumio [editor.] | Yonezaki, Naoki [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

63. FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :24th International Conference, Chennai, India, December 16-18, 2004. Proceedings /

by Lodaya, Kamal [editor.] | Mahajan, Meena [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, 2005.Online access: Click here to access online Availability: No items available

64. Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] :First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /

by Liu, Zhiming [editor.] | Araki, Keijiro [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, 2005.Online access: Click here to access online Availability: No items available

65. Computer Science Logic [electronic resource] :19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /

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

66. CONCUR 2005 – Concurrency Theory [electronic resource] :16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings /

by Abadi, Martín [editor.] | Alfaro, Luca de [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, 2005.Online access: Click here to access online Availability: No items available

67. Theoretical Aspects of Computing – ICTAC 2005 [electronic resource] :Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /

by Hung, Dang Van [editor.] | Wirsing, Martin [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, 2005.Online access: Click here to access online Availability: No items available

68. Integrated Formal Methods [electronic resource] :5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /

by Romijn, Judi [editor.] | Smith, Graeme [editor.] | Pol, Jaco van de [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, 2005.Online access: Click here to access online Availability: No items available

69. FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings /

by Sarukkai, Sundar [editor.] | Sen, Sandeep [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, 2005.Online access: Click here to access online Availability: No items available

70. Foundations of Software Science and Computation Structures [electronic resource] :9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /

by Aceto, Luca [editor.] | Ingólfsdóttir, Anna [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, 2006.Online access: Click here to access online Availability: No items available

71. Formal Methods for Hardware Verification [electronic resource] :6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /

by Bernardo, Marco [editor.] | Cimatti, Alessandro [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, 2006.Online access: Click here to access online Availability: No items available

72. Formal Methods for Components and Objects [electronic resource] :4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /

by Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul de [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, 2006.Online access: Click here to access online Availability: No items available

73. Modular Programming Languages [electronic resource] :7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /

by Lightfoot, David E [editor.] | Szyperski, Clemens [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, 2006.Online access: Click here to access online Availability: No items available

74. Variations on Constants [electronic resource] :Flow Analysis of Sequential and Parallel Programs /

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

75. Computer Science Logic [electronic resource] :20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /

by Ésik, Zoltá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, 2006.Online access: Click here to access online Availability: No items available

76. Rigorous Development of Complex Fault-Tolerant Systems [electronic resource] /

by Butler, Michael [editor.] | Jones, Cliff B [editor.] | Romanovsky, Alexander [editor.] | Troubitsyna, Elena [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, 2006.Online access: Click here to access online Availability: No items available

77. Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] :Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /

by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [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, 2006.Online access: Click here to access online Availability: No items available

78. System Analysis and Modeling: Language Profiles [electronic resource] :5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /

by Gotzhein, Reinhard [editor.] | Reed, Rick [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, 2006.Online access: Click here to access online Availability: No items available

79. Perspectives of Systems Informatics [electronic resource] :6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

by Virbitskaite, Irina [editor.] | Voronkov, 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, 2007.Online access: Click here to access online Availability: No items available

80. Formal Methods: Applications and Technology [electronic resource] :11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers /

by Brim, Luboš [editor.] | Haverkort, Boudewijn [editor.] | Leucker, Martin [editor.] | Pol, Jaco van de [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, 2007.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