FEEDBACK Smiley face

Your search returned 7 results. Subscribe to this search

|
1. Theorem Proving in Higher Order Logics [electronic resource] :13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings /

by Aagaard, Mark [editor.] | Harrison, John [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

2. Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] :International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /

by Swart, Harrie de [editor.] | Orłowska, Ewa [editor.] | Schmidt, Gunther [editor.] | Roubens, 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, 2006.Online access: Click here to access online Availability: No items available

3. Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service).

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

4. Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service).

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

5. Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service).

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

6. Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service).

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

7. Computational Science – ICCS 2019 [electronic resource] :19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /

by Rodrigues, João M. F [editor.] | Cardoso, Pedro J. S [editor.] | Monteiro, Jânio [editor.] | Lam, Roberto [editor.] | Krzhizhanovskaya, Valeria V [editor.] | Lees, Michael H [editor.] | Dongarra, Jack J [editor.] | Sloot, Peter M.A [editor.] | SpringerLink (Online service).

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