FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
341. Mobile Agents [electronic resource] :5th International Conference, MA 2001 Atlanta, GA, USA, December 2–4, 2001 Proceedings /

by Picco, Gian Pietro [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

342. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /

by Nieuwenhuis, Robert [editor.] | Voronkov, Andrei [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

343. Computational Science - ICCS 2001 [electronic resource] :International Conference San Francisco, CA, USA, May 28—30, 2001 Proceedings, Part II /

by Alexandrov, Vassil N [editor.] | Dongarra, Jack J [editor.] | Juliano, Benjoe A [editor.] | Renner, René S [editor.] | Tan, C. J. Kenneth [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

344. Applications and Theory of Petri Nets 2001 [electronic resource] :22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings /

by Colom, José-Manuel [editor.] | Koutny, Maciej [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

345. Automated Reasoning [electronic resource] :First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings /

by Goré, Rajeev [editor.] | Leitsch, Alexander [editor.] | Nipkow, Tobias [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, 2001.Online access: Click here to access online Availability: No items available

346. Software Process Technology [electronic resource] :8th European Workshop, EWSPT 2001 Witten, Germany, June 19–21, 2001 Proceedings /

by Ambriola, Vincenzo [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

347. Multi-Agent Systems and Applications [electronic resource] :9th ECCAI Advanced Course, ACAI 2001 and Agent Link’s 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2–13, 2001 Selected Tutorial Papers /

by Luck, Michael [editor.] | Mařík, Vladimír [editor.] | Štěpánková, Olga [editor.] | Trappl, 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 : Imprint: Springer, 2001.Online access: Click here to access online Availability: No items available

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

349. Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems [electronic resource] :International Workshop on Infrastructure for Scalable Multi-Agent Systems Barcelona, Spain, June 3–7, 2000 Revised Papers /

by Wagner, Tom [editor.] | Rana, Omer F [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

350. Innovative Internet Computing Systems [electronic resource] :International Workshop IICS 2001 Ilmenau, Germany, June 21–22, 2001 Proceedings /

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

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

352. Computer Vision Systems [electronic resource] :Second International Workshop, ICVS 2001 Vancouver, Canada, July 7–8, 2001 Proceedings /

by Schiele, Bernt [editor.] | Sagerer, Gerhard [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

353. Automata, Languages and Programming [electronic resource] :28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings /

by Orejas, Fernando [editor.] | Spirakis, Paul G [editor.] | Leeuwen, Jan van [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

354. High-Performance Computing and Networking [electronic resource] :9th International Conference, HPCN Europe 2001 Amsterdam, The Netherlands, June 25–27, 2001 Proceedings /

by Hertzberger, Bob [editor.] | Hoekstra, Alfons [editor.] | Williams, Roy [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

355. Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [electronic resource] :5th International Workshop, PARA 2000 Bergen, Norway, June 18–20, 2000 Proceedings /

by Sørevik, Tor [editor.] | Manne, Fredrik [editor.] | Gebremedhin, Assefaw Hadish [editor.] | Moe, Randi [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

356. Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] :9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings /

by Baaz, Matthias [editor.] | Voronkov, Andrei [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

357. Dependable Computing EDCC-4 [electronic resource] :4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings /

by Bondavalli, Andrea [editor.] | Thevenod-Fosse, Pascale [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

358. Mobile Agents for Telecommunication Applications [electronic resource] :4th International Workshop, MATA 2002 Barcelona, Spain, October 23–24, 2002 Proceedings /

by Karmouch, Ahmed [editor.] | Magedanz, Thomas [editor.] | Delgado, Jaime [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

359. EurAsia-ICT 2002: Information and Communication Technology [electronic resource] :First EurAsian Conference Shiraz, Iran, October 29–31, 2002 Proceedings /

by Shafazand, Hassan [editor.] | Tjoa, A. Min [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

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


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