FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
521. Generative Programming and Component Engineering [electronic resource] :Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings /

by Pfenning, Frank [editor.] | Smaragdakis, Yannis [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, 2003.Online access: Click here to access online Availability: No items available

522. Ambient Intelligence [electronic resource] :First European Symposium, EUSAI 2003, Veldhoven,The Netherlands,November 3-4, 2003. Proceedings /

by Aarts, Emile [editor.] | Collier, René W [editor.] | Loenen, Evert van [editor.] | Ruyter, Boris de [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, 2003.Online access: Click here to access online Availability: No items available

523. Perspectives of System Informatics [electronic resource] :5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers /

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

524. Personal Wireless Communications [electronic resource] :IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings /

by Conti, Marco [editor.] | Giordano, Silvia [editor.] | Gregori, Enrico [editor.] | Olariu, Stephan [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, 2003.Online access: Click here to access online Availability: No items available

525. Multiagent System Technologies [electronic resource] :First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings /

by Schillo, Michael [editor.] | Klusch, Matthias [editor.] | Müller, Jörg [editor.] | Tianfield, Huaglory [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, 2003.Online access: Click here to access online Availability: No items available

526. Web Services - ICWS-Europe 2003 [electronic resource] /

by Jeckle, Mario [editor.] | Zhang, Liang-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, 2003.Online access: Click here to access online Availability: No items available

527. Computer Safety, Reliability, and Security [electronic resource] :22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings /

by Anderson, Stuart [editor.] | Felici, Massimo [editor.] | Littlewood, Bev [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, 2003.Online access: Click here to access online Availability: No items available

528. Formal Methods and Software Engineering [electronic resource] :5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings /

by Dong, Jin Song [editor.] | Woodcock, Jim [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, 2003.Online access: Click here to access online Availability: No items available

529. Intelligent Agents and Multi-Agent Systems [electronic resource] :6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003. Proceedings /

by Lee, Jaeho [editor.] | Barley, Mike [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, 2003.Online access: Click here to access online Availability: No items available

530. Verification: Theory and Practice [electronic resource] :Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /

by Dershowitz, Nachum [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, 2003.Online access: Click here to access online Availability: No items available

531. Inductive Logic Programming [electronic resource] :13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings /

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [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, 2003.Online access: Click here to access online Availability: No items available

532. Software and Compilers for Embedded Systems [electronic resource] :7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings /

by Krall, Andreas [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, 2003.Online access: Click here to access online Availability: No items available

533. Interactive Systems. Design, Specification, and Verification [electronic resource] :10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers /

by Jorge, Joaquim A [editor.] | Jardim Nunes, Nuno [editor.] | Falcão e Cunha, João [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, 2003.Online access: Click here to access online Availability: No items available

534. Formal Methods for Open Object-Based Distributed Systems [electronic resource] :6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /

by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [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, 2003.Online access: Click here to access online Availability: No items available

535. On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops [electronic resource] :OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES,WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings /

by Meersman, Robert [editor.] | Tari, Zahir [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, 2003.Online access: Click here to access online Availability: No items available

536. On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE [electronic resource] :OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings /

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | Schmidt, Douglas 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, 2003.Online access: Click here to access online Availability: No items available

537. Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] :23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings /

by König, Hartmut [editor.] | Heiner, Monika [editor.] | Wolisz, Adam [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, 2003.Online access: Click here to access online Availability: No items available

538. String Processing and Information Retrieval [electronic resource] :10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003. Proceedings /

by Nascimento, Mario A [editor.] | Moura, Edleno S. de [editor.] | 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, 2003.Online access: Click here to access online Availability: No items available

539. Matchmaking in Electronic Markets [electronic resource] :An Agent-Based Approach towards Matchmaking in Electronic Negotiations /

by Veit, Daniel J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available

540. Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] :10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers /

by Aichernig, Bernhard K [editor.] | Maibaum, 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, 2003.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