FEEDBACK Smiley face

Your search returned 656 results. Subscribe to this search

|
121. Algebraic Methodology and Software Technology [electronic resource] :10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings /

by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [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

122. Static Analysis [electronic resource] :11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /

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

123. Formal Methods for Components and Objects [electronic resource] :Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. 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 : Imprint: Springer, 2004.Online access: Click here to access online Availability: No items available

124. Inductive Logic Programming [electronic resource] :14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings /

by Camacho, Rui [editor.] | King, Ross [editor.] | Srinivasan, Ashwin [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

125. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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

126. Principles and Practice of Constraint Programming – CP 2004 [electronic resource] :10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings /

by Wallace, Mark [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

127. Teaching Formal Methods [electronic resource] :CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings /

by Dean, C. Neville [editor.] | Boute, Raymond 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, 2004.Online access: Click here to access online Availability: No items available

128. Programming Languages and Systems [electronic resource] :Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /

by Chin, Wei-Ngan [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

129. Formal Methods in Computer-Aided Design [electronic resource] :5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings /

by Hu, Alan J [editor.] | Martin, Andrew K [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

130. From Object-Orientation to Formal Methods [electronic resource] :Essays in Memory of Ole-Johan Dahl /

by Owe, Olaf [editor.] | Krogdahl, Stein [editor.] | Lyche, 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, 2004.Online access: Click here to access online Availability: No items available

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

132. Inconsistency Tolerance [electronic resource] /

by Bertossi, Leopoldo [editor.] | Hunter, Anthony [editor.] | Schaub, Torsten [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

133. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings /

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

134. Computer Aided Verification [electronic resource] :17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /

by Etessami, Kousha [editor.] | Rajamani, Sriram K [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

135. Automata, Languages and Programming [electronic resource] :32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings /

by Caires, Luís [editor.] | Italiano, Giuseppe F [editor.] | Monteiro, Luís [editor.] | Palamidessi, Catuscia [editor.] | Yung, Moti [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

136. FM 2005: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /

by Fitzgerald, John [editor.] | Hayes, Ian J [editor.] | Tarlecki, Andrzej [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

137. Frontiers of Combining Systems [electronic resource] :5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /

by Gramlich, Bernhard [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

138. Theorem Proving in Higher Order Logics [electronic resource] :18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /

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

139. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings /

by Beckert, Bernhard [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

140. Logic Programming and Nonmonotonic Reasoning [electronic resource] :8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /

by Baral, Chitta [editor.] | Greco, Gianluigi [editor.] | Leone, Nicola [editor.] | Terracina, Giorgio [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


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in