FEEDBACK Smiley face

Your search returned 1199 results. Subscribe to this search

|
181. Computational Intelligence. Theory and Applications [electronic resource] :International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings /

by Reusch, Bernd [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, 2001.Online access: Click here to access online Availability: No items available

182. Persistent Object Systems: Design, Implementation, and Use [electronic resource] :9th International Workshop, POS-9 Lillehammer, Norway, September 6–8, 2000 Revised Papers /

by Kirby, Graham N. C [editor.] | Dearle, Alan [editor.] | Sjøberg, Dag I. K [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, 2001.Other title: Design, Implementation, and Use.Online access: Click here to access online Availability: No items available

183. Theoretical Aspects of Computer Software [electronic resource] :4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings /

by Kobayashi, Naoki [editor.] | Pierce, Benjamin C [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, 2001.Online access: Click here to access online Availability: No items available

184. Proof Theory in Computer Science [electronic resource] :International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings /

by Kahle, Reinhard [editor.] | Schroeder-Heister, Peter [editor.] | Stärk, Robert [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, 2001.Online access: Click here to access online Availability: No items available

185. Middleware 2001 [electronic resource] :IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12–16, 2001 Proceedings /

by Guerraoui, Rachid [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, 2001.Online access: Click here to access online Availability: No items available

186. Automata Implementation [electronic resource] :4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers /

by Boldt, Oliver [editor.] | Jürgensen, 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, 2001.Online access: Click here to access online Availability: No items available

187. Languages and Compilers for Parallel Computing [electronic resource] :13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers /

by Midkiff, Samuel P [editor.] | Moreira, José E [editor.] | Gupta, Manish [editor.] | Chatterjee, Siddhartha [editor.] | Ferrante, Jeanne [editor.] | Prins, Jan [editor.] | Pugh, William [editor.] | Tseng, Chau-Wen [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, 2001.Online access: Click here to access online Availability: No items available

188. Perspectives of System Informatics [electronic resource] :4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers /

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [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, 2001.Online access: Click here to access online Availability: No items available

189. Principles and Practice of Constraint Programming — CP 2001 [electronic resource] :7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Walsh, Toby [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, 2001.Online access: Click here to access online Availability: No items available

190. Foundations of Security Analysis and Design [electronic resource] :Tutorial Lectures /

by Focardi, Riccardo [editor.] | Gorrieri, Roberto [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, 2001.Online access: Click here to access online Availability: No items available

191. Logic Programming [electronic resource] :17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings /

by Codognet, Philippe [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, 2001.Online access: Click here to access online Availability: No items available

192. Grid Computing — GRID 2001 [electronic resource] :Second International Workshop Denver, CO, USA, November 12, 2001 Proceedings /

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

193. Static Analysis [electronic resource] :8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings /

by Cousot, Patrick [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, 2001.Online access: Click here to access online Availability: No items available

194. SDL 2001: Meeting UML [electronic resource] :10th International SDL Forum Copenhagen, Denmark, June 27–29, 2001 Proceedings /

by Reed, Rick [editor.] | Reed, 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, 2001.Online access: Click here to access online Availability: No items available

195. Formal Methods and Software Engineering [electronic resource] :4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings /

by George, Chris [editor.] | Miao, Huaikou [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, 2002.Online access: Click here to access online Availability: No items available

196. FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Agrawal, Manindra [editor.] | Seth, Anil [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, 2002.Online access: Click here to access online Availability: No items available

197. Component Deployment [electronic resource] :IFIP/ACM Working Conference, CD 2002 Berlin, Germany, June 20–21, 2002 Proceedings /

by Bishop, Judith [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, 2002.Online access: Click here to access online Availability: No items available

198. Mathematics of Program Construction [electronic resource] :6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings /

by Boiten, Eerke A [editor.] | Möller, Bernhard [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, 2002.Online access: Click here to access online Availability: No items available

199. Practical Aspects of Declarative Languages [electronic resource] :4th International Symposium, PADL 2002 Portland, OR, USA, January 19–20, 2002 Proceedings /

by Krishnamurthi, Shriram [editor.] | Ramakrishnan, C. R [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, 2002.Online access: Click here to access online Availability: No items available

200. Process Algebra and Probabilistic Methods: Performance Modeling and Verification [electronic resource] :Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings /

by Hermanns, Holger [editor.] | Segala, Roberto [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, 2002.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