FEEDBACK Smiley face

Your search returned 10 results. Subscribe to this search

|
1. Hybrid and Real-Time Systems [electronic resource] :International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings /

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

2. Randomization and Approximation Techniques in Computer Science [electronic resource] :International Workshop RANDOM'97 Bologna, Italy, July 11–12, 1997 Proceedings /

by Rolim, José [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, 1997.Online access: Click here to access online Availability: No items available

3. Approximation Algorithms for Combinatiorial Optimization [electronic resource] :International Workshop APPROX'98 Aalborg, Denmark, July 18–19, 1998 Proceedings /

by Jansen, Klaus [editor.] | Rolim, José [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, 1998.Online access: Click here to access online Availability: No items available

4. Lectures on Proof Verification and Approximation Algorithms [electronic resource] /

by Mayr, Ernst W [editor.] | Jürgen Prömel, Hans [editor.] | Steger, Angelika [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, 1998.Online access: Click here to access online Availability: No items available

5. Hybrid Systems: Computation and Control [electronic resource] :Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings /

by Lynch, Nancy [editor.] | Krogh, Bruce H [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, 2000.Online access: Click here to access online Availability: No items available

6. Automata, Languages and Programming [electronic resource] :29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings /

by Widmayer, Peter [editor.] | Eidenbenz, Stephan [editor.] | Triguero, Francisco [editor.] | Morales, Rafael [editor.] | Conejo, Ricardo [editor.] | Hennessy, Matthew [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

7. Conceptual Modeling for New Information Systems Technologies [electronic resource] :ER 2001 Workshops HUMACS, DASWIS, ECOMO, and DAMA Yokohama, Japan, November 27–30, 2001 Revised Papers /

by Arisawa, Hiroshi [editor.] | Kambayashi, Yahiko [editor.] | Kumar, Vijay [editor.] | Mayr, Heinrich C [editor.] | Hunt, Ingrid [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

8. Computer Performance Evaluation and Benchmarking [electronic resource] :SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /

by Kaeli, David [editor.] | Sachs, Kai [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, 2009.Online access: Click here to access online Availability: No items available

9. Biomimetic and Biohybrid Systems [electronic resource] :Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedings /

by Duff, Armin [editor.] | Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Prescott, Tony J [editor.] | Verschure, Paul F. M. J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

10. Biomimetic and Biohybrid Systems [electronic resource] :5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings /

by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Verschure, Paul F.M.J [editor.] | Desmulliez, Marc [editor.] | Prescott, Tony J [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016.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