FEEDBACK Smiley face

Refine your search

Your search returned 953 results. Subscribe to this search

|
181. Fundamentals of Computation Theory [electronic resource] :13th International Symposium, FCT 2001 Riga, Latvia, August 22–24, 2001 Proceedings /

by Freivalds, Rūsiņš [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. Interactive Systems Design, Specification, and Verification [electronic resource] :7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers /

by Palanque, Philippe [editor.] | Paternò, Fabio [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

183. Algorithms — ESA 2001 [electronic resource] :9th Annual European Symposium Århus, Denmark, August 28–31, 2001 Proceedings /

by Heide, Friedhelm Meyer auf der [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. Computing and Combinatorics [electronic resource] :7th Annual International Conference, COCOON 2001 Guilin, China, August 20–23, 2001 Proceedings /

by Wang, Jie [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. Euro-Par 2001 Parallel Processing [electronic resource] :7th International Euro-Par Conference Manchester, UK, August 28–31, 2001 Proceedings /

by Sakellariou, Rizos [editor.] | Gurd, John [editor.] | Freeman, Len [editor.] | Keane, 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, 2001.Online access: Click here to access online Availability: No items available

186. Mathematical Foundations of Computer Science 2001 [electronic resource] :26th International Symposium, MFCS 2001 Mariánské Lázne, Czech Republic, August 27–31, 2001 Proceedings /

by Sgall, Jiří [editor.] | Pultr, Aleš [editor.] | Kolman, Petr [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. CONCUR 2001 — Concurrency Theory [electronic resource] :12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings /

by Larsen, Kim G [editor.] | Nielsen, Mogens [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. Algorithm Engineering [electronic resource] :5th International Workshop, WAE 2001 Århus, Denmark, August 28–31, 2001 Proceedings /

by Brodal, Gerth Stølting [editor.] | Frigioni, Daniele [editor.] | Marchetti-Spaccamela, Alberto [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. Robot Vision [electronic resource] :International Workshop RobVis 2001 Auckland, New Zealand, February 16–18, 2001 Proceedings /

by Klette, Reinhard [editor.] | Peleg, Shmuel [editor.] | Sommer, Gerald [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. Algorithm Engineering [electronic resource] :4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5–8, 2000 Proceedings /

by Näher, Stefan [editor.] | Wagner, Dorothea [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. STACS 2001 [electronic resource] :18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15–17, 2001 Proceedings /

by Ferreira, Afonso [editor.] | Reichel, Horst [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. Evolutionary Multi-Criterion Optimization [electronic resource] :First International Conference, EMO 2001 Zurich, Switzerland, March 7–9, 2001 Proceedings /

by Zitzler, Eckart [editor.] | Thiele, Lothar [editor.] | Deb, Kalyanmoy [editor.] | Coello Coello, Carlos Artemio [editor.] | Corne, David [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. Theorem Proving in Higher Order Logics [electronic resource] :14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings /

by Boulton, Richard J [editor.] | Jackson, Paul B [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. Correct Hardware Design and Verification Methods [electronic resource] :11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings /

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

195. Process Algebra and Probabilistic Methods. Performance Modelling and Verification [electronic resource] :Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings /

by Alfaro, Luca de [editor.] | Gilmore, Stephen [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

196. Advances in Intelligent Data Analysis [electronic resource] :4th International Conference, IDA 2001 Cascais, Portugal, September 13–15, 2001 Proceedings /

by Hoffmann, Frank [editor.] | Hand, David J [editor.] | Adams, Niall [editor.] | Fisher, Douglas [editor.] | Guimaraes, Gabriela [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

197. DNA Computing [electronic resource] :6th InternationalWorkshop on DNA-Based Computers, DNA 2000 Leiden, The Netherlands, June 13–17, 2000 Revised Papers /

by Condon, Anne [editor.] | Rozenberg, Grzegorz [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

198. Machines, Computations, and Universality [electronic resource] :Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings /

by Margenstern, Maurice [editor.] | Rogozhin, Yurii [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

199. FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :21st Conference Bangalore, India, December 13–15, 2001 Proceedings /

by Hariharan, Ramesh [editor.] | Vinay, V [editor.] | Mukund, Madhavan [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

200. Cryptography and Coding [electronic resource] :8th IMA International Conference Cirencester, UK, December 17–19, 2001 Proceedings /

by Honary, Bahram [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


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