FEEDBACK Smiley face

Your search returned 493 results. Subscribe to this search

|
121. Logic Programming [electronic resource] :21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings /

by Gabbrielli, Maurizio [editor.] | Gupta, Gopal [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

122. Static Analysis [electronic resource] :12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings /

by Hankin, Chris [editor.] | Siveroni, Igor [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

123. Foundations of Software Science and Computational Structures [electronic resource] :8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /

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

124. Compiler Construction [electronic resource] :14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /

by Bodik, Rastislav [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

125. Programming Languages and Systems [electronic resource] :14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /

by Sagiv, Mooly [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

126. Operational Semantics for Timed Systems [electronic resource] :A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /

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

127. Typed Lambda Calculi and Applications [electronic resource] :7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /

by Urzyczyn, Paweł [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

128. Term Rewriting and Applications [electronic resource] :16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /

by Giesl, Jürgen [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

129. Principles and Practice of Constraint Programming - CP 2005 [electronic resource] :11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings /

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

130. Theoretical Aspects of Computing – ICTAC 2005 [electronic resource] :Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /

by Hung, Dang Van [editor.] | Wirsing, 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, 2005.Online access: Click here to access online Availability: No items available

131. Recent Advances in Constraints [electronic resource] :Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /

by Faltings, Boi V [editor.] | Petcu, Adrian [editor.] | Fages, François [editor.] | Rossi, Francesca [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. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

by Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [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

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

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

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

136. Functional and Logic Programming [electronic resource] :8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings /

by Hagiya, Masami [editor.] | Wadler, Philip [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

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

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

139. Term Rewriting and Applications [electronic resource] :17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /

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

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


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