FEEDBACK Smiley face

Your search returned 145 results. Subscribe to this search

|
81. Foundations of Software Science and Computational Structures [electronic resource] :10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /

by Seidl, Helmut [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

82. Formal Methods for Performance Evaluation [electronic resource] :7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /

by Bernardo, Marco [editor.] | Hillston, Jane [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

83. Integrated Formal Methods [electronic resource] :6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

by Davies, Jim [editor.] | Gibbons, Jeremy [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

84. CONCUR 2007 – Concurrency Theory [electronic resource] :18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /

by Caires, Luís [editor.] | Vasconcelos, Vasco T [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

85. Computer Science Logic [electronic resource] :21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /

by Duparc, Jacques [editor.] | Henzinger, Thomas 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, 2007.Online access: Click here to access online Availability: No items available

86. Model Driven Engineering Languages and Systems [electronic resource] :10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /

by Engels, Gregor [editor.] | Opdyke, Bill [editor.] | Schmidt, Douglas C [editor.] | Weil, 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, 2007.Online access: Click here to access online Availability: No items available

87. Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] :4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /

by Jones, Cliff B [editor.] | Liu, Zhiming [editor.] | Woodcock, Jim [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

88. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /

by Arvind, V [editor.] | Prasad, Sanjiva [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

89. Composition of Embedded Systems. Scientific and Industrial Issues [electronic resource] :13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

by Kordon, Fabrice [editor.] | Sokolsky, Oleg [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, 2008.Online access: Click here to access online Availability: No items available

90. Foundations of Software Science and Computational Structures [electronic resource] :11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /

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

91. Formal Methods for Industrial Critical Systems [electronic resource] :12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

by Leue, Stefan [editor.] | Merino, Pedro [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, 2008.Online access: Click here to access online Availability: No items available

92. Implementation and Application of Functional Languages [electronic resource] :19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /

by Chitil, Olaf [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [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, 2008.Online access: Click here to access online Availability: No items available

93. Formal Modeling and Analysis of Timed Systems [electronic resource] :6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /

by Cassez, Franck [editor.] | Jard, Claude [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, 2008.Online access: Click here to access online Availability: No items available

94. Component-Based Software Engineering [electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /

by Chaudron, Michel R. V [editor.] | Szyperski, Clemens [editor.] | Reussner, 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, 2008.Online access: Click here to access online Availability: No items available

95. Central European Functional Programming School [electronic resource] :Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

by Horváth, Zoltán [editor.] | Plasmeijer, Rinus [editor.] | Soós, Anna [editor.] | Zsók, Viktória [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, 2008.Online access: Click here to access online Availability: No items available

96. Language and Automata Theory and Applications [electronic resource] :Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /

by Martín-Vide, Carlos [editor.] | Otto, Friedrich [editor.] | Fernau, Henning [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, 2008.Online access: Click here to access online Availability: No items available

97. Runtime Verification [electronic resource] :8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /

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

98. Logic and Its Applications [electronic resource] :Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /

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

99. Programming Languages and Systems [electronic resource] :18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

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

100. Foundations of Software Science and Computational Structures [electronic resource] :12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

by 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 : Imprint: Springer, 2009.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