FEEDBACK Smiley face

Your search returned 1184 results. Subscribe to this search

|
121. Theorem Proving in Higher Order Logics [electronic resource] :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings /

by Aagaard, Mark [editor.] | Harrison, 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, 2000.Online access: Click here to access online Availability: No items available

122. Languages and Compilers for Parallel Computing [electronic resource] :12th International Workshop, LCPC’99 La Jolla, CA, USA, August 4–6, 1999 Proceedings /

by Carter, Larry [editor.] | Ferrante, Jeanne [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, 2000.Online access: Click here to access online Availability: No items available

123. Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] :International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings /

by Leeuwen, Jan van [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [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, 2000.Online access: Click here to access online Availability: No items available

124. Rewriting Techniques and Applications [electronic resource] :11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings /

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

125. Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings /

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

126. Mathematics of Program Construction [electronic resource] :5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /

by Backhouse, Roland [editor.] | Oliveira, José Nuno [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, 2000.Online access: Click here to access online Availability: No items available

127. Reflection and Software Engineering [electronic resource] /

by Cazzola, Walter [editor.] | Stroud, Robert J [editor.] | Tisato, Francesco [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, 2000.Online access: Click here to access online Availability: No items available

128. Reliable Software Technologies Ada-Europe 2000 [electronic resource] :5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000. Proceedings /

by Keller, Hubert B [editor.] | Plödereder, Erhard [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, 2000.Online access: Click here to access online Availability: No items available

129. Static Analysis [electronic resource] :7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings /

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

130. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :7th European PVM/MPI Users’ Group Meeting Balatonfüred, Hungary, September 10–13, 2000 Proceedings /

by Dongarra, Jack [editor.] | Kacsuk, Peter [editor.] | Podhorszki, Norbert [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, 2000.Online access: Click here to access online Availability: No items available

131. Grammatical Inference: Algorithms and Applications [electronic resource] :5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings /

by Oliveira, Arlindo L [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, 2000.Online access: Click here to access online Availability: No items available

132. SPIN Model Checking and Software Verification [electronic resource] :7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings /

by Havelund, Klaus [editor.] | Penix, John [editor.] | Visser, Willem [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, 2000.Online access: Click here to access online Availability: No items available

133. Principles and Practice of Constraint Programming – CP 2000 [electronic resource] :6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

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

134. Semantics, Applications, and Implementation of Program Generation [electronic resource] :International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings /

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

135. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings /

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

136. Middleware 2000 [electronic resource] :IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4–7, 2000 Proceedings /

by Sventek, Joseph [editor.] | Coulson, Geoffrey [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, 2000.Online access: Click here to access online Availability: No items available

137. Compiler Construction [electronic resource] :9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

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

138. Programming Languages and Systems [electronic resource] :9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

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

139. Fundamental Approaches to Software Engineering [electronic resource] :Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

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

140. Foundations of Software Science and Computation Structures [electronic resource] :Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

by Tiuryn, Jerzy [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, 2000.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