FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
601. FME 2003: Formal Methods [electronic resource] :International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings /

by Araki, Keijiro [editor.] | Gnesi, Stefania [editor.] | Mandrioli, Dino [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

602. Object-Oriented Information Systems [electronic resource] :9th INternational Conference, OOIS 2003, Geneva, Switzerland, September 2003. Proceedings /

by Konstantas, Dimitri [editor.] | Léonard, Michel [editor.] | Pigneur, Yves [editor.] | Patel, Shusma [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

603. Conceptual Modeling — ER 2002 [electronic resource] :21st International Conference on Conceptual Modeling Tampere, Finland, October 7–11, 2002 Proceedings /

by Spaccapietra, Stefano [editor.] | March, Salvatore T [editor.] | Kambayashi, Yahiko [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

604. Approximation and Online Algorithms [electronic resource] :First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003. Revised Papers /

by Solis-Oba, Roberto [editor.] | Jansen, Klaus [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, 2004.Online access: Click here to access online Availability: No items available

605. Wireless Sensor Networks [electronic resource] :First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings /

by Karl, Holger [editor.] | Wolisz, Adam [editor.] | Willig, 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, 2004.Online access: Click here to access online Availability: No items available

606. Advances in Agent Communication [electronic resource] :International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers /

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

607. Logic Programming and Nonmonotonic Reasoning [electronic resource] :7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings /

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [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, 2004.Online access: Click here to access online Availability: No items available

608. Validation of Stochastic Systems [electronic resource] :A Guide to Current Research /

by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [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, 2004.Online access: Click here to access online Availability: No items available

609. Formal Approaches to Software Testing [electronic resource] :Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers /

by Petrenko, Alexandre [editor.] | Ulrich, 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, 2004.Online access: Click here to access online Availability: No items available

610. Agent-Oriented Software Engineering IV [electronic resource] :4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers /

by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [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, 2004.Online access: Click here to access online Availability: No items available

611. Artificial Evolution [electronic resource] :6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers /

by Liardet, Pierre [editor.] | Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [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, 2004.Online access: Click here to access online Availability: No items available

612. Verification, Model Checking, and Abstract Interpretation [electronic resource] :5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /

by Steffen, Bernhard [editor.] | Levi, Giorgio [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, 2004.Online access: Click here to access online Availability: No items available

613. Agent-Based Hybrid Intelligent Systems [electronic resource] :An Agent-Based Framework for Complex Problem Solving /

by Zhang, Zili [author.] | Zhang, Chengqi [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, 2004.Online access: Click here to access online Availability: No items available

614. Software Engineering for Multi-Agent Systems II [electronic resource] :Research Issues and Practical Applications /

by Lucena, Carlos [editor.] | Garcia, Alessandro [editor.] | Romanovsky, Alexander [editor.] | Castro, Jaelson [editor.] | Alencar, Paulo S. 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, 2004.Online access: Click here to access online Availability: No items available

615. Radical Innovations of Software and Systems Engineering in the Future [electronic resource] :9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers /

by Wirsing, Martin [editor.] | Knapp, Alexander [editor.] | Balsamo, Simonetta [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, 2004.Online access: Click here to access online Availability: No items available

616. Coordination Models and Languages [electronic resource] :6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings /

by Nicola, Rocco De [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [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, 2004.Online access: Click here to access online Availability: No items available

617. Scientific Engineering of Distributed Java Applications [electronic resource] :Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers /

by Guelfi, Nicolas [editor.] | Astesiano, Egidio [editor.] | Reggio, Gianna [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, 2004.Online access: Click here to access online Availability: No items available

618. Mobile and Ubiquitous Information Access [electronic resource] :Mobile HCI 2003 International Workshop, Udine, Italy, September 8, 2003, Revised and Invited Papers /

by Crestani, Fabio [editor.] | Dunlop, Mark [editor.] | Mizzaro, Stefano [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, 2004.Online access: Click here to access online Availability: No items available

619. Wired/Wireless Internet Communications [electronic resource] :Second International Conference, WWIC 2004, Frankfurt (Oder), Germany, February 4-6, 2004. Proceedings /

by Langendoerfer, Peter [editor.] | Liu, Mingyan [editor.] | Matta, Ibrahim [editor.] | Tsaoussidis, Vassilis [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, 2004.Online access: Click here to access online Availability: No items available

620. COTS-Based Software Systems [electronic resource] :Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004. Proceedings /

by Kazman, Rick [editor.] | Port, Daniel [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, 2004.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