FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
161. Principles and Practice of Constraint Programming – CP 2007 [electronic resource] :13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings /

by Bessière, Christian [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

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

163. Programming Languages and Systems [electronic resource] :5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /

by Shao, Zhong [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

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

165. Types for Proofs and Programs [electronic resource] :International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers /

by Miculan, Marino [editor.] | Scagnetto, Ivan [editor.] | Honsell, Furio [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

166. Static Analysis [electronic resource] :15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /

by Alpuente, María [editor.] | Vidal, 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, 2008.Online access: Click here to access online Availability: No items available

167. 25 Years of Model Checking [electronic resource] :History, Achievements, Perspectives /

by Grumberg, Orna [editor.] | Veith, 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, 2008.Online access: Click here to access online Availability: No items available

168. Rewriting Techniques and Applications [electronic resource] :19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /

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

169. Mathematics of Program Construction [electronic resource] :9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /

by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [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

170. Conceptual Structures: Knowledge Visualization and Reasoning [electronic resource] :16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /

by Eklund, Peter [editor.] | Haemmerlé, Ollivier [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

171. Implementation and Applications of Automata [electronic resource] :13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /

by Ibarra, Oscar H [editor.] | Ravikumar, Bala [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

172. Theorem Proving in Higher Order Logics [electronic resource] :21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /

by Mohamed, Otmane Ait [editor.] | Muñoz, César [editor.] | Tahar, Sofiè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 : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available

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

174. Programming Languages and Systems [electronic resource] :17th European Symposium on Programming, ESOP 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 Drossopoulou, Sophia [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

175. Compiler Construction [electronic resource] :17th International Conference, CC 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 Hendren, Laurie [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

176. Functional and Logic Programming [electronic resource] :9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /

by Garrigue, Jacques [editor.] | Hermenegildo, Manuel V [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

177. Algebraic Methodology and Software Technology [electronic resource] :12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /

by Meseguer, José [editor.] | Roşu, Grigore [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

178. Advances in Natural Language Processing [electronic resource] :6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings /

by Nordström, Bengt [editor.] | Ranta, Aarne [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

179. Advances in Case-Based Reasoning [electronic resource] :9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings /

by Althoff, Klaus-Dieter [editor.] | Bergmann, Ralph [editor.] | Minor, Mirjam [editor.] | Hanft, Alexandre [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

180. Principles and Practice of Constraint Programming [electronic resource] :14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings /

by Stuckey, Peter 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, 2008.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