FEEDBACK Smiley face

Your search returned 4600 results. Subscribe to this search

|
341. Computer Aided Verification [electronic resource] :12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings /

by Emerson, E. Allen [editor.] | Sistla, Aravinda Prasad [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

342. Intelligent Problem Solving. Methodologies and Approaches [electronic resource] :13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000 New Orleans, Louisiana, USA, June 19–22, 2000 Proceedings /

by Logananthara, Rasiah [editor.] | Palm, Günther [editor.] | Ali, Moonis [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

343. Computer Vision — ECCV 2000 [electronic resource] :6th European Conference on Computer Vision Dublin, Ireland, June 26–July 1, 2000 Proceedings, Part II /

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

344. Computer Vision - ECCV 2000 [electronic resource] :6th European Conference on Computer Vision Dublin, Ireland, June 26 – July 1, 2000 Proceedings, Part I.

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

345. Automated Deduction - CADE-17 [electronic resource] :17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings /

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

346. Intelligent Tutoring Systems [electronic resource] :5th International Conference, ITS 2000 Montréal, Canada, June 19–23, 2000 Proceedings /

by Gauthier, Gilles [editor.] | Frasson, Claude [editor.] | VanLehn, Kurt [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

347. Distributed Communities on the Web [electronic resource] :Third International Workshop, DCW 2000 Quebec City, Canada, June 19–21, 2000 Proceedings /

by Kropf, Peter G [editor.] | Babin, Gilbert [editor.] | Plaice, John [editor.] | Unger, Herwig [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

348. Logic-Based Program Synthesis and Transformation [electronic resource] :9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers /

by Bossi, Annalisa [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

349. Web-Age Information Management [electronic resource] :First International Conference, WAIM 2000 Shanghai, China, June 21–23, 2000 Proceedings /

by Lu, Hongjun [editor.] | Zhou, Aoying [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

350. Natural Language Processing — NLP 2000 [electronic resource] :Second International Conference Patras, Greece, June 2–4, 2000 Proceedings /

by Christodoulakis, Dimitris N [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

351. Machine Learning: ECML 2000 [electronic resource] :11th European Conference on Machine Learning Barcelona, Catalonia, Spain, May 31 – June 2, 2000 Proceedings /

by López de Mántaras, Ramon [editor.] | Plaza, Enric [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

352. Grammatical Inference: Algorithms and Applications [electronic resource] :5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000. Proceedings /

by Oliveira, Arlindo L [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

353. Algebraic Frames for the Perception-Action Cycle [electronic resource] :Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000. Proceedings /

by Sommer, Gerald [editor.] | Zeevi, Yehoshua Y [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

354. Coordination Languages and Models [electronic resource] :4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11–13, 2000 Proceedings /

by Porto, António [editor.] | Roman, Gruia-Catalin [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

355. Text, Speech and Dialogue [electronic resource] :Third International Workshop, TSD 2000 Brno, Czech Republic, September 13–16, 2000 Proceedings /

by Sojka, Petr [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [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

356. RoboCup-99: Robot Soccer World Cup III [electronic resource] /

by Veloso, Manuela [editor.] | Pagello, Enrico [editor.] | Kitano, Hiroaki [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

357. Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] :9th International Conference, AIMSA 2000 Varna, Bulgaria, September 20–23, 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

358. Agent Systems, Mobile Agents, and Applications [electronic resource] :Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 Proceedings /

by Kotz, David [editor.] | Mattern, Friedemann [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

359. Principles and Practice of Constraint Programming – CP 2000 [electronic resource] :6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings /

by Dechter, Rina [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

360. Parallel Problem Solving from Nature PPSN VI [electronic resource] :6th International Conference Paris, France, September 18–20, 2000 Proceedings /

by Schoenauer, Marc [editor.] | Deb, Kalyanmoy [editor.] | Rudolph, Günther [editor.] | Yao, Xin [editor.] | Lutton, Evelyne [editor.] | Merelo, Juan Julian [editor.] | Schwefel, Hans-Paul [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