FEEDBACK Smiley face

Your search returned 17 results. Subscribe to this search

|
1. Computing in Object-Oriented Parallel Environments [electronic resource] :Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999. Proceedings /

by Matsuoka, Satoshi [editor.] | Tholburn, Marydell [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, 1999.Online access: Click here to access online Availability: No items available

2. LATIN 2004: Theoretical Informatics [electronic resource] :6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. Proceedings /

by Farach-Colton, Martín [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

3. Theory Is Forever [electronic resource] :Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

by Karhumäki, Juhani [editor.] | Maurer, Hermann [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [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

4. Global Optimization and Constraint Satisfaction [electronic resource] :Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers /

by Jermann, Christophe [editor.] | Neumaier, Arnold [editor.] | Sam, Djamila [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, 2005.Online access: Click here to access online Availability: No items available

5. Recent Advances in Constraints [electronic resource] :Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /

by Faltings, Boi V [editor.] | Petcu, Adrian [editor.] | Fages, François [editor.] | Rossi, Francesca [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, 2005.Online access: Click here to access online Availability: No items available

6. Recent Advances in Constraints [electronic resource] :11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers /

by Azevedo, Francisco [editor.] | Barahona, Pedro [editor.] | Fages, François [editor.] | Rossi, Francesca [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, 2007.Online access: Click here to access online Availability: No items available

7. Recent Advances in Constraints [electronic resource] :12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /

by Fages, François [editor.] | Rossi, Francesca [editor.] | Soliman, Sylvain [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, 2008.Online access: Click here to access online Availability: No items available

8. Recent Advances in Constraints [electronic resource] :13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /

by Oddi, Angelo [editor.] | Fages, François [editor.] | Rossi, Francesca [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, 2009.Online access: Click here to access online Availability: No items available

9. Automated Reasoning [electronic resource] :6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /

by Gramlich, Bernhard [editor.] | Miller, Dale [editor.] | Sattler, Uli [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, 2012.Online access: Click here to access online Availability: No items available

10. Principles and Practice of Constraint Programming [electronic resource] :18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /

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

11. Principles and Practice of Constraint Programming [electronic resource] :19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /

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

12. Computer Science - Theory and Applications [electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /

by Hirsch, Edward A [editor.] | Kuznetsov, Sergei O [editor.] | Pin, Jean-Éric [editor.] | Vereshchagin, Nikolay K [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

13. Automated Reasoning [electronic resource] :7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings /

by Demri, Stéphane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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

14. Theoretical Computer Science [electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

by Diaz, Josep [editor.] | Lanese, Ivan [editor.] | Sangiorgi, Davide [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, 2014.Online access: Click here to access online Availability: No items available

15. Learning and Intelligent Optimization [electronic resource] :9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /

by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-Eléonore [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, 2015.Online access: Click here to access online Availability: No items available

16. Computer Science -- Theory and Applications [electronic resource] :10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [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, 2015.Online access: Click here to access online Availability: No items available

17. Computer Science – Theory and Applications [electronic resource] :11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /

by Kulikov, Alexander S [editor.] | Woeginger, Gerhard 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