FEEDBACK Smiley face

Your search returned 662 results. Subscribe to this search

|
181. Principles and Practice of Semantic Web Reasoning [electronic resource] :4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers /

by Alferes, Jóse Júlio [editor.] | Bailey, James [editor.] | May, Wolfgang [editor.] | Schwertel, Uta [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

182. Principles and Practice of Constraint Programming - CP 2006 [electronic resource] :12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings /

by Benhamou, Frédéric [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

183. Conceptual Modeling - ER 2006 [electronic resource] :25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings /

by Embley, David W [editor.] | Olivé, Antoni [editor.] | Ram, Sudha [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

184. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings /

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

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

186. Programming Languages and Systems [electronic resource] :4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /

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

187. B 2007: Formal Specification and Development in B [electronic resource] :7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /

by Julliand, Jacques [editor.] | Kouchnarenko, Olga [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

188. Verification of Object-Oriented Software. The KeY Approach [electronic resource] :Foreword by K. Rustan M. Leino /

by Beckert, Bernhard [editor.] | Hähnle, Reiner [editor.] | Schmitt, Peter H [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

189. Formal Concept Analysis [electronic resource] :5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /

by Kuznetsov, Sergei O [editor.] | Schmidt, Stefan [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

190. Compiler Construction [electronic resource] :16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /

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

191. Program Analysis and Compilation, Theory and Practice [electronic resource] :Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

by Reps, Thomas [editor.] | Sagiv, Mooly [editor.] | Bauer, Jörg [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

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

193. Logic-Based Program Synthesis and Transformation [electronic resource] :16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

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

194. Recent Trends in Algebraic Development Techniques [electronic resource] :18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers /

by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [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

195. All About Maude - A High-Performance Logical Framework [electronic resource] :How to Specify, Program and Verify Systems in Rewriting Logic /

by Clavel, Manuel [author.] | Durán, Francisco [author.] | Eker, Steven [author.] | Lincoln, Patrick [author.] | Martí-Oliet, Narciso [author.] | Meseguer, José [author.] | Talcott, Carolyn [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, 2007.Online access: Click here to access online Availability: No items available

196. Logic Programming and Nonmonotonic Reasoning [electronic resource] :9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /

by Baral, Chitta [editor.] | Brewka, Gerhard [editor.] | Schlipf, John [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

197. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings /

by Olivetti, Nicola [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

198. Rewriting, Computation and Proof [electronic resource] :Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /

by Comon-Lundh, Hubert [editor.] | Kirchner, Claude [editor.] | Kirchner, Hélène [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

199. Computer Aided Verification [electronic resource] :19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /

by Damm, Werner [editor.] | Hermanns, Holger [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

200. Algebraic Biology [electronic resource] :Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /

by Anai, Hirokazu [editor.] | Horimoto, Katsuhisa [editor.] | Kutsia, Temur [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