FEEDBACK Smiley face

Your search returned 1045 results. Subscribe to this search

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

102. Algorithmic Learning Theory [electronic resource] :11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings /

by Arimura, Hiroki [editor.] | Jain, Sanjay [editor.] | Sharma, Arun [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

103. Algorithms and Computation [electronic resource] :11th International Conference, ISAAC 2000 Taipei, Taiwan, December 18–20, 2000 Proceedings /

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan van [editor.] | Lee, D. T [editor.] | Teng, Shang-Hua [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

104. Grid Computing — GRID 2000 [electronic resource] :First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings /

by Buyya, Rajkumar [editor.] | Baker, 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

105. Services Management in Intelligent Networks [electronic resource] :11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4–6, 2000 Proceedings /

by Ambler, Anthony [editor.] | Calo, Seraphin B [editor.] | Kar, Gautam [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

106. Progress in Cryptology —INDOCRYPT 2000 [electronic resource] :First International Conference in Cryptology in India Calcutta, India, December 10–13, 2000 Proceedings /

by Roy, Bimal [editor.] | Okamoto, Eiji [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

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

108. Randomness and Completeness in Computational Complexity [electronic resource] /

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

109. Theory and Application of Diagrams [electronic resource] :First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings /

by Anderson, Michael [editor.] | Cheng, Peter [editor.] | Haarslev, Volker [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

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

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

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

113. Network-Based Parallel Computing. Communication, Architecture, and Applications [electronic resource] :4th International Workshop, CANPC 2000, Toulouse, France, January 8, 2000. Proceedings /

by Falsafi, Babak [editor.] | Lauria, Mario [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

114. Recent Advances in AI Planning [electronic resource] :5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings /

by Biundo, Susanne [editor.] | Fox, Maria [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

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

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

117. Artificial Evolution [electronic resource] :4th European Conference, AE’99, Dunkerque, France, November 3-5, 1999. Selected Papers /

by Fonlupt, Cyril [editor.] | Hao, Jin-Kao [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | Ronald, Edmund [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

118. Computing and Combinatorics [electronic resource] :6th Annual International Conference, COCOON 2000 Sydney, Australia, July 26–28, 2000 Proceedings /

by Du, Ding-Zhu [editor.] | Eades, Peter [editor.] | Estivill-Castro, Vladimir [editor.] | Lin, Xuemin [editor.] | Sharma, Arun [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

119. Algorithm Theory - SWAT 2000 [electronic resource] :7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5–7, 2000 Proceedings.

by 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

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


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