FEEDBACK Smiley face

Your search returned 1219 results. Subscribe to this search

|
121. Logics in Artificial Intelligence [electronic resource] :European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings /

by Ojeda-Aciego, Manuel [editor.] | Guzmán, Inma P. de [editor.] | Brewka, Gerhard [editor.] | Pereira, Luís Moniz [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. ≪UML≫ 2000 — The Unified Modeling Language [electronic resource] :Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings /

by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [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. Analysis and Visualization Tools for Constraint Programming [electronic resource] :Constraint Debugging /

by Deransart, Pierre [editor.] | Hermenegildo, Manuel V [editor.] | Małuszynski, Jan [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. Issues in Agent Communication [electronic resource] /

by Dignum, Frank [editor.] | Greaves, Mark [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. Generative and Component-Based Software Engineering [electronic resource] :First International Symposium, GCSE’99 Erfurt, Germany, September 28–30, 1999 Revised Papers /

by Czarnecki, Krzysztof [editor.] | Eisenecker, Ulrich W [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. Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] :5th International Workshop, LCR 2000 Rochester, NY, USA, May 25–27, 2000 Selected Papers /

by Dwarkadas, Sandhya [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. Integrated Formal Methods [electronic resource] :Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings /

by Grieskamp, Wolfgang [editor.] | Santen, Thomas [editor.] | Stoddart, Bill [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. Logic for Programming and Automated Reasoning [electronic resource] :7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings /

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

129. FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :20th Conference New Delhi, India, December 13–15, 2000 Proceedings /

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

130. Abstract State Machines - Theory and Applications [electronic resource] :International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /

by Gurevich, Yuri [editor.] | Kutter, Philipp W [editor.] | Odersky, Martin [editor.] | Thiele, Lothar [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, 2000.Online access: Click here to access online Availability: No items available

131. Modular Programming Languages [electronic resource] :Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings /

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

132. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers /

by Coquand, Thierry [editor.] | Dybjer, Peter [editor.] | Nordström, Bengt [editor.] | Smith, Jan [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, 2000.Online access: Click here to access online Availability: No items available

133. Mathematical Foundations of Computer Science 2000 [electronic resource] :25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 – September 1, 2000 Proceedings /

by Nielsen, Mogens [editor.] | Rovan, Branislav [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. Recent Trends in Algebraic Development Techniques [electronic resource] :14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers /

by Bert, Didier [editor.] | Choppy, Christine [editor.] | Mosses, Peter D [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. CONCUR 2000 — Concurrency Theory [electronic resource] :11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings /

by Palamidessi, Catuscia [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. Computer Science Logic [electronic resource] :14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings /

by Clote, Peter G [editor.] | Schwichtenberg, 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, 2000.Online access: Click here to access online Availability: No items available

137. New Trends in Constraints [electronic resource] :Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers /

by Apt, Krzysztof R [editor.] | Monfroy, Eric [editor.] | Kakas, Antonis C [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, 2000.Online access: Click here to access online Availability: No items available

138. Implementation of Functional Languages [electronic resource] :11th International Workshop, IFL’99, Lochem, The Netherlands, September 7-10, 1999. Selected Papers /

by Koopman, Pieter [editor.] | Clack, Chris [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. 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

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


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