FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
261. Computer Aided Verification [electronic resource] :13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings /

by Berry, Gérard [editor.] | Comon, Hubert [editor.] | Finkel, Alain [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

262. OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2001 West Lafayette, IN, USA, July 30–31, 2001 Proceedings /

by Eigenmann, Rudolf [editor.] | Voss, Michael J [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

263. Non-Standard Inferences in Description Logics [electronic resource] /

by Küsters, Ralf [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

264. Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] :7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /

by Castelfranchi, Cristiano [editor.] | Lespérance, Yves [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

265. Intelligent Agents: Specification, Modeling, and Applications [electronic resource] :4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28–29, 2001 Proceedings /

by Yuan, Soe -Tsyr [editor.] | Yokoo, Makoto [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

266. Lectures on Formal Methods and PerformanceAnalysis [electronic resource] :First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /

by Brinksma, Ed [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [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

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

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

269. Field-Programmable Logic and Applications [electronic resource] :11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings /

by Brebner, Gordon [editor.] | Woods, Roger [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

270. New Approaches in Software Measurement [electronic resource] :10th International Workshop, IWSM 2000 Berlin, Germany, October 4–6, 2000 Proceedings /

by Dumke, Reiner [editor.] | Abran, Alain [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

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

272. Parallel Computing Technologies [electronic resource] :6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3–7, 2001 Proceedings /

by Malyshkin, Victor [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

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

274. Inductive Logic Programming [electronic resource] :11th International Conference, ILP 2001 Strasbourg, France, September 9–11, 2001 Proceedings /

by Rouveirol, Céline [editor.] | Sebag, Michéle [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

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

276. Generative and Component-Based Software Engineering [electronic resource] :Third International Conference, GCSE 2001 Erfurt, Germany, September 10–13, 2001 Proceedings /

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

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

278. Semantics, Applications, and Implementation of Program Generation [electronic resource] :Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 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, 2001.Online access: Click here to access online Availability: No items available

279. Product Focused Software Process Improvement [electronic resource] :Third International Conference, PROFES 2001 Kaiserslautern, Germany, September 10–13, 2001 Proceedings /

by Bomarius, Frank [editor.] | Komi-Sirviö, Seija [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

280. Advances in Learning Software Organizations [electronic resource] :Third International Workshop, LSO 2001 Kaiserslautern, Germany, September 12–13, 2001 Proceedings /

by Althoff, Klaus-Dieter [editor.] | Feldmann, Raimund L [editor.] | Müller, Wolfgang [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