FEEDBACK Smiley face

Your search returned 656 results. Subscribe to this search

|
161. Formal Concept Analysis [electronic resource] :4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings /

by Missaoui, Rokia [editor.] | Schmidt, 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, 2006.Online access: Click here to access online Availability: No items available

162. The Seventeen Provers of the World [electronic resource] :Foreword by Dana S. Scott /

by Wiedijk, Freek [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

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

164. Compiler Construction [electronic resource] :15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings /

by Mycroft, Alan [editor.] | Zeller, Andreas [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

165. Programming Languages and Systems [electronic resource] :15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /

by Sestoft, Peter [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

166. Relational Methods in Computer Science [electronic resource] :8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /

by MacCaull, Wendy [editor.] | Winter, Michael [editor.] | Düntsch, Ivo [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

167. Mathematics of Program Construction [electronic resource] :8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /

by Uustalu, Tarmo [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

168. Algebraic Methodology and Software Technology [electronic resource] :11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings /

by Johnson, Michael [editor.] | Vene, Varmo [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

169. Logic Programming [electronic resource] :22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /

by Etalle, Sandro [editor.] | Truszczyński, Mirosław [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

170. Automated Reasoning [electronic resource] :Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /

by Furbach, Ulrich [editor.] | Shankar, Natarajan [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

171. FM 2006: Formal Methods [electronic resource] :14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /

by Misra, Jayadev [editor.] | Nipkow, Tobias [editor.] | Sekerinski, Emil [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

172. Computer Aided Verification [electronic resource] :18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /

by Ball, Thomas [editor.] | Jones, Robert B [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

173. Static Analysis [electronic resource] :13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /

by Yi, Kwangkeun [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

174. Relations and Kleene Algebra in Computer Science [electronic resource] :9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings /

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

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

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

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

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

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

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


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