FEEDBACK Smiley face

Your search returned 2811 results. Subscribe to this search

|
561. ZB 2003: Formal Specification and Development in Z and B [electronic resource] :Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings /

by Bert, Didier [editor.] | Bowen, Jonathan P [editor.] | King, Steve [editor.] | Waldén, Marina [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

562. Middleware 2003 [electronic resource] :ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003 Proceedings /

by Endler, Markus [editor.] | Schmidt, Douglas [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

563. Static Analysis [electronic resource] :10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings /

by Cousot, Radhia [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

564. Applications and Theory of Petri Nets 2003 [electronic resource] :24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

by Aalst, Wil M. P. van der [editor.] | Best, Eike [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

565. Reliable Software Technologies — Ada-Europe 2003 [electronic resource] :8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings /

by Rosen, Jean-Pierre [editor.] | Strohmeier, Alfred [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

566. Communication in Multiagent Systems [electronic resource] :Agent Communication Languages and Conversation Policies /

by Huget, Marc-Philippe [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

567. OpenMP Shared Memory Parallel Programming [electronic resource] :International Workshop on OpenMP Applications and Tools, WOMPAT 2003 Toronto, Canada, June 26–27, 2003 Proceedings /

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

568. Architectures for Quality of Service in the Internet [electronic resource] :International Workshop, Art-QoS 2003 Warsaw, Poland, March 24–25, 2003 Revised Papers /

by Burakowski, Wojciech [editor.] | Bęben, Andrzej [editor.] | Koch, Berthold [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

569. Self-Stabilizing Systems [electronic resource] :6th International Symposium, SSS 2003 San Francisco, CA, USA, June 24–25, 2003 Proceedings /

by Huang, Shing-Tsaan [editor.] | Herman, Ted [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

570. Developments in Applied Artificial Intelligence [electronic resource] :16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003 Loughborough, UK, June 23–26, 2003 Proceedings /

by Chung, Paul W. H [editor.] | Hinde, Chris [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, 2003.Online access: Click here to access online Availability: No items available

571. Automata, Languages and Programming [electronic resource] :30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings /

by Baeten, Jos C. M [editor.] | Lenstra, Jan Karel [editor.] | Parrow, Joachim [editor.] | Woeginger, Gerhard 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, 2003.Online access: Click here to access online Availability: No items available

572. Component-Based Software Quality [electronic resource] :Methods and Techniques /

by Cechich, Alejandra [editor.] | Piattini, Mario [editor.] | Vallecillo, Antonio [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

573. Web Engineering [electronic resource] :International Conference, ICWE 2003 Oviedo, Spain, July 14–18, 2003 Proceedings /

by Lovelle, Juan Manuel Cueva [editor.] | Rodríguez, Bernardo Martín González [editor.] | Gayo, Jose Emilio Labra [editor.] | Puerto Paule Ruiz, María del [editor.] | Aguilar, Luis Joyanes [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

574. Computer Aided Verification [electronic resource] :15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings /

by Hunt, Warren A [editor.] | Somenzi, Fabio [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

575. ECOOP 2003 – Object-Oriented Programming [electronic resource] :17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /

by Cardelli, Luca [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

576. SDL 2003: System Design [electronic resource] :11th International SDL Forum Stuttgart, Germany, July 1–4, 2003 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, 2003.Online access: Click here to access online Availability: No items available

577. High-Speed Networks and Multimedia Communications [electronic resource] :6th IEEE International Conference, HSNMC 2003, Estoril, Portugal, July 23-25, 2003. Proceedings /

by Freire, Mário M [editor.] | Lorenz, Pascal [editor.] | Lee, Mike Myung-Ok [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

578. Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] :Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings /

by Maurer, Frank [editor.] | Wells, Don [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

579. Theorem Proving in Higher Order Logics [electronic resource] :16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings /

by Basin, David [editor.] | Wolff, Burkhart [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

580. Formal Approaches to Agent-Based Systems [electronic resource] :Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers /

by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher [editor.] | Gordon-Spears, Diana [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