FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
701. Formal Methods for the Design of Real-Time Systems [electronic resource] :International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures /

by Bernardo, Marco [editor.] | Corradini, Flavio [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

702. Database and XML Technologies [electronic resource] :Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings /

by Bellahsène, Zohra [editor.] | Milo, Tova [editor.] | Rys, Michael [editor.] | Suciu, Dan [editor.] | Unland, Rainer [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

703. Multiagent System Technologies [electronic resource] :Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings /

by Lindemann, Gabriela [editor.] | Denzinger, Jörg [editor.] | Timm, Ingo J [editor.] | Unland, Rainer [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

704. Formal Methods for Components and Objects [electronic resource] :Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /

by Boer, Frank S. de [editor.] | Bonsangue, Marcello M [editor.] | Graf, Susanne [editor.] | Roever, Willem-Paul 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 : Imprint: Springer, 2004.Online access: Click here to access online Availability: No items available

705. Cooperative Design, Visualization, and Engineering [electronic resource] :First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004. Proceedings /

by Luo, Yuhua [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

706. Inductive Logic Programming [electronic resource] :14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004. Proceedings /

by Camacho, Rui [editor.] | King, Ross [editor.] | Srinivasan, Ashwin [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

707. User-Centered Interaction Paradigms for Universal Access in the Information Society [electronic resource] :8th ERCIM Workshop on User Interfaces for All , Vienna, Austria, June 28-29, 2004, Revised Selected Papers /

by Stary, Christian [editor.] | Stephanidis, Constantine [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

708. Software and Compilers for Embedded Systems [electronic resource] :8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004. Proceedings /

by Schepers, Henk [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

709. UbiComp 2004: Ubiquitous Computing [electronic resource] :6th International Conference, Nottingham, UK, September 7-10, 2004. Proceedings /

by Davies, Nigel [editor.] | Mynatt, Elizabeth D [editor.] | Siio, Itiro [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

710. Computer Safety, Reliability, and Security [electronic resource] :23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings /

by Heisel, Maritta [editor.] | Liggesmeyer, Peter [editor.] | Wittmann, Stefan [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

711. Algorithms – ESA 2004 [electronic resource] :12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings /

by Albers, Susanne [editor.] | Radzik, Tomasz [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

712. Network and Parallel Computing [electronic resource] :IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings /

by Jin, Hai [editor.] | Gao, Guang R [editor.] | Xu, Zhiwei [editor.] | Chen, Hao [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

713. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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

714. Semantics of a Networked World. Semantics for Grid Databases [electronic resource] :First International IFIP Conference, ICSNW 2004, Paris, France, June 17-19, 2004, Revised Selected Papers /

by Bouzeghoub, Mokrane [editor.] | Goble, Carole [editor.] | Kashyap, Vipul [editor.] | Spaccapietra, 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

715. Generative Programming and Component Engineering [electronic resource] :Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings /

by Karsai, Gabor [editor.] | Visser, Eelco [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

716. Applied Computing [electronic resource] :Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings /

by Manandhar, Suresh [editor.] | Austin, Jim [editor.] | Desai, Uday [editor.] | Oyanagi, Yoshio [editor.] | Talukder, Asoke K [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

717. Software Process Improvement [electronic resource] :11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings /

by Dingsøyr, Torgeir [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

718. Computer and Information Sciences - ISCIS 2004 [electronic resource] :19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings /

by Aykanat, Cevdet [editor.] | Dayar, Tuǧrul [editor.] | Körpeoğlu, İbrahim [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

719. Utility Computing [electronic resource] :15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings /

by Sahai, Akhil [editor.] | Wu, Felix [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

720. «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] :7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /

by Baar, Thomas [editor.] | Strohmeier, Alfred [editor.] | Moreira, Ana [editor.] | Mellor, Stephen 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 : Imprint: Springer, 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